This book constitutes the refereed proceedings of the Third International Workshop on Hybrid Systems: Computation and Control, HSCC 2000, held in Pittsburgh, PA, USA in March 2000. The 32 revised full papers presented together with abstracts of four invited talks were carefully reviewed and selected from a total of 71 papers submitted. The focus of the works presented is on modeling, control, synthesis, design and verification of hybrid systems. Among the application areas covered are control of electromechanical systems, air traffic control, control of automated freeways, and chemical process control.
Author(s): Ken Butts (auth.), Nancy Lynch, Bruce H. Krogh (eds.)
Series: Lecture Notes in Computer Science 1790
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2000
Language: English
Pages: 465
Tags: Logics and Meanings of Programs; Special Purpose and Application-Based Systems; Computation by Abstract Devices; Control Engineering; Complexity
Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision....Pages 1-2
Experiences in Designing and Using Formal Specification Languages for Embedded Control Software....Pages 3-3
Model-Based Autonomous Systems for Robotic Space Exploration....Pages 4-4
Models of Computation and Simulation of Hybrid Systems....Pages 5-5
Modular Specification of Hybrid Systems in Charon....Pages 6-19
Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems....Pages 20-31
Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine....Pages 32-44
Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems....Pages 45-58
Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications....Pages 59-72
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations....Pages 73-88
Theory of Optimal Control Using Bisimulations....Pages 89-102
Behavior Based Robotics Using Hybrid Automata....Pages 103-116
Hybrid Controllers for Hierarchically Decomposed Systems....Pages 117-129
Beyond HyTech : Hybrid Systems Analysis Using Interval Numerical Methods....Pages 130-144
Robust Undecidability of Timed and Hybrid Systems....Pages 145-159
Towards a Theory of Stochastic Hybrid Systems....Pages 160-173
Automatic Compilation of Concurrent Hybrid Factories from Product Assembly Specifications....Pages 174-187
A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System....Pages 188-201
Ellipsoidal Techniques for Reachability Analysis....Pages 202-214
Uniform Reachability Algorithms....Pages 215-228
On the Existence of Solutions to Controlled Hybrid Automata....Pages 229-242
Nonlinear Stabilization by Hybrid Quantized Feedback....Pages 243-257
Diagnosis of Quantised Systems by Means of Timed Discrete-Event Representations....Pages 258-271
Existence and Stability of Limit Cycles in Switched Single Server Flow Networks Modelled as Hybrid Dynamical Systems....Pages 272-282
Hybrid Systems Diagnosis....Pages 282-295
Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata....Pages 296-310
Level Set Methods for Computation in Hybrid Systems....Pages 310-323
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems....Pages 324-337
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode....Pages 338-351
Hybrid Systems Verification by Location Elimination....Pages 352-365
A Dynamic Bayesian Network Approach to Tracking Using Learned Switching Dynamic Models....Pages 366-380
Stability of Hybrid Systems Using LMIs — A Gear-Box Application....Pages 381-395
Invariance of Approximating Automata for Piecewise Linear Systems with Uncertainties....Pages 396-406
Decidable Controller Synthesis for Classes of Linear Systems....Pages 407-420
Towards a Geometric Theory of Hybrid Systems....Pages 421-436
Controlled Invariance of Discrete Time Systems....Pages 437-451
Dynamical Systems Revisited: Hybrid Systems with Zeno Executions....Pages 451-464
