1. HSCC 1998: Berkeley, California, USA
Thomas A. Henzinger, Shankar Sastry (Eds.): Hybrid Systems: Computation and Control, First International Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998, Proceedings. Springer 1998 Lecture Notes in Computer Science ISBN 3-540-64358-3- Eugene Asarin: Equations on Timed Languages. 1-12
- Andrea Balluchi, Maria Domenica Di Benedetto, Claudio Pinello, C. Rossi, Alberto L. Sangiovanni-Vincentelli: Hybrid Control for Automotive Engine Management: The Cut-Off Case. 13-32
- Ali Beydoun, Le Yi Wang, Jing Sun, Shiva Sivashankar: Hybrid Control of Automotive Powertrain Systems: A Case Study. 33-48
- Linda G. Bushnell, Octavian Beldiman, Gregory Walsh: An Equivalence Between a Control Network and a Switched Hybrid System. 64-79
- Ansgar Fehnker: Automotive Control Revisited: Linear Inequalities as Approximation of Reachable Sets. 110-125
- Enrique D. Ferreira, Bruce H. Krogh: Switching Controllers Based on Neural Network: Estimates of Stability Regions and Controller Performance. 126-142
- Viktor Friesen: A Logic for the Specification of Continuous Systems. 143-158
- Kevin X. He, Michael D. Lemmon: Lyapunov Stability of Continuous-Valued Systems under the Supervision of Discrete-Event Transition Systems. 175-189
- Gerardo Lafferriere, George J. Pappas, Shankar Sastry: Subanalytic Stratifications and Bisimulations. 205-220
- Georg Lehrenfeld, Rolf Naumann, Rainer Rasche, Carsten Rust, Jürgen Tacken: Integrated Design and Simulation of Hybrid Systems. 221-236
- Ekaterina S. Lemch, Peter E. Caines: Hierarchical Hybrid Systems: Partition Deformations and Applications to the Acrobot System. 237-252
- John Lygeros, George J. Pappas, Shankar Sastry: An Approach to the Verification of the Center-TRACON Automation System. 289-304
- Alexey S. Matveev, Andrey V. Savkin: Reduction and Decomposition of Differential Automata: Theory and Applications. 319-333
- Boris M. Miller: Optimization of Generalized Solutions of Nonlinear Hybrid (Discrete-Continuous) Systems. 334-345
- Todd W. Neller: Information-Based Optimization Approaches to Dynamical System Safety Verification. 346-359
- Claire Tomlin, John Lygeros, Shankar Sastry: Synthesizing Controllers for Nonlinear Hybrid Systems. 360-373
- Jan H. van Schuppen: A Sufficient Condition for Controllability of a Class of Hybrid Systems. 374-383
- Xuandong Li, Tao Zheng, Jianmin Hou, Jianhua Zhao, Guoliang Zheng: Hybrid Regular Expressions. 384-399
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team