Abstract is missing.
- Coordinated Control for Highly Reconfigurable SystemsMarkus P. J. Fromherz, Lara S. Crawford, Haitham A. Hindi. 1-24 [doi]
- Operational Semantics of Hybrid SystemsEdward A. Lee, Haiyang Zheng. 25-53 [doi]
- SOS Methods for Semi-algebraic Games and OptimizationPablo A. Parrilo. 54-54 [doi]
- The Discrete Time Behavior of Lazy Linear Hybrid AutomataManindra Agrawal, P. S. Thiagarajan. 55-69 [doi]
- Perturbed Timed AutomataRajeev Alur, Salvatore La Torre, P. Madhusudan. 70-85 [doi]
- A Homology Theory for Hybrid Systems: Hybrid HomologyAaron D. Ames, Shankar Sastry. 86-102 [doi]
- Observability of Switched Linear Systems in Continuous TimeMohamed Babaali, George J. Pappas. 103-117 [doi]
- Controller Synthesis on Non-uniform and Uncertain Discrete-Time DomainsAndrea Balluchi, Pierpaolo Murrieri, Alberto L. Sangiovanni-Vincentelli. 118-133 [doi]
- Qualitative Analysis and Verification of Hybrid Models of Genetic Regulatory Networks: Nutritional Stress Response inGrégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Michel Page, Dominique Schneider. 134-150 [doi]
- Optimal Control of Discrete Hybrid Stochastic AutomataAlberto Bemporad, Stefano Di Cairano. 151-167 [doi]
- Hybrid Decentralized Control of Large Scale SystemsFrancesco Borrelli, Tamás Keviczky, Gary J. Balas, Greg Stewart, Kingsley Fregene, Datta N. Godbole. 168-183 [doi]
- On the Stabilisation of Switching Electrical Power ConvertersJean Buisson, Pierre-Yves Richard, Hervé Cormerais. 184-197 [doi]
- Bisimulation for General Stochastic Hybrid SystemsManuela L. Bujorianu, John Lygeros, Marius C. Bujorianu. 198-214 [doi]
- Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without FrictionSophie Chareyron, Pierre-Brice Wieber. 215-225 [doi]
- Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial OrderDomitilla Del Vecchio, Richard M. Murray. 226-241 [doi]
- Refining Abstractions of Hybrid Systems Using Counterexample FragmentsAnsgar Fehnker, Edmund M. Clarke, Sumit Kumar Jha, Bruce H. Krogh. 242-257 [doi]
- PHAVer: Algorithmic Verification of Hybrid Systems Past HyTechGoran Frehse. 258-273 [doi]
- Direct Torque Control for Induction Motor Drives: A Model Predictive Control Approach Based on FeasibilityTobias Geyer, Georgios Papafotiou. 274-290 [doi]
- Reachability of Uncertain Linear Systems Using ZonotopesAntoine Girard. 291-305 [doi]
- Safety Verification of Controlled Advanced Life Support System Using Barrier CertificatesSonja Glavaski, Antonis Papachristodoulou, Kartik Ariyur. 306-321 [doi]
- Polynomial Stochastic Hybrid SystemsJoão P. Hespanha. 322-338 [doi]
- Non-uniqueness in Reverse Time of Hybrid System TrajectoriesIan A. Hiskens. 339-353 [doi]
- Comparison of Four Procedures for the Identification of Hybrid SystemsAleksandar Lj. Juloski, W. P. M. H. Heemels, Giancarlo Ferrari-Trecate, René Vidal, Simone Paoletti, J. H. G. Niessen. 354-369 [doi]
- An Ontology-Based Approach to Heterogeneous Verification of Embedded Control SystemsRajesh Kumar, Bruce H. Krogh, Peter H. Feiler. 370-385 [doi]
- Mode-Automata Based Methodology for ScadeOuassila Labbani, Jean-Luc Dekeyser, Pierre Boulet. 386-401 [doi]
- Taylor Approximation for Hybrid SystemsRuggero Lanotte, Simone Tini. 402-416 [doi]
- Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA SystemsMircea Lazar, W. P. M. H. Heemels, Siep Weiland, Alberto Bemporad, Octavian Pastravanu. 417-432 [doi]
- Air-Traffic Control in Approach Sectors: Simulation Examples and OptimisationAndrea Lecchini, William Glover, John Lygeros, Jan M. Maciejowski. 433-448 [doi]
- Identification of Deterministic Switched ARX Systems via Identification of Algebraic VarietiesYi Ma, René Vidal. 449-465 [doi]
- Learning Multi-modal Control ProgramsTejas R. Mehta, Magnus Egerstedt. 466-479 [doi]
- A Toolbox of Hamilton-Jacobi Solvers for Analysis of Nondeterministic Continuous and Hybrid SystemsIan M. Mitchell, Jeremy A. Templeton. 480-494 [doi]
- On Transfinite Hybrid AutomataKatsunori Nakamura, Akira Fusaoka. 495-510 [doi]
- Design of Optimal Autonomous Switching Circuits to Suppress Mechanical VibrationDominik Niederberger. 511-525 [doi]
- Interchange Formats for Hybrid Systems: Review and ProposalAlessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone. 526-541 [doi]
- Primal-Dual Tests for Safety and ReachabilityStephen Prajna, Anders Rantzer. 542-556 [doi]
- Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid SystemsRobin L. Raffard, Jianghai Hu, Claire Tomlin. 557-572 [doi]
- Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction RefinementStefan Ratschan, Zhikun She. 573-589 [doi]
- Generating Polynomial Invariants for Hybrid SystemsEnric Rodríguez-Carbonell, Ashish Tiwari. 590-605 [doi]
- Modeling, Optimization and Computation for Software VerificationMardavij Roozbehani, Eric Feron, Alexandre Megretski. 606-622 [doi]
- Bisimulation for Communicating Piecewise Deterministic Markov Processes (CPDPs)Stefan Strubbe, A. J. van der Schaft. 623-639 [doi]
- Sensor/Actuator Abstractions for Symbolic Embedded Control DesignPaulo Tabuada. 640-654 [doi]
- Modeling and Control of Networked Control Systems with Random DelaysYan Wang, Zeng-qi Sun, Fu Chun Sun. 655-666 [doi]
- Controllability Implies Stabilizability for Discrete-Time Switched Linear SystemsGuangming Xie, Long Wang. 667-682 [doi]