171
click to vote
HYBRID
15 years 10 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, ...
153
click to vote
HYBRID
15 years 10 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...
142
Voted
HYBRID
15 years 10 months ago
1994 Springer  142
click to vote
HYBRID
15 years 10 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 ...
|
Control Systems