Hybrid Systems 1994

Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry (Eds.): Hybrid Systems II. Lecture Notes in Computer Science 999 Springer 1995, ISBN 3-540-60472-3

@proceedings{DBLP:conf/hybrid/1994,
  editor    = {Panos J. Antsaklis and
               Wolf Kohn and
               Anil Nerode and
               Shankar Sastry},
  title     = {Hybrid Systems II},
  booktitle = {Hybrid Systems},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {999},
  year      = {1995},
  isbn      = {3-540-60472-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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