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. Lecture Notes in Computer Science 1386 Springer 1998, ISBN 3-540-64358-3

@proceedings{DBLP:conf/hybrid/1998,
  editor    = {Thomas A. Henzinger and
               Shankar Sastry},
  title     = {Hybrid Systems: Computation and Control, First International
               Workshop, HSCC'98, Berkeley, California, USA, April 13-15, 1998,
               Proceedings},
  booktitle = {HSCC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1386},
  year      = {1998},
  isbn      = {3-540-64358-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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
Sébastien Bornot, Joseph Sifakis: On the Composition of Hybrid Systems. 49-63
Linda Bushnell, Octavian Beldiman, Gregory Walsh: An Equivalence Between a Control Network and a Switched Hybrid System. 64-79
Björn Carlson, Vineet Gupta: Hybrid cc with Interval Constraints. 80-95
Thao Dang, Oded Maler: Reachability Analysis via Face Lifting. 96-109
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
Mark R. Greenstreet, Ian Mitchell: Integrating Projections. 159-174
Kevin X. He, Michael D. Lemmon: Lyapunov Stability of Continuous-Valued Systems under the Supervision of Discrete-Event Transition Systems. 175-189
Thomas A. Henzinger, Vlad Rusu: Reachability Verification for Hybrid Automata. 190-204
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
Carolos Livadas, Nancy A. Lynch: Formal Verification of Safety-Critical Hybrid Systems. 253-272
John Lygeros, Nancy A. Lynch: Strings of Vehicles: Modeling and Safety Conditions. 273-288
John Lygeros, George J. Pappas, Shankar Sastry: An Approach to the Verification of the Center-TRACON Automation System. 289-304
Zohar Manna, Henny Sipma: Deductive Verification of Hybrid Systems Using STeP. 305-318
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, Hou Jianmin, Jianhua Zhao, Guoliang Zheng: Hybrid Regular Expressions. 384-399
Milos Zefran, Joel W. Burdick: Stabilization of Systems with Changing Dynamics. 400-415