Table of Contents

Symbolic Controller Synthesis for Discrete and Timed Systems.....1

E. Asarin, O. Maler and A. Pnueli

A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State
Estimation of Hybrid Stochastic / Non-stochastic Systems.....21

A. Benveniste, B.C. Levi, E. Fabre and P. Le Guernic

Condensation of Information from Signals for Process Modeling.....45

J.D. Birdwell and B.C. Moore

On the Automatic Verification of Systems with Continuous Variables and Unbounded
Discrete Data Structures.....64

A. Boluajjani, R. Echahed and R. Robbana

On Dynamically Consistent Hybrid Systems.....86

P.E. Caines and Y.-.J. Wei

A Self-learning Neuro-Fuzzy System.....106

N. DeClaris and M.-C. Su

Viable Control of Hybrid Systems.....128

A. Deshpande and P. Varaiya

Modeling and Stability Issues in Hybrid Systems.....148

M. Dogruel and U. Ozgiiner

Hierarchical Hybrid Control: a Case Study.....166

D.N. Godbole, J. Lygeros and S. Sastry

Hybrid Systems and Quantum Automata: Preliminary Announcement......191

R.L. Grossman and M. Sweedler

Planar Hybrid Systems.....202

J. Guckenheimer and S. Johnson

Programming in Hybrid Constraint Lanuguages.....226

V. Gupta, R. Jagadeesan, V. Saraswat and D. G. Bobrow

A Note on Absract Interpretion Strategies for Hybrid Automata.....252

T. A. Henzirlger and P.-H. Ho

HYTECH: The Cornell HYIbrid TECHnology Tool.....265

T. A. Henzinger and P.-H. Ho

Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to Connections.....294

W. Kohn, A. Nerode and J.B Remmel

Constructing Hybrid Control Systems from Robust Lincar Control Agents.....322

M. Lemmon, C. Bett, P. Szymanski and P. Antsaklis

Controllers a.s Fixed Points of Set-Valued Operators.....344

A. Nerode, J.B. Remrnel and A. Yakhnis

Verification of Hybrid Systems Using Abstractions.....359

A. Puri and P.Varaiya

Control of Continuous Plants by Symbolic Output Feedback.....370

J. Raisch

Hybrid Control of a Robot - a Case Study.....391

A.P.Raven, H. Rischel, M. Holdgaard, T.J. Eriksen, F. Conrad and T. O. Andersen

Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch Automata.....405

O. Roux, V. Rusu

Inductive Modeling: A Framework Marrying Systems Theory and Nonmonotonic Reasoning.....417

H. S. Sarjoughian and B.Zeigler

Semantics and Verification of Hierarchical CRP Programs.....436

R.K. Shymasundar and S. Ramesh

Interface and Controller Design for Hybrid Control Systems.....462

J.A. Stiver; P.J. Antsaklis and M.D. Lemmon

Hybrid Objects.....493

M. Tittus and B. Egardt

Modeling of Hybrid Systems Based On Extended Coloured Petri Nets.....509

Y. Y. Yang, D.A. Linkens and S.P. Banks

DEVS Framework for Modeling Simulation, Analysis and Design of Hybrid Systems.....529

B.P. Zeigler, H.S. Song. T.G Kim H. Praehofer

Synthesis of Hybrid Constraint-Based Controllers.....552

Y. Zhang and A.K. Mackworth

Author Index.....569