default search action
Hybrid Systems 1995
- Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag
:
Hybrid Systems III: Verification and Control, Proceedings of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, October 22-25, 1995, Ruttgers University, New Brunswick, NJ, USA. Lecture Notes in Computer Science 1066, Springer 1996, ISBN 3-540-61155-X - 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
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
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. 232-243 - V. D. Dimitriadis, Nilay Shah
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, Weidong He:
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 - Ji Wang, Weidong He:
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
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
Hybrid I/O Automata. 496-510 - Chaochen Zhou, Ji Wang, 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:
Hinfinity Gain Schedule Synthesis of Supervisory Hybrid Control Systems. 543-552 - Andrey V. Savkin, Robin J. Evans
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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-23 19:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: