6 search results - page 2 / 2 » On Continuous Timed Automata with Input-Determined Guards |
163
click to vote
EMSOFT
2005
Springer
15 years 10 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...