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. Springer 2002 Lecture Notes in Computer Science ISBN 3-540-43321-X
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
- 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
- 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
- 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
- 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
- Xiaobo Tan, John S. Baras: Optimal Control of Hysteresis in Smart Actuators: A Viscosity Solutions Approach. 451-464
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team