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