Conferences in DBLP
Eugene Asarin Equations on Timed Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Balluchi , Maria Domenica Di Benedetto , Claudio Pinello , C. Rossi , Alberto L. Sangiovanni-Vincentelli Hybrid Control for Automotive Engine Management: The Cut-Off Case. [Citation Graph (0, 0)][DBLP ] Conf ] Ali Beydoun , Le Yi Wang , Jing Sun , Shiva Sivashankar Hybrid Control of Automotive Powertrain Systems: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Sébastien Bornot , Joseph Sifakis On the Composition of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Linda Bushnell , Octavian Beldiman , Gregory Walsh An Equivalence Between a Control Network and a Switched Hybrid System. [Citation Graph (0, 0)][DBLP ] Conf ] Björn Carlson , Vineet Gupta Hybrid cc with Interval Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Thao Dang , Oded Maler Reachability Analysis via Face Lifting. [Citation Graph (0, 0)][DBLP ] Conf ] Ansgar Fehnker Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Enrique D. Ferreira , Bruce H. Krogh Switching Controllers Based on Neural Network: Estimates of Stability Regions and Controller Performance. [Citation Graph (0, 0)][DBLP ] Conf ] Viktor Friesen A Logic for the Specification of Continuous Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mark R. Greenstreet , Ian Mitchell Integrating Projections. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin X. He , Michael D. Lemmon Lyapunov Stability of Continuous-Valued Systems under the Supervision of Discrete-Event Transition Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas A. Henzinger , Vlad Rusu Reachability Verification for Hybrid Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Gerardo Lafferriere , George J. Pappas , Shankar Sastry Subanalytic Stratifications and Bisimulations. [Citation Graph (0, 0)][DBLP ] Conf ] Georg Lehrenfeld , Rolf Naumann , Rainer Rasche , Carsten Rust , Jürgen Tacken Integrated Design and Simulation of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Ekaterina S. Lemch , Peter E. Caines Hierarchical Hybrid Systems: Partition Deformations and Applications to the Acrobot System. [Citation Graph (0, 0)][DBLP ] Conf ] Carolos Livadas , Nancy A. Lynch Formal Verification of Safety-Critical Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] John Lygeros , Nancy A. Lynch Strings of Vehicles: Modeling and Safety Conditions. [Citation Graph (0, 0)][DBLP ] Conf ] John Lygeros , George J. Pappas , Shankar Sastry An Approach to the Verification of the Center-TRACON Automation System. [Citation Graph (0, 0)][DBLP ] Conf ] Zohar Manna , Henny Sipma Deductive Verification of Hybrid Systems Using STeP. [Citation Graph (0, 0)][DBLP ] Conf ] Alexey S. Matveev , Andrey V. Savkin Reduction and Decomposition of Differential Automata: Theory and Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Boris M. Miller Optimization of Generalized Solutions of Nonlinear Hybrid (Discrete-Continuous) Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Todd W. Neller Information-Based Optimization Approaches to Dynamical System Safety Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Claire Tomlin , John Lygeros , Shankar Sastry Synthesizing Controllers for Nonlinear Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jan H. van Schuppen A Sufficient Condition for Controllability of a Class of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Xuandong Li , Tao Zheng , Hou Jianmin , Jianhua Zhao , Guoliang Zheng Hybrid Regular Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Milos Zefran , Joel W. Burdick Stabilization of Systems with Changing Dynamics. [Citation Graph (0, 0)][DBLP ] Conf ] 