828 search results - page 10 / 166 » Modularity for Timed and Hybrid Systems |
DEDS
1998
13 years 8 months ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
MCSS
2006
Springer
13 years 8 months ago
2006
Springer
In this work characterizations of the notion of non-uniform in time robust global asymptotic output stability for hybrid systems with disturbances are given. Based on the provided ...
EUROCAST
2001
Springer
14 years 1 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...
MS
2003
13 years 10 months ago
2003
Manufacturing test structures of microsensors and microactuators is very expensive in terms of time and materials. In a conventional design process, this limits the number of desi...
HYBRID
2000
Springer
14 years 7 days 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...