828 search results - page 29 / 166 » Modularity for Timed and Hybrid Systems |
138
Voted
ICALP
1997
Springer
15 years 6 months ago
1997
Springer
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...
118
Voted
CDC
2010
IEEE
14 years 9 months 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 ...
121
click to vote
ECOOP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Aspect-oriented systems claim to improve modularity by providing explicit mechanisms that allow modularization of concerns which crosscut the object-oriented decompositio...
121
click to vote
HYBRID
2009
Springer
15 years 6 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...
103
Voted
ICRA
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— Safety is a critical characteristic for robots designed to operate in human environments. This paper presents the concept of hybrid actuation for the development of hum...