Hybrid Systems 1995
Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (Eds.): Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA. Springer 1996 Lecture Notes in Computer Science ISBN 3-540-61155-X- John Lygeros, Datta N. Godbole, Shankar Sastry: A Game-Theoretic Approach to Hybrid System Design. 1-12
- 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
- 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
- Jan-Erik Strömberg, Simin Nadjm-Tehrani, Jan L. Top: Switched Bond Graphs as Front-End to Formal Verification of Hybrid Systems. 282-293
- 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
- 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
- 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
- Christopher J. Bett, Michael D. Lemmon: Hinfinity 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team