828 search results - page 9 / 166 » Modularity for Timed and Hybrid Systems |
KES
2004
Springer
14 years 2 months ago
2004
Springer
HYBRID
1997
Springer
14 years 24 days ago
1997
Springer
Abstract. Time progress conditions in hybrid systems are usually speci ed in terms of invariants, predicates characterizing states where time can continuously progress or dually, d...
LFCS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer variables” whic...
COMPSAC
2004
IEEE
14 years 11 days ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
ISORC
1998
IEEE
14 years 27 days ago
1998
IEEE
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...