Abstract is missing.
- Equations on Timed LanguagesEugene Asarin. 1-12
- Hybrid Control for Automotive Engine Management: The Cut-Off CaseAndrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, C. Rossi, Alberto L. Sangiovanni-Vincentelli. 13-32
- Hybrid Control of Automotive Powertrain Systems: A Case StudyAli Beydoun, Le Yi Wang, Jing Sun, Shiva Sivashankar. 33-48
- On the Composition of Hybrid SystemsSébastien Bornot, Joseph Sifakis. 49-63
- An Equivalence Between a Control Network and a Switched Hybrid SystemLinda Bushnell, Octavian Beldiman, Gregory Walsh. 64-79
- Hybrid cc with Interval ConstraintsBjörn Carlson, Vineet Gupta. 80-95
- Reachability Analysis via Face LiftingThao Dang, Oded Maler. 96-109
- Automotive Control Revisited: Linear Inequalities as Approximation of Reachable SetsAnsgar Fehnker. 110-125
- Switching Controllers Based on Neural Network: Estimates of Stability Regions and Controller PerformanceEnrique D. Ferreira, Bruce H. Krogh. 126-142
- A Logic for the Specification of Continuous SystemsViktor Friesen. 143-158
- Integrating ProjectionsMark R. Greenstreet, Ian Mitchell. 159-174
- Lyapunov Stability of Continuous-Valued Systems under the Supervision of Discrete-Event Transition SystemsKevin X. He, Michael D. Lemmon. 175-189
- Reachability Verification for Hybrid AutomataThomas A. Henzinger, Vlad Rusu. 190-204
- Subanalytic Stratifications and BisimulationsGerardo Lafferriere, George J. Pappas, Shankar Sastry. 205-220
- Integrated Design and Simulation of Hybrid SystemsGeorg Lehrenfeld, Rolf Naumann, Rainer Rasche, Carsten Rust, Jürgen Tacken. 221-236
- Hierarchical Hybrid Systems: Partition Deformations and Applications to the Acrobot SystemEkaterina S. Lemch, Peter E. Caines. 237-252
- Formal Verification of Safety-Critical Hybrid SystemsCarolos Livadas, Nancy A. Lynch. 253-272
- Strings of Vehicles: Modeling and Safety ConditionsJohn Lygeros, Nancy A. Lynch. 273-288
- An Approach to the Verification of the Center-TRACON Automation SystemJohn Lygeros, George J. Pappas, Shankar Sastry. 289-304
- Deductive Verification of Hybrid Systems Using STePZohar Manna, Henny Sipma. 305-318
- Reduction and Decomposition of Differential Automata: Theory and ApplicationsAlexey S. Matveev, Andrey V. Savkin. 319-333
- Optimization of Generalized Solutions of Nonlinear Hybrid (Discrete-Continuous) SystemsBoris M. Miller. 334-345
- Information-Based Optimization Approaches to Dynamical System Safety VerificationTodd W. Neller. 346-359
- Synthesizing Controllers for Nonlinear Hybrid SystemsClaire Tomlin, John Lygeros, Shankar Sastry. 360-373
- A Sufficient Condition for Controllability of a Class of Hybrid SystemsJan H. van Schuppen. 374-383
- Hybrid Regular ExpressionsXuandong Li, Tao Zheng, Hou Jianmin, Jianhua Zhao, Guoliang Zheng. 384-399
- Stabilization of Systems with Changing DynamicsMilos Zefran, Joel W. Burdick. 400-415