1287 search results - page 24 / 258 » Reduction of Timed Hybrid Systems |
157
click to vote
CDC
2010
IEEE
15 years 25 days ago
2010
IEEE
This paper considers a real-time algorithm for performance optimization of switched-mode hybrid dynamical systems. The controlled parameter consists of the switching times between ...
167
click to vote
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
This paper studies the exponential stabilization problem for discrete-time switched linear systems based on a control-Lyapunov function approach. A number of versions of converse c...
142
click to vote
ICS
1998
Tsinghua U.
15 years 10 months ago
1998
Tsinghua U.
In order to achieve high performance, contemporary microprocessors must effectively process the four major instruction types: ALU, branch, load, and store instructions. This paper...
176
click to vote
IJCAI
2001
15 years 7 months ago
2001
This paper presents an efficient online mode estimation algorithm for a class of sensor-rich, distributed embedded systems, the so-called hybrid systems. A central problem in dist...
239
Voted
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...