Conferences in DBLP
John Lygeros , Datta N. Godbole , Shankar Sastry A Game-Theoretic Approach to Hybrid System Design. [Citation Graph (0, 0)][DBLP ] Conf ] Yonit Kesten , Zohar Manna , Amir Pnueli Verifying Clocked Transition Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Albert Benveniste Compositional and Uniform Modelling of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Vineet Gupta , Radha Jagadeesan , Vijay A. Saraswat Hybrid cc, Hybrid Automata and Program Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Mrinal K. Ghosh , Steven I. Marcus , Aristotle Arapostathis Controlled Switching Diffusions as Hybrid Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaolin Ge , Wolf Kohn , Anil Nerode , Jeffrey B. Remmel Hybrid Systems: Chattering Approximation to Relaxed Controls. [Citation Graph (0, 0)][DBLP ] Conf ] Henri B. Weinberg , Nancy A. Lynch , Norman M. Delisle Verification of Automated Vehicle Protection Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Rogério de Lemos , Jon G. Hall Extended RTL in the Specification and Verification of an Industrial Press. [Citation Graph (0, 0)][DBLP ] Conf ] Michel Sintzoff Abstract Verification of Structured Dynamical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Akash Deshpande , Datta N. Godbole , Aleks Göllü , Pravin Varaiya Design and Evaluation Tools for Automated Highway Systems. [Citation Graph (0, 0)][DBLP ] Conf ] John-Morten Godhavn , Trygve Lauvdal , Olav Egeland Hybrid Control in Sea Traffic Management Systems. [Citation Graph (0, 0)][DBLP ] Conf ] John A. Haddon , Datta N. Godbole , Akash Deshpande , John Lygeros Verification of Hybrid Systems: Monotonicity in the AHS Control System. [Citation Graph (0, 0)][DBLP ] Conf ] Zvi Artstein Examples of Stabilization with Hybrid Feedback. [Citation Graph (0, 0)][DBLP ] Conf ] Michael S. Branicky General Hybrid Dynamical Systems: Modeling, Analysis, and Control. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas I. Seidman The Residue of Model Reduction. [Citation Graph (0, 0)][DBLP ] Conf ] Conrado Daws , Alfredo Olivero , Stavros Tripakis , Sergio Yovine The Tool KRONOS. [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Robert P. Kurshan Timing Analysis in COSPAN. [Citation Graph (0, 0)][DBLP ] Conf ] Johan Bengtsson , Kim Guldstrand Larsen , Fredrik Larsson , Paul Pettersson , Wang Yi UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] V. D. Dimitriadis , N. Shah , Costas C. Pantelides Optimal Design of Hybrid Controllers for Hybrid Process Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Lawrence E. Halloway On-line Fault Monitoring of a Class of Hybrid Systems Using Templates with Dynamic Time Scaling. [Citation Graph (0, 0)][DBLP ] Conf ] Qiwen Xu , He Weidong Hierarchical Design of a Chemical Concentration Control System. [Citation Graph (0, 0)][DBLP ] Conf ] Jan-Erik Strömberg , Simin Nadjm-Tehrani , Jan L. Top Switched Bond Graphs as Front-End to Formal Verification of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Wang Ji , He Weidong Formal Specification of Stability in Hybrid Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Constance L. Heitmeyer Requirements Specifications for Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] David Sinclair , Eckhardt Holz , Dorota Witaszek , Maciej Wasowski Validation of Hybrid Systems by Co-simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjai Narain Proofs from Temporal Hypotheses by Symbolic Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] Darren D. Cofer , Vijay K. Garg On Controlling Timed Discrete Event Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ratnesh Kumar , Mark A. Shayman Supervisory Control of Real-Time Systems Using Prioritized Synchronization. [Citation Graph (0, 0)][DBLP ] Conf ] Anuj Puri , Vivek S. Borkar , Pravin Varaiya Epsilon-Approximation of Differential Inclusions. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas A. Henzinger , Howard Wong-Toi Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Karlis Cerans , Juris Viksna Deciding Reachability for Planar Multi-polynomial Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ingo Hoffmann , Karsten-Ulrich Klatt Modeling Hybrid Dynamical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mikhail Kourjanski , Pravin Varaiya Stability of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hong Seong Park , Young Sin Kim , Wook Hyun Kwon , Sang Jeong Lee Model and Stability of Hybrid Linear System. [Citation Graph (0, 0)][DBLP ] Conf ] Eduardo D. Sontag Interconnected Automata and Linear Systems: A Theoretical Framework in Discrete-Time. [Citation Graph (0, 0)][DBLP ] Conf ] Nancy A. Lynch Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations. [Citation Graph (0, 0)][DBLP ] Conf ] James A. Stiver , Panos J. Antsaklis , Michael D. Lemmon An Invariant Based Approach to the Design of Hybrid Control Systems Containing Clocks. [Citation Graph (0, 0)][DBLP ] Conf ] Toshihiko Niinomi , Bruce H. Krogh , José E. R. Cury Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Stuart Bailey , Robert L. Grossman , L. Gu , David Hanley A Data Intensive Computing Approach to Path Planning and Mode Management for Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Nancy A. Lynch , Roberto Segala , Frits W. Vaandrager , Henri B. Weinberg Hybrid I/O Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Zhou Chaochen , Wang Ji , Anders P. Ravn A Formal Description of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Bouajjani , Yassine Lakhnech Logics vs. Automata: The Hybrid Case. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher J. Bett , Michael D. Lemmon Hinfinity Gain Schedule Synthesis of Supervisory Hybrid Control Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Andrey V. Savkin , Robin J. Evans , Ian R. Petersen A New Approach to Robust Control of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Raisch , Siu O'Young A DES Approach to Control of Hybrid Dynamical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kim Guldstrand Larsen , Paul Pettersson , Wang Yi Diagnostic Model-Checking for Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ying Zhang , Alan K. Mackworth Specification and Verification of Hybrid Dynamic Systems with Timed forall-Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Kim Guldstrand Larsen , Bernhard Steffen , Carsten Weise Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] 