Abstract is missing.
- Hybrid Models for Automotive Powertrain Systems: Revisiting a VisionKen Butts. 1-2 [doi]
- Experiences in Designing and Using Formal Specification Languages for Embedded Control SoftwareNancy G. Leveson. 3 [doi]
- Model-Based Autonomous Systems for Robotic Space ExplorationBrian C. Williams. 4 [doi]
- Models of Computation and Simulation of Hybrid SystemsAlberto L. Sangiovanni-Vincentelli. 5 [doi]
- Modular Specification of Hybrid Systems in CHARONRajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, Insup Lee. 6-19 [doi]
- Approximate Reachability Analysis of Piecewise-Linear Dynamical SystemsEugene Asarin, Thao Dang, Oded Maler, Olivier Bournez. 20-31 [doi]
- Maximal Safe Set Computation for Idle Speed Control of an Automotive EngineAndrea Balluchi, Luca Benvenuti, Maria Domenica Di Benedetto, Guido M. Miconi, Ugo Pozzi, Tiziano Villa, Howard Wong-Toi, Alberto L. Sangiovanni-Vincentelli. 32-44 [doi]
- Optimization-Based Verification and Stability Characterization of Piecewise Affine and Hybrid SystemsAlberto Bemporad, Fabio Danilo Torrisi, Manfred Morari. 45-58 [doi]
- Invariant Sets and Control Synthesis for Switching Systems with Safety SpecificationsLuca Berardi, Elena De Santis, Maria Domenica Di Benedetto. 59-72 [doi]
- Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal ApproximationsOleg Botchkarev, Stavros Tripakis. 73-88 [doi]
- Theory of Optimal Control Using BisimulationsMireille E. Broucke, Maria Domenica Di Benedetto, Alberto L. Sangiovanni-Vincentelli, Stefano Di Gennaro. 89-102 [doi]
- Behavior Based Robotics Using Hybrid AutomataMagnus Egerstedt. 103-116 [doi]
- Hybrid Controllers for Hierarchically Decomposed SystemsKagan Gokbayrak, Christos G. Cassandras. 117-129 [doi]
- Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical MethodsThomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi. 130-144 [doi]
- Robust Undecidability of Timed and Hybrid SystemsThomas A. Henzinger, Jean-François Raskin. 145-159 [doi]
- Towars a Theory of Stochastic Hybrid SystemsJianghai Hu, John Lygeros, Shankar Sastry. 160-173 [doi]
- Automatic Compilation of Concurrent Hybrid Factories from Product Assembly SpecificationsEric Klavins. 174-187 [doi]
- A Hybrid Feedback Regulator Approach to Control an Automotive Suspension SystemXenofon D. Koutsoukos, Panos J. Antsaklis. 188-201 [doi]
- Ellipsoidal Techniques for Reachability AnalysisAlexander B. Kurzhanski, Pravin Varaiya. 202-214 [doi]
- Uniform Reachability AlgorithmsGerardo Lafferriere, Christopher L. Miller. 215-228 [doi]
- On the Existence of Solutions to Controlled Hybrid AutomataMichael D. Lemmon. 229-242 [doi]
- Nonlinear Stabilization by Hybrid Quantized FeedbackDaniel Liberzon. 243-257 [doi]
- Diagnosis of Quantised Systems by Means of Timed Discrete-Event RepresentationsJan Lunze. 258-271 [doi]
- Existence and Stability of Limit Cycles in Switched Single Server Flow Networks Modelled as Hybrid Dynamical SystemsAlexey S. Matveev, Andrey V. Savkin. 272-281 [doi]
- Hybrid Systems DiagnosisSheila A. McIlraith, Gautam Biswas, Dan Clancy, Vineet Gupta. 282-295 [doi]
- Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid AutomataJoseph S. Miller. 296-309 [doi]
- Level Set Methods for Computation in Hybrid SystemsIan Mitchell, Claire Tomlin. 310-323 [doi]
- Towards Procedures for Systematically Deriving Hybrid Models of Complex SystemsPieter J. Mosterman, Gautam Biswas. 324-337 [doi]
- Computing Optimal Operation Schemes for Chemical Plants in Multi-batch ModePeter Niebert, Sergio Yovine. 338-351 [doi]
- Hybrid Systems Verification by Location EliminationAndreas Nonnengart. 352-365 [doi]
- A Dynamic Bayesian Network Approach to Tracking Using Learned Switching Dynamic ModelsVladimir Pavlovic, James M. Rehg, Tat-Jen Cham. 366-380 [doi]
- Stability of Hybrid Systems Using LMIs - A Gear-Box ApplicationStefan Pettersson, Bengt Lennartson. 381-395 [doi]
- Invariance of Approximating Automata for Piecewise Linear Systems with UncertaintiesJacob Roll. 396-406 [doi]
- Decidable Controller Synthesis for Classes of Linear SystemsOmid Shakernia, Shankar Sastry, George J. Pappas. 407-420 [doi]
- Towards a Geometric Theory of Hybrid SystemsSlobodan N. Simic, Karl Henrik Johansson, Shankar Sastry, John Lygeros. 421-436 [doi]
- Controlled Invariance of Discrete Time SystemsRené Vidal, Shawn Schaffert, John Lygeros, Shankar Sastry. 437-450 [doi]
- Dynamical Systems Revisited: Hybrid Systems with Zeno ExecutionsJun Zhang, Karl Henrik Johansson, John Lygeros, Shankar Sastry. 451-464 [doi]