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 BibTeX

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