Abstract is missing.
- Hybrid and Embedded Software Technologies for Production Large-Scale SystemsDavid C. Sharp. 1-2 [doi]
- Numerical Methods for Differential Systems with Algebraic Equality and Inequality ConstraintsUri M. Ascher. 3-4 [doi]
- From Models to Code: The Missing Link in Embedded SoftwareThomas A. Henzinger. 5-6 [doi]
- Hybrid System Models of Navigation Strategies for Games and AnimationsEric Aaron, Franjo Ivancic, Dimitris N. Metaxas. 7-20 [doi]
- Hybrid Control of a Truck and Trailer VehicleClaudio Altafini, Alberto Speranzon, Karl Henrik Johansson. 21-34 [doi]
- Reachability Analysis of Hybrid Systems via Predicate AbstractionRajeev Alur, Thao Dang, Franjo Ivancic. 35-48 [doi]
- Towards Computing Phase Portraits of Polygonal Differential InclusionsEugene Asarin, Gerardo Schneider, Sergio Yovine. 49-61 [doi]
- Dynamical Qualitative Analysis of Evolutionary SystemsJean-Pierre Aubin, Olivier Dordan. 62-75 [doi]
- Design of Observers for Hybrid SystemsAndrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli. 76-89 [doi]
- Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability TechniquesAlexandre M. Bayen, Eva Crück, Claire Tomlin. 90-104 [doi]
- On the Optimal Control Law for Linear Discrete Time Hybrid SystemsAlberto Bemporad, Francesco Borrelli, Manfred Morari. 105-119 [doi]
- A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly StrategiesMichael S. Branicky, Siddharth R. Chhatpar. 120-133 [doi]
- A Comparison of Control Problems for Timed and Hybrid SystemsFranck Cassez, Thomas A. Henzinger, Jean-François Raskin. 134-148 [doi]
- Hybrid Control Loops, A/D Maps, and Dynamic SpecificationsJennifer M. Davoren, Thomas Moor, Anil Nerode. 149-163 [doi]
- Switching and Feedback Laws for Control of Constrained Switched Nonlinear SystemsNael H. El-Farra, Panagiotis D. Christofides. 164-178 [doi]
- Quantized Stabilization of Two-Input Linear Systems: A Lower Bound on the Minimal Quantization DensityNicola Elia, Emilio Frazzoli. 179-193 [doi]
- Analysis of Discrete-Time PWA Systems with Logic StatesGiancarlo Ferrari-Trecate, Francesco Alessandro Cuzzola, Manfred Morari. 194-208 [doi]
- Modeling and Control of Co-generation Power Plants: A Hybrid System ApproachGiancarlo Ferrari-Trecate, Eduardo Gallestey, Paolo Letizia, Matteo Spedicato, Manfred Morari, Marc Antoine. 209-224 [doi]
- Exploiting Implicit Representations in Timed Automaton Verification for Controller SynthesisRobert P. Goldman, David J. Musliner, Michael J. S. Pelican. 225-238 [doi]
- Computation of Root-Mean-Square Gains of Switched Linear SystemsJoão P. Hespanha. 239-252 [doi]
- Mode Estimation of Probabilistic Hybrid SystemsMichael W. Hofbaur, Brian C. Williams. 253-266 [doi]
- Symmetry Reduction of a Class of Hybrid SystemsJianghai Hu, Shankar Sastry. 267-280 [doi]
- Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal SystemsTak-John Koo, Shankar Sastry. 281-293 [doi]
- Qualitative Modeling and Heterogeneous Control of Global System BehaviorBenjamin Kuipers, Subramanian Ramamoorthy. 294-307 [doi]
- An Approach to Model-Based Diagnosis of Hybrid SystemsSriram Narasimhan, Gautam Biswas. 308-322 [doi]
- Information-Based Alpha-Beta Search and the Homicidal ChauffeurTodd W. Neller. 323-336 [doi]
- Synthesis of Robust Control Systems under Resource ConstraintsLuigi Palopoli, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Laurent Elghaoui, Antonio Bicchi. 337-350 [doi]
- Optimal Control of Quantized Input SystemsStefania Pancanti, Laura Leonardi, Lucia Pallottino, Antonio Bicchi. 351-363 [doi]
- Reconfiguration in Hierarchical Control of Piecewise-Affine SystemsTal Pasternak. 364-377 [doi]
- Hybrid Kernels and Capture Basins for Impulse Constrained SystemsPatrick Saint-Pierre. 378-392 [doi]
- Ordered Upwind Methods for Hybrid ControlJames A. Sethian, Alexander Vladimirsky. 393-406 [doi]
- Discrete-Time Refinement of Hybrid AutomataThomas Stauner. 407-420 [doi]
- Control of Switched Hybrid Systems Based on Disjunctive FormulationsOlaf Stursberg, Sebastian Panek. 421-435 [doi]
- Composing Abstractions of Hybrid SystemsPaulo Tabuada, George J. Pappas, Pedro U. Lima. 436-450 [doi]
- Optimal Control of Hysteresis in Smart Actuators: A Viscosity Solutions ApproachXiaobo Tan, John S. Baras. 451-464 [doi]
- Series of Abstractions for Hybrid AutomataAshish Tiwari, Gaurav Khanna. 465-478 [doi]