Sciweavers

Top Ranked Papers of 1994 on Control Systems | HYBRID

All ConferencesRTSSHYBRID Explore HYBRID 1994 »

194

click to vote

HYBRID
1994
Springer

158views Control Systems» more HYBRID 1994»

DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems

15 years 11 months ago

Download www.acims.arizona.edu

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, ...

Bernard P. Zeigler, Hae Sang Song, Tag Gon Kim, He...

claim paper

Read More »

183

click to vote

HYBRID
1994
Springer

121views Control Systems» more HYBRID 1994»

Symbolic Controller Synthesis for Discrete and Timed Systems

15 years 11 months ago

Download www-verimag.imag.fr

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...

Eugene Asarin, Oded Maler, Amir Pnueli

claim paper

Read More »

163

click to vote

HYBRID
1994
Springer

79views Control Systems» more HYBRID 1994»

A Note on Abstract Interpretation Strategies for Hybrid Automata

15 years 11 months ago

Download mtc.epfl.ch

Thomas A. Henzinger, Pei-Hsin Ho

claim paper

Read More »

157

click to vote

HYBRID
1994
Springer

89views Control Systems» more HYBRID 1994»

Programming in Hybrid Constraint Languages

15 years 11 months ago

Download www-cs-students.stanford.edu

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 ...

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat,...

claim paper

Read More »

145

click to vote

HYBRID
1994
Springer

88views Control Systems» more HYBRID 1994»

Hierarchical Hybrid Control: A Case Study

15 years 11 months ago

Download www.path.berkeley.edu

Datta N. Godbole, John Lygeros, Shankar Sastry

claim paper