| Description |
480 pages : illustrations ; 24 cm |
| Series |
Lecture notes in computer science ; 2289 |
|
Lecture notes in computer science ; 2289
|
| Contents |
Hybrid and Embedded Software Technologies for Production Large-Scale Systems / David Sharp -- Numerical Methods for Differential Systems with Algebraic Equality and Inequality Constraints / Uri M. Ascher -- From Models to Code: The Missing Link in Embedded Software / Thomas A. Henzinger -- Hybrid System Models of Navigation Strategies for Games and Animations / Eric Aaron, Franjo Ivancic and Dimitris Metaxas -- Hybrid Control of a Truck and Trailer Vehicle / Claudio Altafini, Alberto Speranzon and Karl Henrik Johansson -- Reachability Analysis of Hybrid Systems via Predicate Abstraction / Rajeev Alur, Thao Dang and Franjo Ivancic -- Towards Computing Phase Portraits of Polygonal Differential Inclusions / Eugene Asarin, Gerardo Schneider and Sergio Yovine -- Dynamical Qualitative Analysis of Evolutionary Systems / Jean-Pierre Aubin and Olivier Dordan -- Design of Observers for Hybrid Systems / Andrea Balluchi, Luca Benvenuti and Maria D. Di Benedetto / [et al.] -- Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques / Alexandre M. Bayen, Eva Cruck and Claire J. Tomlin -- On the Optimal Control Law for Linear Discrete Time Hybrid Systems / Alberto Bemporad, Francesco Borrelli and Manfred Morari -- A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies / Michael S. Branicky and Siddharth R. Chhatpar -- A Comparison of Control Problems for Timed and Hybrid Systems / Franck Cassez, Thomas A. Henzinger and Jean-Francois Raskin -- Hybrid Control Loops, A/D Maps, and Dynamic Specifications / J. M. Davoren, T. Moor and A. Nerode -- Switching and Feedback Laws for Control of Constrained Switched Nonlinear Systems / Nael H. El-Farra and Panagiotis D. Christofides -- Quantized Stabilization of Two-Input Linear Systems: A Lower Bound on the Minimal Quantization Density / Nicola Elia and Emilio Frazzoli -- Analysis of Discrete-Time PWA Systems with Logic States / Giancarlo Ferrari-Trecate, Francesco A. Cuzzola and Manfred Morari -- Modeling and Control of Co-generation Power Plants: A Hybrid System Approach / Giancarlo Ferrari-Trecate, Eduarto Gallestey and Paolo Letizia / [et al.] -- Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis / Robert P. Goldman, David J. Musliner and Michael J. S. Pelican -- Computation of Root-Mean-Square Gains of Switched Linear Systems / Joao P. Hespanha -- Mode Estimation of Probabilistic Hybrid Systems / Michael W. Hofbaur and Brian C. Williams -- Symmetry Reduction of a Class of Hybrid Systems / Jianghai Hu and Shankar Sastry -- Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems / T. John Koo and Shankar Sastry -- Qualitative Modeling and Heterogeneous Control of Global System Behavior / Benjamin Kuipers and Subramanian Ramamoorthy -- An Approach to Model-Based Diagnosis of Hybrid Systems / Sriram Narasimhan and Gautam Biswas -- Information-Based Alpha-Beta Search and the Homicidal Chauffeur / Todd W. Neller -- Synthesis of Robust Control Systems under Resource Constraints / Luigi Palopoli, Claudio Pinello and Alberto Sangiovanni / [et al.] -- Optimal Control of Quantized Input Systems / Stefania Pancanti, Laura Leonardi and Lucia Pallottino / [et al.] -- Reconfiguration in Hierarchical Control of Piecewise-Affine Systems / Tal Pasternak -- Hybrid Kernels and Capture Basins for Impulse Constrained Systems / Patrick Saint-Pierre -- Ordered Upwind Methods for Hybrid Control / James A. Sethian and Alexander Vladimirsky -- Discrete-Time Refinement of Hybrid Automata / Thomas Stauner -- Control of Switched Hybrid Systems Based on Disjunctive Formulations / Olaf Stursberg and Sebastian Panek -- Composing Abstractions of Hybrid Systems / Paulo Tabuada, George J. Pappas and Pedro Lima -- Optimal Control of Hysteresis in Smart Actuators: A Viscosity Solutions Approach / Xiaobo Tan and John S. Baras -- Series of Abstractions for Hybrid Automata / Ashish Tiwari and Gaurav Khanna |
| Summary |
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 |
| Bibliography |
Includes bibliographical references and index |
| Notes |
Also available in print |
|
Mode of access: World Wide Web |
|
Print version record |
| Subject |
Hybrid systems -- Congresses.
|
|
Hybrid computers -- Congresses.
|
| Genre/Form |
Kongress
|
|
Conference papers and proceedings.
|
|
Stanford (Calif., 2002)
|
|
Conference papers and proceedings.
|
| Author |
Tomlin, Claire J., 1969-
|
|
Greenstreet, Mark R. (Mark Russell)
|
|
LINK (Online service)
|
| LC no. |
2002020794 |
| ISBN |
354043321X paperback |
|
