Conferences in DBLP
Eugene Asarin Equations on Timed Languages. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:1-12 [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 ] HSCC, 1998, pp:13-32 [Conf ] Ali Beydoun , Le Yi Wang , Jing Sun , Shiva Sivashankar Hybrid Control of Automotive Powertrain Systems: A Case Study. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:33-48 [Conf ] Sébastien Bornot , Joseph Sifakis On the Composition of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:49-63 [Conf ] Linda Bushnell , Octavian Beldiman , Gregory Walsh An Equivalence Between a Control Network and a Switched Hybrid System. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:64-79 [Conf ] Björn Carlson , Vineet Gupta Hybrid cc with Interval Constraints. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:80-95 [Conf ] Thao Dang , Oded Maler Reachability Analysis via Face Lifting. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:96-109 [Conf ] Ansgar Fehnker Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:110-125 [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 ] HSCC, 1998, pp:126-142 [Conf ] Viktor Friesen A Logic for the Specification of Continuous Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:143-158 [Conf ] Mark R. Greenstreet , Ian Mitchell Integrating Projections. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:159-174 [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 ] HSCC, 1998, pp:175-189 [Conf ] Thomas A. Henzinger , Vlad Rusu Reachability Verification for Hybrid Automata. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:190-204 [Conf ] Gerardo Lafferriere , George J. Pappas , Shankar Sastry Subanalytic Stratifications and Bisimulations. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:205-220 [Conf ] Georg Lehrenfeld , Rolf Naumann , Rainer Rasche , Carsten Rust , Jürgen Tacken Integrated Design and Simulation of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:221-236 [Conf ] Ekaterina S. Lemch , Peter E. Caines Hierarchical Hybrid Systems: Partition Deformations and Applications to the Acrobot System. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:237-252 [Conf ] Carolos Livadas , Nancy A. Lynch Formal Verification of Safety-Critical Hybrid Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:253-272 [Conf ] John Lygeros , Nancy A. Lynch Strings of Vehicles: Modeling and Safety Conditions. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:273-288 [Conf ] John Lygeros , George J. Pappas , Shankar Sastry An Approach to the Verification of the Center-TRACON Automation System. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:289-304 [Conf ] Zohar Manna , Henny Sipma Deductive Verification of Hybrid Systems Using STeP. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:305-318 [Conf ] Alexey S. Matveev , Andrey V. Savkin Reduction and Decomposition of Differential Automata: Theory and Applications. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:319-333 [Conf ] Boris M. Miller Optimization of Generalized Solutions of Nonlinear Hybrid (Discrete-Continuous) Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:334-345 [Conf ] Todd W. Neller Information-Based Optimization Approaches to Dynamical System Safety Verification. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:346-359 [Conf ] Claire Tomlin , John Lygeros , Shankar Sastry Synthesizing Controllers for Nonlinear Hybrid Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:360-373 [Conf ] Jan H. van Schuppen A Sufficient Condition for Controllability of a Class of Hybrid Systems. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:374-383 [Conf ] Xuandong Li , Tao Zheng , Hou Jianmin , Jianhua Zhao , Guoliang Zheng Hybrid Regular Expressions. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:384-399 [Conf ] Milos Zefran , Joel W. Burdick Stabilization of Systems with Changing Dynamics. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:400-415 [Conf ]