HYBRID
1995
Springer
13 years 7 months 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...
HYBRID
1995
Springer
13 years 7 months ago
1995
Springer
HYBRID
1995
Springer
13 years 7 months ago
1995
Springer
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
HYBRID
1995
Springer
13 years 7 months ago
1995
Springer
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...
HYBRID
1995
Springer
13 years 7 months ago
1995
Springer
HYBRID
1995
Springer
13 years 7 months ago
1995
Springer
HYBRID
1995
Springer
13 years 7 months ago
1995
Springer
This paper discusses fundamentals of hybrid system modelling. Emphazis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely co...
HYBRID
1995
Springer
13 years 7 months ago
1995
Springer
HYBRID
1995
Springer
13 years 7 months ago
1995
Springer
Abstract. In this paper we investigate the decidability of the reachability problem for planar non-linear hybrid systems. A planar hybrid system has the property that its state spa...