Abstract is missing.
- Control as an Embedded TechnologyManfred Morari. 1-2 [doi]
- Optimisation of Hybrid Processes and Hybrid ControllersCostas C. Pantelides. 3 [doi]
- Embedded Software and Systems: Challenges and ApproachesJanos Sztipanovits. 4 [doi]
- Hybrid Systems Applications: An Oxymoron?Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis. 5-6 [doi]
- Design of Luenberger Observers for a Class of Hybrid Linear SystemsAngelo Alessandri, Paolo Coletta. 7-18 [doi]
- Hybrid Modeling and Simulation of Biomolecular NetworksRajeev Alur, Calin Belta, Franjo Ivancic. 19-32 [doi]
- Compositional Refinement for Hierarchical Hybrid SystemsRajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky. 33-48 [doi]
- Optimal Paths in Weighted Timed AutomataRajeev Alur, Salvatore La Torre, George J. Pappas. 49-62 [doi]
- Reach Set Computations Using Real Quantifier EliminationHirokazu Anai, Volker Weispfenning. 63-76 [doi]
- On Hybrid Control of Under-Actuated Mechanical SystemsEugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler. 77-88 [doi]
- On the Decidability of the Reachability Problem for Planar Differential InclusionsEugene Asarin, Gerardo Schneider, Sergio Yovine. 89-104 [doi]
- The Substratum of Impulse and Hybrid Control SystemsJean-Pierre Aubin. 105-118 [doi]
- Path-Dependent Impulse and Hybrid SystemsJean-Pierre Aubin, George Haddad. 119-132 [doi]
- Hybrid Feedback Control for Path Tracking by a Bounded-Curvature VehicleAndrea Balluchi, Philippe Souères, Antonio Bicchi. 133-146 [doi]
- Minimum-Cost Reachability for Priced Timed AutomataGerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager. 147-161 [doi]
- A Hybrid Approach to Traction ControlFrancesco Borrelli, Alberto Bemporad, Michael Fodor, Davor Hrovat. 162-174 [doi]
- Optimal Control Using Bisimulations: ImplementationMireille E. Broucke, Maria Domenica Di Benedetto, Stefano Di Gennaro, Alberto L. Sangiovanni-Vincentelli. 175-188 [doi]
- A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid SystemsFrancesco Alessandro Cuzzola, Manfred Morari. 189-203 [doi]
- Accurate Event Detection for Simulating Hybrid SystemsJoel M. Esposito, Vijay Kumar, George J. Pappas. 204-217 [doi]
- A Clustering Technique for the Identification of Piecewise Affine SystemsGiancarlo Ferrari-Trecate, Marco Muselli, Diego Liberati, Manfred Morari. 218-231 [doi]
- Lateral Inhibition through Delta-Notch Signaling: A Piecewise Affine Hybrid ModelRonojoy Ghosh, Claire Tomlin. 232-246 [doi]
- Supervision of Event-Driven Hybrid Systems: Modeling and SynthesisJosé M. E. González, Antonio E. C. da Cunha, José E. R. Cury, Bruce H. Krogh. 247-260 [doi]
- Control of Piecewise-Linear Hybrid Systems on Simplices and RectanglesLuc C. G. J. M. Habets, Jan H. van Schuppen. 261-274 [doi]
- Assume-Guarantee Reasoning for Hierarchical Hybrid SystemsThomas A. Henzinger, Marius Minea, Vinayak S. Prabhu. 275-290 [doi]
- Hybrid Modeling of TCP Congestion ControlJoão P. Hespanha, Stephan Bohacek, Katia Obraczka, Junsoo Lee. 291-304 [doi]
- Hybrid Geodesics as Optimal Solutions to the Collision-Free Motion Planning ProblemJianghai Hu, Maria Prandini, Karl Henrik Johansson, Shankar Sastry. 305-318 [doi]
- Nonlinear Adaptive Backstepping with Estimator Resetting Using Multiple ObserversJens Kalkkuhl, Tor Arne Johansen, Jens Lüdemann, Andreas Queda. 319-332 [doi]
- Mode Switching Synthesis for Reachability SpecificationsTak-John Koo, George J. Pappas, Shankar Sastry. 333-346 [doi]
- Characterization of Stabilizing Switching Sequences in Switched Linear Systems Using Piecewise Linear Lyapunov FunctionsXenofon D. Koutsoukos, Panos J. Antsaklis. 347-360 [doi]
- On a Novel Class of Bifurcations in Hybrid Dynamical SystemsP. Kowalczyk, Mario di Bernardo. 361-374 [doi]
- Global Controllability of Hybrid Systems with Controlled and Autonomous SwitchingsEkaterina S. Lemch, Shankar Sastry, Peter E. Caines. 375-386 [doi]
- Modeling of Continuous-Discrete ProcessesVishal Bahl, Andreas A. Linninger. 387-402 [doi]
- Hybrid I/O Automata RevisitedNancy A. Lynch, Roberto Segala, Frits W. Vaandrager. 403-417 [doi]
- Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable SetsIan M. Mitchell, Alexandre M. Bayen, Claire J. Tomlin. 418-432 [doi]
- Hamiltonian Mechanics2Ivar Ekeland, Roger Temam. 418-432 [doi]
- Robust Controller Synthesis for Hybrid Systems Using Modal LogicThomas Moor, Jennifer M. Davoren. 433-446 [doi]
- Diagnosis of Physical Systems with Hybrid Models Using Parametrized CausalityPieter J. Mosterman. 447-458 [doi]
- Addressing Multiobjective Control: Safety and Performance through Constrained OptimizationMeeko Oishi, Claire Tomlin, Vipin Gopal, Datta N. Godbole. 459-472 [doi]
- Representation of Quantised Systems by the Frobenius-Perron OperatorJochen Schröder, Jan Lunze. 473-486 [doi]
- Semi-decidable Synthesis for Triangular Hybrid SystemsOmid Shakernia, George J. Pappas, Shankar Sastry. 487-500 [doi]
- Hybrid Abstractions that Preserve Timed LanguagesPaulo Tabuada, George J. Pappas. 501-514 [doi]