828 search results - page 5 / 166 » Modularity for Timed and Hybrid Systems |
ENTCS
2008
13 years 8 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...
HYBRID
2001
Springer
14 years 1 months ago
2001
Springer
HYBRID
2007
Springer
14 years 2 months ago
2007
Springer
This paper addresses questions regarding the decidability of hybrid automata that may be constructed hierarchically and in a modular way, as is the case in many exemplar systems, b...
HYBRID
1998
Springer
14 years 26 days ago
1998
Springer
Hybridconnectionist symbolic systems have been the subject of muchrecent research in AI. By focusing on the implementation of highlevel human cognitive processes e.g., rule-based i...
HYBRID
1995
Springer
14 years 5 days 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...