117
Voted
HYBRID
15 years 4 months ago
1995 Springer  107
click to vote
HYBRID
15 years 4 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...
106
click to vote
HYBRID
15 years 4 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...
HYBRID
15 years 4 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
15 years 4 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...
|
Control Systems