Abstract is missing.
- Symbolic Controller Synthesis for Discrete and Timed SystemsEugene Asarin, Oded Maler, Amir Pnueli. 1-20
- A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-stochastic SystemsAlbert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic. 21-44
- Condensation of Information from Signals for Process Modeling and ControlJ. D. Birdwell, B. C. Moore. 45-63
- On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data StructuresAhmed Bouajjani, Rachid Echahed, Riadh Robbana. 64-85
- On Dynamically Consistent Hybrid SystemsPeter E. Caines, Yuan-Jun Wei. 86-105
- A Self-Learning Neuro-Fuzzy SystemNicholas DeClaris, Mu-Chun Su. 106-127
- Viable Control of Hybrid SystemsAkash Deshpande, Pravin Varaiya. 128-147
- Modeling and Stability Issues in Hybrid SystemsMurat Dogruel, Ümit Özgüner. 148-165
- Hierarchical Hybrid Control: A Case StudyDatta N. Godbole, John Lygeros, Shankar Sastry. 166-190
- Hybrid Systems and Quantum Automata: Preliminary AnnouncementRobert L. Grossman, M. Sweedler. 191-201
- Planar Hybrid SystemsJohn Guckenheimer, Stewart Johnson. 202-225
- Programming in Hybrid Constraint LanguagesVineet Gupta, Radha Jagadeesan, Vijay A. Saraswat, Daniel G. Bobrow. 226-251
- A Note on Abstract Interpretation Strategies for Hybrid AutomataThomas A. Henzinger, Pei-Hsin Ho. 252-264
- HYTECH: The Cornell HYbrid TECHnology ToolThomas A. Henzinger, Pei-Hsin Ho. 265-293
- Hybrid Systems as Finsler Manifolds: Finite State Control as Approximation to ConnectionsWolf Kohn, Anil Nerode, Jeffrey B. Remmel. 294-321
- Constructing Hybrid Control Systems from Robust Linear Control AgentsMichael D. Lemmon, Christopher J. Bett, Peter T. Szymanski, Panos J. Antsaklis. 322-343
- Controllers as Fixed Points of Set-Valued OperatorsAnil Nerode, Jeffrey B. Remmel, Alexander Yakhnis. 344-358
- Verification of Hybrid Systems Using AbstractionsAnuj Puri, Pravin Varaiya. 359-369
- Control of Continuous Plants by Symbolic Output FeedbackJörg Raisch. 370-390
- Hybrid Control of a Robot - A Case StudyAnders P. Ravn, Hans Rischel, Finn Conrad, Torben O. Andersen. 391-404
- Verifying Time-bounded Properties for ELECTRE Reactive Programs with Stopwatch AutomataOlivier Roux, Vlad Rusu. 405-416
- Inductive Modeling: A Framework Marrying Systems Theory and Non-monotonic ReasoningHessam S. Sarjoughian, Bernard P. Zeigler. 417-435
- Semantics and Verification of Hierarchical CRP ProgramsR. K. Shyamasundar, S. Ramesh. 436-461
- Interface and Controller Design for Hybrid Control SystemsJames A. Stiver, Panos J. Antsaklis, Michael D. Lemmon. 462-492
- Hybrid ObjectsMichael Tittus, Bo Egardt. 493-508
- Modelling of Hybrid Systems Based on Extended Coloured Petri NetsY. Y. Yang, Derek A. Linkens, Stephen P. Banks. 509-528
- DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid SystemsBernard P. Zeigler, Hae Sang Song, Tag Gon Kim, Herbert Praehofer. 529-551
- Synthesis of Hybrid Constraint-Based ControllersYing Zhang, Alan K. Mackworth. 552-567