5. HSCC 2002: Stanford, CA, USA

Claire Tomlin, Mark R. Greenstreet (Eds.): Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings. Lecture Notes in Computer Science 2289 Springer 2002, ISBN 3-540-43321-X BibTeX

@proceedings{DBLP:conf/hybrid/2002,
  editor    = {Claire Tomlin and
               Mark R. Greenstreet},
  title     = {Hybrid Systems: Computation and Control, 5th International Workshop,
               HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings},
  booktitle = {HSCC},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2289},
  year      = {2002},
  isbn      = {3-540-43321-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstracts of Invited Presentations

David C. Sharp:
Hybrid and Embedded Software Technologies for Production Large-Scale Systems. 1-2
Electronic Edition (Springer LINK) BibTeX
Uri M. Ascher:
Numerical Methods for Differential Systems with Algebraic Equality and Inequality Constraints. 3-4
Electronic Edition (Springer LINK) BibTeX
Thomas A. Henzinger:
From Models to Code: The Missing Link in Embedded Software. 5-6
Electronic Edition (Springer LINK) BibTeX

Papers

Eric Aaron, Franjo Ivancic, Dimitris N. Metaxas:
Hybrid System Models of Navigation Strategies for Games and Animations. 7-20
Electronic Edition (Springer LINK) BibTeX
Claudio Altafini, Alberto Speranzon, Karl Henrik Johansson:
Hybrid Control of a Truck and Trailer Vehicle. 21-34
Electronic Edition (Springer LINK) BibTeX
Rajeev Alur, Thao Dang, Franjo Ivancic:
Reachability Analysis of Hybrid Systems via Predicate Abstraction. 35-48
Electronic Edition (Springer LINK) BibTeX
Eugene Asarin, Gerardo Schneider, Sergio Yovine:
Towards Computing Phase Portraits of Polygonal Differential Inclusions. 49-61
Electronic Edition (Springer LINK) BibTeX
Jean-Pierre Aubin, Olivier Dordan:
Dynamical Qualitative Analysis of Evolutionary Systems. 62-75
Electronic Edition (Springer LINK) BibTeX
Andrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli:
Design of Observers for Hybrid Systems. 76-89
Electronic Edition (Springer LINK) BibTeX
Alexandre M. Bayen, Eva Crück, Claire Tomlin:
Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques. 90-104
Electronic Edition (Springer LINK) BibTeX
Alberto Bemporad, Francesco Borrelli, Manfred Morari:
On the Optimal Control Law for Linear Discrete Time Hybrid Systems. 105-119
Electronic Edition (Springer LINK) BibTeX
Michael S. Branicky, Siddharth R. Chhatpar:
A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies. 120-133
Electronic Edition (Springer LINK) BibTeX
Franck Cassez, Thomas A. Henzinger, Jean-François Raskin:
A Comparison of Control Problems for Timed and Hybrid Systems. 134-148
Electronic Edition (Springer LINK) BibTeX
Jennifer M. Davoren, Thomas Moor, Anil Nerode:
Hybrid Control Loops, A/D Maps, and Dynamic Specifications. 149-163
Electronic Edition (Springer LINK) BibTeX
Nael H. El-Farra, Panagiotis D. Christofides:
Switching and Feedback Laws for Control of Constrained Switched Nonlinear Systems. 164-178
Electronic Edition (Springer LINK) BibTeX
Nicola Elia, Emilio Frazzoli:
Quantized Stabilization of Two-Input Linear Systems: A Lower Bound on the Minimal Quantization Density. 179-193
Electronic Edition (Springer LINK) BibTeX
Giancarlo Ferrari-Trecate, Francesco Alessandro Cuzzola, Manfred Morari:
Analysis of Discrete-Time PWA Systems with Logic States. 194-208
Electronic Edition (Springer LINK) BibTeX
Giancarlo Ferrari-Trecate, Eduardo Gallestey, Paolo Letizia, Matteo Spedicato, Manfred Morari, Marc Antoine:
Modeling and Control of Co-generation Power Plants: A Hybrid System Approach. 209-224
Electronic Edition (Springer LINK) BibTeX
Robert P. Goldman, David J. Musliner, Michael J. S. Pelican:
Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis. 225-238
Electronic Edition (Springer LINK) BibTeX
João P. Hespanha:
Computation of Root-Mean-Square Gains of Switched Linear Systems. 239-252
Electronic Edition (Springer LINK) BibTeX
Michael W. Hofbaur, Brian C. Williams:
Mode Estimation of Probabilistic Hybrid Systems. 253-266
Electronic Edition (Springer LINK) BibTeX
Jianghai Hu, Shankar Sastry:
Symmetry Reduction of a Class of Hybrid Systems. 267-280
Electronic Edition (Springer LINK) BibTeX
Tak-John Koo, Shankar Sastry:
Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems. 281-293
Electronic Edition (Springer LINK) BibTeX
Benjamin Kuipers, Subramanian Ramamoorthy:
Qualitative Modeling and Heterogeneous Control of Global System Behavior. 294-307
Electronic Edition (Springer LINK) BibTeX
Sriram Narasimhan, Gautam Biswas:
An Approach to Model-Based Diagnosis of Hybrid Systems. 308-322
Electronic Edition (Springer LINK) BibTeX
Todd W. Neller:
Information-Based Alpha-Beta Search and the Homicidal Chauffeur. 323-336
Electronic Edition (Springer LINK) BibTeX
Luigi Palopoli, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Laurent Elghaoui, Antonio Bicchi:
Synthesis of Robust Control Systems under Resource Constraints. 337-350
Electronic Edition (Springer LINK) BibTeX
Stefania Pancanti, Laura Leonardi, Lucia Pallottino, Antonio Bicchi:
Optimal Control of Quantized Input Systems. 351-363
Electronic Edition (Springer LINK) BibTeX
Tal Pasternak:
Reconfiguration in Hierarchical Control of Piecewise-Affine Systems. 364-377
Electronic Edition (Springer LINK) BibTeX
Patrick Saint-Pierre:
Hybrid Kernels and Capture Basins for Impulse Constrained Systems. 378-392
Electronic Edition (Springer LINK) BibTeX
James A. Sethian, Alexander Vladimirsky:
Ordered Upwind Methods for Hybrid Control. 393-406
Electronic Edition (Springer LINK) BibTeX
Thomas Stauner:
Discrete-Time Refinement of Hybrid Automata. 407-420
Electronic Edition (Springer LINK) BibTeX
Olaf Stursberg, Sebastian Panek:
Control of Switched Hybrid Systems Based on Disjunctive Formulations. 421-435
Electronic Edition (Springer LINK) BibTeX
Paulo Tabuada, George J. Pappas, Pedro U. Lima:
Composing Abstractions of Hybrid Systems. 436-450
Electronic Edition (Springer LINK) BibTeX
Xiaobo Tan, John S. Baras:
Optimal Control of Hysteresis in Smart Actuators: A Viscosity Solutions Approach. 451-464
Electronic Edition (Springer LINK) BibTeX
Ashish Tiwari, Gaurav Khanna:
Series of Abstractions for Hybrid Automata. 465-478
Electronic Edition (Springer LINK) BibTeX