8190 search results - page 7 / 1638 » From Timed to Hybrid Systems |
HYBRID
2001
Springer
13 years 12 months ago
2001
Springer
DAC
2009
ACM
14 years 8 months ago
2009
ACM
In this paper, a design method for automotive architectures is proposed. The two main technical contributions are (i) a novel hardware/software architecture encoding that unifies ...
AUTOMATICA
2006
13 years 7 months ago
2006
Motivated by questions in stability theory for hybrid dynamical systems, we establish some fundamental properties of the set of solutions to such systems. Using the notion of a hy...
HYBRID
2003
Springer
14 years 20 days ago
2003
Springer
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
HYBRID
1995
Springer
13 years 11 months ago
1995
Springer
This paper summarizes the definitions and several of the main results of an approach to hybrid systems, which combines finite automata and linear systems, developed by the author...