Abstract is missing.
- Motion Coordination for Multi-agent NetworksFrancesco Bullo. 1 [doi]
- Towards a Third Generation of Control SystemsP. R. Kumar. 2 [doi]
- Hybrid Systems - And Everything ElseJohn M. Rushby. 3 [doi]
- Behavioural Approximations for Restricted Linear Differential Hybrid AutomataManindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang. 4-18 [doi]
- Bounded Model Checking for GSMP Models of Stochastic Real-Time SystemsRajeev Alur, Mikhail Bernadsky. 19-33 [doi]
- On the Stability of Zeno EquilibriaAaron D. Ames, Paulo Tabuada, Shankar Sastry. 34-48 [doi]
- Reachability Analysis for Controlled Discrete Time Stochastic Hybrid SystemsSaurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, Shankar Sastry. 49-63 [doi]
- Output-Based Optimal Timing Control of Switched SystemsShun-ichi Azuma, Magnus Egerstedt, Yorai Wardi. 64-78 [doi]
- Hybrid Modelling and Control of the Common Rail Injection SystemAndrea Balluchi, Antonio Bicchi, Emanuele Mazzi, Alberto L. Sangiovanni-Vincentelli, Gabriele Serra. 79-92 [doi]
- Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid AutomataAlberto Bemporad, Stefano Di Cairano, Jorge Júlvez. 93-107 [doi]
- Improving Efficiency of Finite Plans by Optimal Choice of Input SetsAntonio Bicchi, Alessia Marigo, Benedetto Piccoli. 108-122 [doi]
- Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control ComputationPeter E. Caines, M. Shahid Shaikh. 123-137 [doi]
- Approximate Reachability Computation for Polynomial SystemsThao Dang. 138-152 [doi]
- A Lattice Theory for Solving Games of Imperfect InformationMartin De Wulf, Laurent Doyen, Jean-François Raskin. 153-168 [doi]
- Observability of Hybrid Automata by AbstractionAlessandro D Innocenzo, Maria Domenica Di Benedetto, Stefano Di Gennaro. 169-183 [doi]
- Reconstruction of Switching Thresholds in Piecewise-Affine Models of Genetic Regulatory NetworksSamuel Drulhe, Giancarlo Ferrari-Trecate, Hidde de Jong, A. Viari. 184-199 [doi]
- Decision Problems for the Verification of Real-Time SoftwareMichael Emmi, Rupak Majumdar. 200-211 [doi]
- Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment ControlGiancarlo Ferrari-Trecate, Magnus Egerstedt, A. Buffa, Meng Ji. 212-226 [doi]
- Optimal Control of Piece-Wise Polynomial Hybrid Systems Using Cylindrical Algebraic DecompositionIoannis A. Fotiou, A. Giovanni Beccuti, Georgios Papafotiou, Manfred Morari. 227-241 [doi]
- The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory PerspectiveYan Gao, John Lygeros, Marc Quincampoix. 242-256 [doi]
- Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with InputsAntoine Girard, Colas Le Guernic, Oded Maler. 257-271 [doi]
- Verification Using SimulationAntoine Girard, George J. Pappas. 272-286 [doi]
- Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional PolytopesZhi Han, Bruce H. Krogh. 287-301 [doi]
- Simultaneous Optimization of Continuous Control Inputs and Discrete State WaypointsJun-ichi Imura, Hiromichi Matsushima. 302-317 [doi]
- Approximate Abstraction of Stochastic Hybrid AutomataA. Agung Julius. 318-332 [doi]
- A Fully Automated Framework for Control of Linear Systems from LTL SpecificationsMarius Kloetzer, Calin Belta. 333-347 [doi]
- Reachability Analysis of Multi-affine SystemsMarius Kloetzer, Calin Belta. 348-362 [doi]
- Approximation, Sampling and Voting in Hybrid Computing SystemsChiheb Kossentini, Paul Caspi. 363-376 [doi]
- Computational Methods for Reachability Analysis of Stochastic Hybrid SystemsXenofon D. Koutsoukos, Derek Riley. 377-391 [doi]
- R-Charon, a Modeling Language for Reconfigurable Hybrid SystemsFabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee. 392-406 [doi]
- Estimation and Conflict Detection in Human Controlled SystemsCharles Lesire, Catherine Tessier. 407-420 [doi]
- Stability Analysis of Hybrid Systems Via Small-Gain TheoremsDaniel Liberzon, Dragan Nesic. 421-435 [doi]
- Stochastic Hybrid Delay Population DynamicsJohn Lygeros, Xuerong Mao, Chenggui Yuan. 436-450 [doi]
- Finite Gain ::::l::::::::::p:::::: Stabilization Is Impossible by Bit-Rate Constrained FeedbackNuno C. Martins. 451-459 [doi]
- Specification and Analysis of Distributed Object-Based Stochastic Hybrid SystemsJosé Meseguer, Raman Sharykin. 460-475 [doi]
- Verifying Average Dwell Time by Solving Optimization ProblemsSayan Mitra, Nancy A. Lynch, Daniel Liberzon. 476-490 [doi]
- Interchange Format for Hybrid Systems: Abstract SemanticsAlessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli. 491-506 [doi]
- Model Checking of Hybrid Systems: From Reachability Towards StabilityAndreas Podelski, Silke Wagner. 507-521 [doi]
- A Feedback Control Motivation for Generalized Solutions to Hybrid SystemsRicardo G. Sanfelice, Rafal Goebel, Andrew R. Teel. 522-536 [doi]
- Fixed Point Iteration for Computing the Time Elapse OperatorSriram Sankaranarayanan, Henny B. Sipma, Zohar Manna. 537-551 [doi]
- Mixed Initial-Boundary Value Problems for Scalar Conservation Laws: Application to the Modeling of Transportation NetworksIssam S. Strub, Alexandre M. Bayen. 552-567 [doi]
- Beyond Zeno: Get on with It!Haiyang Zheng, Edward A. Lee, Aaron D. Ames. 568-582 [doi]