34 search results - page 2 / 7 » hybrid 1995 |
STOC
1995
ACM
13 years 8 months ago
1995
ACM
HYBRID
1995
Springer
13 years 8 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...
STTT
2008
13 years 4 months ago
2008
In 1995, HyTech broke new ground as a potentially powerful tool for verifying hybrid systems
HYBRID
1995
Springer
13 years 8 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
1995
Springer
13 years 8 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...