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 BibTeX

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