828 search results - page 2 / 166 » Modularity for Timed and Hybrid Systems |
CDC
2008
IEEE
13 years 8 months ago
2008
IEEE
This paper is a response to requests from several respected colleagues in academia for a careful writeup of the classical time-optimal control based hybrid controllers that we have...
RTAS
2003
IEEE
14 years 1 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
HYBRID
2001
Springer
14 years 1 months ago
2001
Springer
HYBRID
2011
Springer
12 years 8 months ago
2011
Springer
DEDS
1998
13 years 8 months ago
1998
In this paper, we study the control of Composite Hybrid Machines (CHMs) subject to safety speci cations. CHMs are a fairly general class of hybrid systems modeled in modular fashi...