Hybrid Systems 1994

@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
  
• Yong Yao 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
  

Last update Mon Feb 13 04:27:49 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page