5. HSCC 2002: Stanford, CA, USA

@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
  
• Uri M. Ascher:
  Numerical Methods for Differential Systems with Algebraic Equality and Inequality Constraints. 3-4
  
• Thomas A. Henzinger:
  From Models to Code: The Missing Link in Embedded Software. 5-6
  

Papers

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