6 search results - page 2 / 2 » On Continuous Timed Automata with Input-Determined Guards |
EMSOFT
2005
Springer
13 years 11 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...