665 search results - page 5 / 133 » The Theory of Hybrid Automata |
HYBRID
2005
Springer
14 years 2 months ago
2005
Springer
By transferring the theory of hybrid systems to a categorical framework, it is possible to develop a homology theory for hybrid systems: hybrid homology. This is achieved by consid...
JUCS
2007
13 years 8 months ago
2007
: This paper uses category theory to emphasize the relationships between Mealy, Moore and Rabin-Scott automata, and the behavioural automata are used as a unifying framework. Some ...
HYBRID
2007
Springer
14 years 2 months ago
2007
Springer
HYBRID
2007
Springer
14 years 2 months ago
2007
Springer
HYBRID
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. In this paper we investigate a new technique to determine whether an open continuous system behaves correctly for all admissible input signals. This technique is based on...