Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. HSCC 2002: Stanford, CA, USA
- Claire J. Tomlin, Mark R. Greenstreet:
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
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 J. 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-16 20:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
