4434 search results - page 5 / 887 » On the Composition of Hybrid Systems |
108
click to vote
EUROCAST
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
148
Voted
ARTDB
1997
Springer
15 years 1 months ago
1997
Springer
This paper proposes a strategy for parallel composite event detection in Active database systems (DBS). Up to now, the detection is sequential and totally synchronized, and thus p...
SMARTNET
2000
14 years 11 months ago
2000
: Due to the deregulation of the telecom network and the Internet, users will have access to an increasing number of heterogeneous communication services and will need to adapt the...
94
Voted
HYBRID
1997
Springer
15 years 1 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
109
Voted
HYBRID
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. We define a new class of hybrid automata for which reachability is decidable--a proper superclass of the initialized rectangular hybrid automata--by taking parallel compo...