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. The papers focus on mathematical methods for the rigorous and systematic design and analysis of hybrid systems. Hybrid systems consist of digital devices that interact with analog environments; they are particularly important in context with safety-critical systems and dependable computing. The present volume extends the line of hybrid systems research documented in volumes 736, 999, 1066, 1201, and 1273 of the LNCS series.
Author(s): Eugene Asarin (auth.), Thomas A. Henzinger, Shankar Sastry (eds.)
Series: Lecture Notes in Computer Science 1386
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1998
Language: English
Pages: 417
Tags: Processor Architectures; Special Purpose and Application-Based Systems; Software Engineering; Logics and Meanings of Programs; Control Engineering
Equations on timed languages....Pages 1-12
Hybrid control for automotive engine management: The cut-off case....Pages 13-32
Hybrid control of automotive powertrain systems: A case study....Pages 33-48
On the composition of hybrid systems....Pages 49-63
An equivalence between a control network and a switched hybrid system....Pages 64-79
Hybrid cc with interval constraints....Pages 80-95
Reachability analysis via face lifting....Pages 96-109
Automotive control revisited linear inequalities as approximation of reachable sets....Pages 110-125
Switching controllers based on neural network estimates of stability regions and controller performance....Pages 126-142
A logic for the specification of continuous systems....Pages 143-158
Integrating projections....Pages 159-174
Lyapunov stability of continuous-valued systems under the supervision of discrete-event transition systems....Pages 175-189
Reachability verification for hybrid automata....Pages 190-204
Subanalytic stratifications and bisimulations....Pages 205-220
Integrated design and simulation of hybrid systems....Pages 221-236
Hierarchical hybrid systems: Partition deformations and applications to the acrobot system....Pages 237-252
Formal verification of safety-critical hybrid systems....Pages 253-272
Strings of vehicles: Modeling and safety conditions....Pages 273-288
An approach to the verification of the Center-TRACON automation system....Pages 289-304
Deductive verification of hybrid systems using step....Pages 305-318
Reduction and decomposition of differential automata: Theory and applications....Pages 319-333
Optimization of generalized solutions of nonlinear hybrid (discrete-continuous) systems....Pages 334-345
Information-based optimization approaches to dynamical system safety verification....Pages 346-359
Synthesizing controllers for nonlinear hybrid systems....Pages 360-373
A sufficient condition for controllability of a class of hybrid systems....Pages 374-383
Hybrid regular expressions....Pages 384-399
Stabilization of systems with changing dynamics....Pages 400-415
