Hybrid Systems 1995

@proceedings{DBLP:conf/hybrid/1995,
  editor    = {Rajeev Alur and
               Thomas A. Henzinger and
               Eduardo D. Sontag},
  title     = {Hybrid Systems III: Verification and Control, Proceedings of
               the DIMACS/SYCON Workshop, October 22-25, 1995, Ruttgers University,
               New Brunswick, NJ, USA},
  booktitle = {Hybrid Systems},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1066},
  year      = {1996},
  isbn      = {3-540-61155-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• John Lygeros, Datta N. Godbole, Shankar Sastry:
  A Game-Theoretic Approach to Hybrid System Design. 1-12
  
• Yonit Kesten, Zohar Manna, Amir Pnueli:
  Verifying Clocked Transition Systems. 13-40
  
• Albert Benveniste:
  Compositional and Uniform Modelling of Hybrid Systems. 41-51
  
• Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat:
  Hybrid cc, Hybrid Automata and Program Verification. 52-63
  
• Mrinal K. Ghosh, Steven I. Marcus, Aristotle Arapostathis:
  Controlled Switching Diffusions as Hybrid Processes. 64-75
  
• Xiaolin Ge, Wolf Kohn, Anil Nerode, Jeffrey B. Remmel:
  Hybrid Systems: Chattering Approximation to Relaxed Controls. 76-100
  
• Henri B. Weinberg, Nancy A. Lynch, Norman M. Delisle:
  Verification of Automated Vehicle Protection Systems. 101-113
  
• Rogério de Lemos, Jon G. Hall:
  Extended RTL in the Specification and Verification of an Industrial Press. 114-125
  
• Michel Sintzoff:
  Abstract Verification of Structured Dynamical Systems. 126-137
  
• Akash Deshpande, Datta N. Godbole, Aleks Göllü, Pravin Varaiya:
  Design and Evaluation Tools for Automated Highway Systems. 138-148
  
• John-Morten Godhavn, Trygve Lauvdal, Olav Egeland:
  Hybrid Control in Sea Traffic Management Systems. 149-160
  
• John A. Haddon, Datta N. Godbole, Akash Deshpande, John Lygeros:
  Verification of Hybrid Systems: Monotonicity in the AHS Control System. 161-172
  
• Zvi Artstein:
  Examples of Stabilization with Hybrid Feedback. 173-185
  
• Michael S. Branicky:
  General Hybrid Dynamical Systems: Modeling, Analysis, and Control. 186-200
  
• Thomas I. Seidman:
  The Residue of Model Reduction. 201-208
  
• Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine:
  The Tool KRONOS. 208-219
  
• Rajeev Alur, Robert P. Kurshan:
  Timing Analysis in COSPAN. 220-231
  
• Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi:
  UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. 232-243
  
• V. D. Dimitriadis, N. Shah, Costas C. Pantelides:
  Optimal Design of Hybrid Controllers for Hybrid Process Systems. 244-257
  
• Lawrence E. Halloway:
  On-line Fault Monitoring of a Class of Hybrid Systems Using Templates with Dynamic Time Scaling. 258-269
  
• Qiwen Xu, He Weidong:
  Hierarchical Design of a Chemical Concentration Control System. 270-281
  
• Jan-Erik Strömberg, Simin Nadjm-Tehrani, Jan L. Top:
  Switched Bond Graphs as Front-End to Formal Verification of Hybrid Systems. 282-293
  
• Wang Ji, He Weidong:
  Formal Specification of Stability in Hybrid Control Systems. 294-303
  
• Constance L. Heitmeyer:
  Requirements Specifications for Hybrid Systems. 304-314
  
• David Sinclair, Eckhardt Holz, Dorota Witaszek, Maciej Wasowski:
  Validation of Hybrid Systems by Co-simulation. 315-326
  
• Sanjai Narain:
  Proofs from Temporal Hypotheses by Symbolic Simulation. 327-339
  
• Darren D. Cofer, Vijay K. Garg:
  On Controlling Timed Discrete Event Systems. 340-349
  
• Ratnesh Kumar, Mark A. Shayman:
  Supervisory Control of Real-Time Systems Using Prioritized Synchronization. 351-361
  
• Anuj Puri, Vivek S. Borkar, Pravin Varaiya:
  Epsilon-Approximation of Differential Inclusions. 362-376
  
• Thomas A. Henzinger, Howard Wong-Toi:
  Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems. 377-388
  
• Karlis Cerans, Juris Viksna:
  Deciding Reachability for Planar Multi-polynomial Systems. 389-400
  
• Ingo Hoffmann, Karsten-Ulrich Klatt:
  Modeling Hybrid Dynamical Systems. 401-412
  
• Mikhail Kourjanski, Pravin Varaiya:
  Stability of Hybrid Systems. 413-423
  
• Hong Seong Park, Young Sin Kim, Wook Hyun Kwon, Sang Jeong Lee:
  Model and Stability of Hybrid Linear System. 424-435
  
• Eduardo D. Sontag:
  Interconnected Automata and Linear Systems: A Theoretical Framework in Discrete-Time. 436-448
  
• Nancy A. Lynch:
  Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations. 449-463
  
• James A. Stiver, Panos J. Antsaklis, Michael D. Lemmon:
  An Invariant Based Approach to the Design of Hybrid Control Systems Containing Clocks. 464-474
  
• Toshihiko Niinomi, Bruce H. Krogh, José E. R. Cury:
  Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems. 475-484
  
• Stuart Bailey, Robert L. Grossman, L. Gu, David Hanley:
  A Data Intensive Computing Approach to Path Planning and Mode Management for Hybrid Systems. 485-495
  
• Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager, Henri B. Weinberg:
  Hybrid I/O Automata. 496-510
  
• Zhou Chaochen, Wang Ji, Anders P. Ravn:
  A Formal Description of Hybrid Systems. 511-530
  
• Ahmed Bouajjani, Yassine Lakhnech:
  Logics vs. Automata: The Hybrid Case. 531-542
  
• Christopher J. Bett, Michael D. Lemmon:
  H_infinity Gain Schedule Synthesis of Supervisory Hybrid Control Systems. 543-552
  
• Andrey V. Savkin, Robin J. Evans, Ian R. Petersen:
  A New Approach to Robust Control of Hybrid Systems. 553-562
  
• Jörg Raisch, Siu O'Young:
  A DES Approach to Control of Hybrid Dynamical Systems. 563-574
  
• Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
  Diagnostic Model-Checking for Real-Time Systems. 575-586
  
• Ying Zhang, Alan K. Mackworth:
  Specification and Verification of Hybrid Dynamic Systems with Timed forall-Automata. 587-603
  
• Kim Guldstrand Larsen, Bernhard Steffen, Carsten Weise:
  Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints. 604-615
  

Last update Fri May 25 08:16:08 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page