14190 search results - page 170 / 2838 » Abstractions for hybrid systems |
165
click to vote
ICRA
2005
IEEE
16 years 3 days ago
2005
IEEE
— This paper proposes an approach to robust state estimation for mobile robots with intermittent dynamics. The approach consists of identifying the robot’s mode of operation by...
189
click to vote
SETN
2010
Springer
15 years 10 months ago
2010
Springer
The optimal sizing of a small autonomous hybrid power system can be a very challenging task, due to the large number of design settings and the uncertainty in key parameters. This ...
174
click to vote
JCP
2008
15 years 6 months ago
2008
Embedded systems have an ever-increasing need for optimizing compilers to produce high quality codes with a limited general purpose register set. Either memory or registers are use...
178
click to vote
TC
2011
15 years 27 days ago
2011
—Single and double scalar multiplications are the most computational intensive operations in elliptic curve based cryptosystems. Improving the performance of these operations is ...
143
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...