Abstract is missing.
- Lazy Rectangular Hybrid AutomataManindra Agrawal, P. S. Thiagarajan. 1-15 [doi]
- Affine Hybrid SystemsAaron D. Ames, Shankar Sastry. 16-31 [doi]
- Abstraction by Projection and Application to Multi-affine SystemsEugene Asarin, Thao Dang. 32-47 [doi]
- Observability of Switched Linear SystemsMohamed Babaali, Magnus Egerstedt. 48-63 [doi]
- Inference Methods for Autonomous Stochastic Linear Hybrid SystemsHamsa Balakrishnan, Inseok Hwang, Jung Soon Jang, Claire Tomlin. 64-79 [doi]
- Synthesis for Idle Speed Control of an Automotive EngineAndrea Balluchi, Federico Di Natale, Alberto L. Sangiovanni-Vincentelli, Jan H. van Schuppen. 80-94 [doi]
- Network Congestion Alleviation Using Adjoint Hybrid Control: Application to HighwaysAlexandre M. Bayen, Robin L. Raffard, Claire Tomlin. 95-110 [doi]
- Understanding the Bacterial Stringent Response Using Reachability Analysis of Hybrid SystemsCalin Belta, Peter Finin, Luc C. G. J. M. Habets, Ádám M. Halász, Marcin Imielinski, Vijay Kumar, Harvey Rubin. 111-125 [doi]
- A SAT-Based Hybrid Solver for Optimal Control of Hybrid SystemsAlberto Bemporad, Nicolò Giorgetti. 126-141 [doi]
- Incremental Search Methods for Reachability Analysis of Continuous and Hybrid SystemsAmit Bhatia, Emilio Frazzoli. 142-156 [doi]
- Discrete and Hybrid NonholonomyAntonio Bicchi, Alessia Marigo, Benedetto Piccoli. 157-172 [doi]
- Approximations of the Rate of Growth of Switched Linear SystemsVincent D. Blondel, Yurii Nesterov, Jacques Theys. 173-186 [doi]
- The Hybrid Guaranteed Capture Basin Algorithm in EconomicsNoël Bonneuil, Patrick Saint-Pierre. 187-202 [doi]
- Staying Alive as Cheaply as PossiblePatricia Bouyer, Ed Brinksma, Kim Guldstrand Larsen. 203-218 [doi]
- On O-Minimal Hybrid SystemsThomas Brihaye, Christian Michaux, Cédric Rivière, Christophe Troestler. 219-233 [doi]
- Extended Stochastic Hybrid Systems and Their Reachability ProblemManuela L. Bujorianu. 234-249 [doi]
- On the Controllability of Bimodal Piecewise Linear SystemsM. K. Çamlibel, W. P. M. H. Heemels, J. M. Schumacher. 250-264 [doi]
- Observability of Piecewise-Affine Hybrid SystemsPieter Collins, Jan H. van Schuppen. 265-279 [doi]
- Non-deterministic Temporal Logics for General Flow SystemsJennifer M. Davoren, Vaughan Coulthard, Nicolas Markey, Thomas Moor. 280-295 [doi]
- Almost ASAP Semantics: From Timed Models to Timed ImplementationsMartin De Wulf, Laurent Doyen, Jean-François Raskin. 296-310 [doi]
- Discrete State Estimators for a Class of Hybrid Systems on a LatticeDomitilla Del Vecchio, Richard M. Murray. 311-325 [doi]
- Benchmarks for Hybrid Systems VerificationAnsgar Fehnker, Franjo Ivancic. 326-341 [doi]
- On the Optimal Control of Switch-Mode DC-DC ConvertersTobias Geyer, Georgios Papafotiou, Manfred Morari. 342-356 [doi]
- Event-Driven Programming with Logical Execution TimesArkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido. 357-371 [doi]
- A Stochastic Hybrid Model for Air Traffic Control SimulationWilliam Glover, John Lygeros. 372-386 [doi]
- Stochastic Hybrid Systems: Application to Communication NetworksJoão P. Hespanha. 387-401 [doi]
- Rigorous Modeling of Hybrid Systems Using Interval Arithmetic ConstraintsTimothy J. Hickey, David K. Wittenberg. 402-416 [doi]
- Modeling Subtilin Production in Bacillus subtilis Using Stochastic Hybrid SystemsJianghai Hu, Wei Chung Wu, Shankar Sastry. 417-431 [doi]
- Sound Code Generation from Communicating Hybrid ModelsYerang Hur, Jesung Kim, Insup Lee, Jin-Young Choi. 432-447 [doi]
- Multi-Parametric Toolbox (MPT)Michal Kvasnica, Pascal Grieder, Mato Baotic, Manfred Morari. 448-462 [doi]
- Dynamic Partitioning of Large Discrete Event Biological Systems for Hybrid Simulation and AnalysisNatasha A. Neogi. 463-476 [doi]
- Safety Verification of Hybrid Systems Using Barrier CertificatesStephen Prajna, Ali Jadbabaie. 477-492 [doi]
- Piecewise-Linear Output-Error Methods for Parameter Estimation in Direction-Dependent ProcessesFredrik Rosenqvist, Anders Karlström. 493-507 [doi]
- A Spatial Logic for the Hybrid p-CalculusWilliam C. Rounds. 508-522 [doi]
- Full Paper Sheet Control Using Hybrid AutomataRene Sanchez, Roberto Horowitz, Masayoshi Tomizuka, Slobodan N. Simic. 523-538 [doi]
- Constructing Invariants for Hybrid SystemsSriram Sankaranarayanan, Henny Sipma, Zohar Manna. 539-554 [doi]
- Bisimulation of Dynamical SystemsA. J. van der Schaft. 555-569 [doi]
- Control Design for a Hybrid Dynamic System: A NASA Life Support SystemDharmashankar Subramanian, Kartik Ariyur, Nitin Lamba, Ranjana Deshpande, Sonja Glavaski. 570-584 [doi]
- Non-concurrent Error Detection and Correction in Switched Linear ControllersShreyas Sundaram, Christoforos N. Hadjicostis. 585-599 [doi]
- Nonlinear Systems: Approximating Reach SetsAshish Tiwari, Gaurav Khanna. 600-614 [doi]
- On Practical Stability and Stabilization of Hybrid and Switched SystemsXuping Xu, Guisheng Zhai. 615-630 [doi]
- A Numerical Technique for Stability Analysis of Linear Switched SystemsChristos A. Yfoulis, Robert Shorten. 631-645 [doi]
- Asymptotic Stability and Boundedness of Delay Switching DiffusionsChenggui Yuan, John Lygeros. 646-659 [doi]
- Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological NetworksPatrick Lincoln, Ashish Tiwari. 660-672 [doi]