Front matter
73-91
Hybrid and Embedded Software Technologies for Production Large-Scale Systems
David Sharp
41-57
Numerical Methods for Differential Systems with Algebraic Equality and Inequality Constraints
Uri M. Ascher
55-72
From Models to Code: The Missing Link in Embedded Software
Thomas A. Henzinger
22-84
Hybrid System Models of Navigation Strategies for Games and Animations
Eric Aaron, Franjo Ivančić and Dimitris Metaxas
439-469
Hybrid Control of a Truck and Trailer Vehicle
Claudio Altafini, Alberto Speranzon and Karl Henrik Johansson
758-819
Reachability Analysis of Hybrid Systems via Predicate Abstraction
Rajeev Alur, Thao Dang and Franjo Ivančić
669-757
Towards Computing Phase Portraits of Polygonal Differential Inclusions
Eugene Asarin, Gerardo Schneider and Sergio Yovine
61-75
Dynamical Qualitative Analysis of Evolutionary Systems
Jean-Pierre Aubin and Olivier Dordan
59-80
Design of Observers for Hybrid Systems
Andrea Balluchi, Luca Benvenuti, Maria D. Di Benedetto and Alberto L. Sangiovanni-Vincentelli
90-104
Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques
Alexandre M. Bayen, Eva Crück and Claire J. Tomlin
222-292
On the Optimal Control Law for Linear Discrete Time Hybrid Systems
Alberto Bemporad, Francesco Borrelli and Manfred Morari
120-133
A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies
Michael S. Branicky and Siddharth R. Chhatpar
134-148
A Comparison of Control Problems for Timed and Hybrid Systems
Franck Cassez, Thomas A. Henzinger and Jean-François Raskin
1-21
Hybrid Control Loops, A/D Maps, and Dynamic Specifications
J. M. Davoren, T. Moor and A. Nerode
470-520
Switching and Feedback Laws for Control of Constrained Switched Nonlinear Systems
Nael H. El-Farra and Panagiotis D. Christofides
335-349
Quantized Stabilization of Two-Input Linear Systems: A Lower Bound on the Minimal Quantization Density
Nicola Elia and Emilio Frazzoli
33-53
Analysis of Discrete-Time PWA Systems with Logic States
Giancarlo Ferrari-Trecate, Francesco A. Cuzzola and Manfred Morari
181-195
Modeling and Control of Co-generation Power Plants: A Hybrid System Approach
Giancarlo Ferrari-Trecate, Eduardo Gallestey, Paolo Letizia, Matteo Spedicato and Manfred Morari, et al.
85-151
Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis
Robert P. Goldman, David J. Musliner and Michael J. S. Pelican
365-420
Computation of Root-Mean-Square Gains of Switched Linear Systems
João P. Hespanha
81-91
Mode Estimation of Probabilistic Hybrid Systems
Michael W. Hofbaur and Brian C. Williams
281-322
Symmetry Reduction of a Class of Hybrid Systems
Jianghai Hu and Shankar Sastry
17-32
Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems
T. John Koo and Shankar Sastry
129-139
Qualitative Modeling and Heterogeneous Control of Global System Behavior
Benjamin Kuipers and Subramanian Ramamoorthy
1-12
An Approach to Model-Based Diagnosis of Hybrid Systems
Sriram Narasimhan and Gautam Biswas
521-668
Information-Based Alpha-Beta Search and the Homicidal Chau.eur
Todd W. Neller
197-225
Synthesis of Robust Control Systems under Resource Constraints
Luigi Palopoli, Claudio Pinello, Alberto Sangiovanni Vincentelli, Laurent Elghaoui and Antonio Bicchi
1-16
Reconfiguration in Hierarchical Control of Piecewise-Affine Systems
Tal Pasternak
351-396
Hybrid Kernels and Capture Basins for Impulse Constrained Systems
Patrick Saint-Pierre
293-364
Ordered Upwind Methods for Hybrid Control
James A. Sethian and Alexander Vladimirsky
407-420
Discrete-Time Refinement of Hybrid Automata
Thomas Stauner
820-871
Control of Switched Hybrid Systems Based on Disjunctive Formulations
Olaf Stursberg and Sebastian Panek
93-111
Composing Abstractions of Hybrid Systems
Paulo Tabuada, George J. Pappas and Pedro Lima
113-128
Optimal Control of Hysteresis in Smart Actuators: A Viscosity Solutions Approach
Xiaobo Tan and John S. Baras
425-438
Series of Abstractions for Hybrid Automata
Ashish Tiwari and Gaurav Khanna
Back matter