Table of Contents

• Markov Set-Chains as Abstractions of Stochastic Hybrid SystemsAlessandro Abate, Alessandro D Innocenzo, Maria Domenica Di Benedetto, Shankar Sastry. 1-15 [doi]
• Co-simulation Tools for Networked Control SystemsAhmad T. Al-Hammouri, Michael S. Branicky, Vincenzo Liberatore. 16-29 [doi]
• On the Maximum Principle for Impulsive Hybrid SystemsVadim Azhmyakov, Sid Ahmed Attia, Jörg Raisch. 30-42 [doi]
• Algebraic Identification of MIMO SARX ModelsLaurent Bako, René Vidal. 43-57 [doi]
• Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid SystemLuca Benvenuti, Alberto Ferrari, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli. 58-71 [doi]
• Controller Synthesis with Budget ConstraintsKrishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger. 72-86 [doi]
• Trading Infinite Memory for Uniform Randomness in Timed GamesKrishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu. 87-100 [doi]
• Solutions to Switched Hamilton-Jacobi Equations and Conservation Laws Using Hybrid ComponentsChristian G. Claudel, Alexandre M. Bayen. 101-115 [doi]
• Lost in Translation: Hybrid-Time Flows vs. Real-Time TransitionsPieter J. L. Cuijpers, Michel A. Reniers. 116-129 [doi]
• A Control Lyapunov Approach to Predictive Control of Hybrid SystemsStefano Di Cairano, Mircea Lazar, Alberto Bemporad, W. P. M. H. Heemels. 130-143 [doi]
• Discrete and Hybrid Stochastic State Estimation Algorithms for Networked Control SystemsStefano Di Cairano, Karl Henrik Johansson, Alberto Bemporad, Richard M. Murray. 144-157 [doi]
• Anytime Control Algorithms for Embedded Real-Time SystemsDaniele Fontanelli, Luca Greco, Antonio Bicchi. 158-171 [doi]
• Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid SystemsMartin Fränzle, Holger Hermanns, Tino Teige. 172-186 [doi]
• A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid AutomataGoran Frehse, Sumit Kumar Jha, Bruce H. Krogh. 187-200 [doi]
• Approximately Bisimilar Symbolic Models for Incrementally Stable Switched SystemsAntoine Girard, Giordano Pola, Paulo Tabuada. 201-214 [doi]
• Zonotope/Hyperplane Intersection for Hybrid Systems Reachability AnalysisAntoine Girard, Colas Le Guernic. 215-228 [doi]
• Learning and Detecting Emergent Behavior in Networks of Cardiac MyocytesRadu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska. 229-243 [doi]
• Compositional Modeling and Minimization of Time-Inhomogeneous Markov ChainsTingting Han, Joost-Pieter Katoen, Alexandru Mereacre. 244-258 [doi]
• Observer-Based Control of Linear Complementarity SystemsW. P. M. H. Heemels, M. K. Çamlibel, Bernard Brogliato, J. M. Schumacher. 259-272 [doi]
• Complementarity Systems in Constrained Steady-State Optimal ControlAndrej Jokic, Mircea Lazar, P. P. J. van den Bosch. 273-286 [doi]
• Dealing with Nondeterminism in Symbolic ControlMarius Kloetzer, Calin Belta. 287-300 [doi]
• Safety and Liveness in Intelligent IntersectionsHemant Kowshik, Derek Caveney, P. R. Kumar. 301-315 [doi]
• LTLC: Linear Temporal Logic for ControlYoungmin Kwon, Gul Agha. 316-329 [doi]
• Switched and PieceWise Nonlinear Hybrid System IdentificationFabien Lauer, Gérard Bloch. 330-343 [doi]
• Verification of Supervisory Control Software Using State Proximity and MergingFlavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh. 344-357 [doi]
• Optimotaxis: A Stochastic Multi-agent Optimization Procedure with Point MeasurementsAlexandre R. Mesquita, João P. Hespanha, Karl Åström. 358-371 [doi]
• Noncausal Optimal Tracking of Linear Switched SystemsGou Nakura. 372-385 [doi]
• Realization Theory for Discrete-Time Semi-algebraic Hybrid SystemsMihály Petreczky, René Vidal. 386-400 [doi]
• A Decidable Class of Planar Linear Hybrid SystemsPavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud. 401-414 [doi]
• Reachability of Uncertain Nonlinear Systems Using a Nonlinear HybridizationNacim Ramdani, Nacim Meslem, Yves Candau. 415-428 [doi]
• Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development ProcessDerek Riley, Xenofon D. Koutsoukos, Kasandra Riley. 429-442 [doi]
• Distributed Lyapunov Functions in Analysis of Graph Models of SoftwareMardavij Roozbehani, Alexandre Megretski, Emilio Frazzoli, Eric Feron. 443-456 [doi]
• On the Optimality of Dubins Paths across Heterogeneous TerrainRicardo G. Sanfelice, Emilio Frazzoli. 457-470 [doi]
• Switching Surface Design for Periodically Operated Discretely Controlled Continuous SystemsAxel Schild, Jan Lunze. 471-485 [doi]
• Discrete Dynamics of Two-Dimensional Nonlinear Hybrid AutomataLorenzo Sella, Pieter Collins. 486-499 [doi]
• Input-to-State Stabilization with Quantized Output FeedbackYoav Sharon, Daniel Liberzon. 500-513 [doi]
• Bisimilar Finite Abstractions of Interconnected SystemsYuichi Tazaki, Jun-ichi Imura. 514-527 [doi]
• On Controllability of Timed Continuous Petri NetsCarlos Renato Vázquez, Antonio Ramírez, Laura Recalde, Manuel Silva. 528-541 [doi]
• Parameter Synthesis for Piecewise Affine Systems from Temporal Logic SpecificationsBoyan Yordanov, Calin Belta. 542-555 [doi]
• Necessary Conditions for the Impulsive Time-Optimal Control of Finite-Dimensional Lagrangian SystemsKerim Yunt. 556-569 [doi]
• Composition of Motion Description LanguagesWenqi Zhang, Herbert G. Tanner. 570-583 [doi]
• On Optimal Quadratic Regulation for Discrete-Time Switched Linear SystemsWei Zhang, Jianghai Hu. 584-597 [doi]
• Approximation of General Stochastic Hybrid Systems by Switching Diffusions with Random Hybrid JumpsAlessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry. 598-601 [doi]
• On Stability of Switched Linear Hyperbolic Conservation Laws with Reflecting BoundariesSaurabh Amin, Falk M. Hante, Alexandre M. Bayen. 602-605 [doi]
• Sampling-Based Resolution-Complete Algorithms for Safety Falsification of Linear SystemsAmit Bhatia, Emilio Frazzoli. 606-609 [doi]
• Reachability Analysis of Stochastic Hybrid Systems by Optimal ControlManuela L. Bujorianu, John Lygeros, Rom Langerak. 610-613 [doi]
• An Integrated Approach to Parametric and Discrete Fault Diagnosis in Hybrid SystemsMatthew Daigle, Xenofon D. Koutsoukos, Gautam Biswas. 614-617 [doi]
• d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid AutomataSumit Kumar Jha. 618-621 [doi]
• Sufficient Conditions for Zeno Behavior in Lagrangian Hybrid SystemsAndrew G. Lamperski, Aaron D. Ames. 622-625 [doi]
• Separation in Stability Analysis of Piecewise Linear Systems in Discrete TimeJi-Woong Lee. 626-629 [doi]
• Level Set Methods for Computing Reachable Sets of Hybrid Systems with Differential Algebraic Equation DynamicsIan M. Mitchell, Yoshihiko Susuki. 630-633 [doi]
• Approximate Control Design for Solar Driven Sensor NodesClemens Moser, Lothar Thiele, Davide Brunelli, Luca Benini. 634-637 [doi]
• Modular Development of Hybrid Systems for Verification in CoqMilad Niqui, Olga Tveretina. 638-641 [doi]
• Steering a Leader-Follower Team Via Linear ConsensusFabio Pasqualetti, Simone Martini, Antonio Bicchi. 642-645 [doi]
• Logical Verification and Systematic Parametric Analysis in Train ControlAndré Platzer, Jan-David Quesel. 646-649 [doi]
• Information Theoretical Approach to Identification of Hybrid SystemsLi Pu, Jinchun Hu, Badong Chen. 650-653 [doi]
• A Policy Iteration Technique for Time Elapse over Template PolyhedraSriram Sankaranarayanan, Thao Dang, Franjo Ivancic. 654-657 [doi]
• Generating Box InvariantsAshish Tiwari. 658-661 [doi]
• Qualitative Stability Patterns for Lotka-Volterra Systems on RectanglesLaurent Tournier, Jean-Luc Gouzé. 662-665 [doi]
• Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by PredicatesYoshiyuki Tsuchie, Toshimitsu Ushio. 666-669 [doi]
• On the Timing of Discrete Events in Event-Driven Control SystemsManel Velasco, Pau Martí, Camilo Lozoya. 670-673 [doi]
• Decentralized Event-Triggered Broadcasts over Networked Control SystemsXiaofeng Wang, Michael D. Lemmon. 674-677 [doi]