This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002, held in Stanford, California, USA, in March 2002.
The 33 revised full papers presented were carefully reviewed and selected from 73 submissions. All current issues in hybrid systems are addressed including formal models and methods and computational representations, algorithms and heuristics, computational tools, and innovative applications.
Author(s): David Sharp (auth.), Claire J. Tomlin, Mark R. Greenstreet (eds.)
Series: Lecture Notes in Computer Science 2289
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2002
Language: English
Pages: 480
Tags: Special Purpose and Application-Based Systems; Processor Architectures; Software Engineering; Logics and Meanings of Programs; Computation by Abstract Devices; Simulation and Modeling
Hybrid and Embedded Software Technologies for Production Large-Scale Systems....Pages 1-2
Numerical Methods for Differential Systems with Algebraic Equality and Inequality Constraints....Pages 3-3
From Models to Code: The Missing Link in Embedded Software....Pages 5-6
Hybrid System Models of Navigation Strategies for Games and Animations....Pages 7-20
Hybrid Control of a Truck and Trailer Vehicle....Pages 21-34
Reachability Analysis of Hybrid Systems via Predicate Abstraction....Pages 35-48
Towards Computing Phase Portraits of Polygonal Differential Inclusions....Pages 49-61
Dynamical Qualitative Analysis of Evolutionary Systems....Pages 61-75
Design of Observers for Hybrid Systems....Pages 76-89
Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques....Pages 90-104
On the Optimal Control Law for Linear Discrete Time Hybrid Systems....Pages 105-119
A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies....Pages 120-133
A Comparison of Control Problems for Timed and Hybrid Systems....Pages 134-148
Hybrid Control Loops, A/D Maps, and Dynamic Specifications....Pages 149-163
Switching and Feedback Laws for Control of Constrained Switched Nonlinear Systems....Pages 164-178
Quantized Stabilization of Two-Input Linear Systems: A Lower Bound on the Minimal Quantization Density....Pages 179-193
Analysis of Discrete-Time PWA Systems with Logic States....Pages 194-208
Modeling and Control of Co-generation Power Plants: A Hybrid System Approach....Pages 209-224
Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis....Pages 225-238
Computation of Root-Mean-Square Gains of Switched Linear Systems....Pages 239-252
Mode Estimation of Probabilistic Hybrid Systems....Pages 253-266
Symmetry Reduction of a Class of Hybrid Systems....Pages 267-280
Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems....Pages 281-293
Qualitative Modeling and Heterogeneous Control of Global System Behavior....Pages 294-307
An Approach to Model-Based Diagnosis of Hybrid Systems....Pages 308-322
Information-Based Alpha-Beta Search and the Homicidal Chau.eur....Pages 323-336
Synthesis of Robust Control Systems under Resource Constraints....Pages 337-350
Optimal Control of Quantized Input Systems....Pages 351-363
Reconfiguration in Hierarchical Control of Piecewise-Affine Systems....Pages 364-377
Hybrid Kernels and Capture Basins for Impulse Constrained Systems....Pages 378-392
Ordered Upwind Methods for Hybrid Control....Pages 393-406
Discrete-Time Refinement of Hybrid Automata....Pages 407-420
Control of Switched Hybrid Systems Based on Disjunctive Formulations....Pages 421-435
Composing Abstractions of Hybrid Systems....Pages 436-450
Optimal Control of Hysteresis in Smart Actuators: A Viscosity Solutions Approach....Pages 451-464
Series of Abstractions for Hybrid Automata....Pages 465-478
