This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, California, USA, in April 1998.The volume presents 27 revised full papers selected from a total of 55 submissions.

Equations on timed languages.- Hybrid control for automotive engine management: The cut-off case.- Hybrid control of automotive powertrain systems: A case study.- On the composition of hybrid systems.- An equivalence between a control network and a switched hybrid system.- Hybrid cc with interval constraints.- Reachability analysis via face lifting.- Automotive control revisited linear inequalities as approximation of reachable sets.- Switching controllers based on neural network estimates of stability regions and controller performance.- A logic for the specification of continuous systems.- Integrating projections.- Lyapunov stability of continuous-valued systems under the supervision of discrete-event transition systems.- Reachability verification for hybrid automata.- Subanalytic stratifications and bisimulations.- Integrated design and simulation of hybrid systems.- Hierarchical hybrid systems: Partition deformations and applications to the acrobot system.- Formal verification of safety-critical hybrid systems.- Strings of vehicles: Modeling and safety conditions.- An approach to the verification of the Center-TRACON automation system.- Deductive verification of hybrid systems using step.- Reduction and decomposition of differential automata: Theory and applications.- Optimization of generalized solutions of nonlinear hybrid (discrete-continuous) systems.- Information-based optimization approaches to dynamical system safety verification.- Synthesizing controllers for nonlinear hybrid systems.- A sufficient condition for controllability of a class of hybrid systems.- Hybrid regular expressions.- Stabilization of systems with changing dynamics.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com