Hybrid Systems, Computation and Control: Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 – 25, 2000 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

This volume contains the proceedings of the Third International Workshop on Hybrid Systems: Computation and Control (HSCC 2000), which was held on March 23-25, 2000, in Pittsburgh, Pennsylvania. The proceedings of the rst two workshops in this series were published by Springer-Verlag, in the Lecture Notes in Computer Science series, as volumes 1386 and 1569. The focus of the Hybrid Systems workshop series is on modeling, control, synthesis, design, and veri cation of hybrid systems. A hybrid system is a th- reticalmodelforacomputercontrolledengineeringsystem,withadynamicsthat evolvesbothinadiscretestatesetandinafamilyofcontinuousstatespaces.- brid systems researchis motivated by, for example, controlof electro-mechanical systems(robots),air tra ccontrol,controlofautomatedfreeways,andchemical process control. The research area of hybrid systems overlaps both with c- puter science and with control theory. The workshop series is intended to foster the interaction between researchers from these elds in addressing problems in this new domain. The scientic program of the workshop consisted of four invited talks and 32 contributed talks. The following researcherspresented invited talks: K. Butts (Ford Research, USA), N. Leveson (MIT, USA), A. Sangiovanni-Vincentelli (U. California,Berkeley,USA), and B. Williams (MIT, USA). The contributed talks were based on the papers in these proceedings. The program committee, chaired by the editors, selected the 32 contributed papers out of 71 submitted papers. The editors are grateful to the members of theprogramcommitteefortheir generoushelpinthereviewingandtheselection process. Invited Presentations.- Hybrid Models for Automotive Powertrain Systems: Revisiting a Vision.- Experiences in Designing and Using Formal Specification Languages for Embedded Control Software.- Model-Based Autonomous Systems for Robotic Space Exploration.- Models of Computation and Simulation of Hybrid Systems.- Selected Presentations.- Modular Specification of Hybrid Systems in Charon.- Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems.- Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine.- Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid Systems.- Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications.- Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations.- Theory of Optimal Control Using Bisimulations.- Behavior Based Robotics Using Hybrid Automata.- Hybrid Controllers for Hierarchically Decomposed Systems.- Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods.- Robust Undecidability of Timed and Hybrid Systems.- Towards a Theory of Stochastic Hybrid Systems.- Automatic Compilation of Concurrent Hybrid Factories from Product Assembly Specifications.- A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System.- Ellipsoidal Techniques for Reachability Analysis.- Uniform Reachability Algorithms.- On the Existence of Solutions to Controlled Hybrid Automata.- Nonlinear Stabilization by Hybrid Quantized Feedback.- Diagnosis of Quantised Systems by Means of Timed Discrete-Event Representations.- Existence and Stability of Limit Cycles in Switched Single Server Flow Networks Modelled as Hybrid Dynamical Systems.- Hybrid Systems Diagnosis.- Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata.- Level Set Methods for Computation in Hybrid Systems.- Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems.- Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode.- Hybrid Systems Verification by Location Elimination.- A Dynamic Bayesian Network Approach to Tracking Using Learned Switching Dynamic Models.- Stability of Hybrid Systems Using LMIs – A Gear-Box Application.- Invariance of Approximating Automata for Piecewise Linear Systems with Uncertainties.- Decidable Controller Synthesis for Classes of Linear Systems.- Towards a Geometric Theory of Hybrid Systems.- Controlled Invariance of Discrete Time Systems.- Dynamical Systems Revisited: Hybrid Systems with Zeno Executions.