HYBRID
1994
Springer
14 years 3 months ago
1994
Springer
We make the case that Discrete Event System Speci cation DEVS is a universal formalismfor discrete event dynamical systems DEDS. DEVS o ers an expressive framework for modelling, ...
HYBRID
1994
Springer
14 years 3 months ago
1994
Springer
HYBRID
1994
Springer
14 years 3 months ago
1994
Springer
Abstract. We present a language,Hybrid cc, for modeling hybrid systems compositionally. This language is declarative, with programs being understood as logical formulas that place ...
HYBRID
1994
Springer
14 years 3 months ago
1994
Springer
This paper is addressed to potential users of HyTech, the Cornell Hybrid Technology Tool, an automatic tool for analyzing hybrid systems. We review the formal technologies that hav...
HYBRID
1994
Springer
14 years 3 months ago
1994
Springer
HYBRID
1994
Springer
14 years 3 months ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...