A feedback control motivation for generalized solutions to hybrid systems
|
|
Ricardo G. Sanfelice, Andrew R. Teel, and Rafal Goebel |
|
A fully automated framework for control of linear systems from LTL specifications
|
|
Marius Kloetzer and Calin Belta |
|
A Lattice Theory for Solving Games of Imperfect Information
|
|
Martin De Wulf, Laurent Doyen and Jean-Francois Raskin |
|
Approximate abstraction of stochastic hybrid automata
|
Approximate reachability computation for polynomial systems
|
Approximation, Sampling and Voting in Hybrid Computing Systems
|
|
Chiheb Kossentini and Paul Caspi |
|
Behavioural Approximations for Restricted Linear Differential Hybrid Automata
|
|
Manindra Agrawal, Frank Stephan, P. S. Thiagarajan, Shaofa Yang |
|
Beyond Zeno: Get on with it!
|
|
Haiyang Zheng, Edward A. Lee, and Aaron D. Ames |
|
BIBO Stabilization with Finite Range Feedback is Impossible
|
|
Nuno C. Martins and Munther A. Dahleh |
|
Bounded Model Checking for GSMP Models of Stochastic Real-time Systems
|
|
Rajeev Alur, Mikhail Bernadsky |
|
Computational Methods for Reachability Analysis of Stochastic Hybrid Systems
|
|
Xenofon Koutsoukos and Derek Riley |
|
Decidability Problems for the Verification of Real-Time Software
|
|
Michael Emmi, Rupak Majumdar |
|
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs
|
|
Antoine Girard, Colas Le Guernic and Oded Maler |
|
Estimation and Conflict Detection in Human Controlled Systems
|
|
Charles Lesire and Catherine Tessier |
|
Event-Based Model Predictive Control and Verification of Integral Continuous-Time Hybrid Automata
|
|
Alberto Bemporad, Stefano Di Cairano, Jorge Jùlvez |
|
Fixed Point Iteration for Computing the Time Elapse Operator
|
|
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Manna |
|
From Reachability to Stability
|
|
Andreas Podelski and Silke Wagner |
|
Hybrid Modelling and Control of the Diesel Common Rail Engine
|
|
Andrea Balluchi, Antonio Bicchi, Emanuele Mazzi, Alberto L. Sangiovanni Vincentelli, Gabriele Serra |
|
Improving efficiency of finite plans by optimal choice of input sets
|
|
Antonio Bicchi, Alessia Marigo, Benedetto Piccoli |
|
Interchange Format for Hybrid Systems: Abstract Semantics
|
|
Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto Sangiovanni-Vincentelli |
|
Laplacian Sheep: A Hybrid, Stop-Go Policy for Leader-Based Containment Control
|
|
G. Ferrari-Trecate, M. Egerstedt, A. Buffa, and M. Ji |
|
Observability of Hybrid Automata by Abstraction
|
|
A. D'Innocenzo, M.D. Di Benedetto, S. Di Gennaro |
|
On the Stability of Zeno Equilibria
|
|
Aaron D. Ames, Paulo Tabuada and Shankar Sastry |
|
Optimal Control of Piece-wise Polynomial Hybrid Systems Using Cylindrical Algebraic Decomposition
|
|
Ioannis A. Fotiou, A. Giovanni Beccuti, Georgios Papafotiou, and Manfred Morari |
|
Optimality Zone Algorithms for Hybrid Systems: Efficient Algorithms for Optimal Location and Control Computation
|
|
Peter E. Caines M. Shahid Shaikh |
|
Output-Based Optimal Timing Control of Switched Systems
|
|
Shun-ichi Azuma, Magnus Egerstedt, Yorai Wardi |
|
R-Charon, a Modeling Language for Reconfigurable Hybrid Systems
|
|
Fabian Kratz, Oleg Sokolsky, George J. Pappas, and Insup Lee |
|
Reachability analysis for discrete time stochastic hybrid systems
|
|
Saurabh Amin, Alessandro Abate, Maria Prandini, John Lygeros, and Shankar Sastry |
|
Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes
|
|
Zhi Han and Bruce H. Krogh |
|
Reachability analysis of multi-affine systems
|
|
Marius Kloetzer and Calin Belta |
|
Reconstruction of switching thresholds in piecewise-affine models of genetic regulatory networks
|
|
Samuel Drulhe, Giancarlo Ferrari-Trecate, Hidde de Jong, Alain Viari |
|
Simultaneous Optimization of Continuous Control Inputs and Discrete State Waypoints
|
|
Jun-ichi Imura and Hiromichi Matsushima |
|
Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems
|
|
Jose Meseguer and Raman Sharykin |
|
Stability analysis of hybrid systems via small-gain theorems
|
|
Daniel Liberzon and Dragan Nesic |
|
Stochastic Hybrid Delay Population Dynamics
|
|
John Lygeros, Xuerong Mao, Chenggui Yuan |
|
The Reachability Problem for Uncertain Hybrid Systems Revisited: A Viability Theory Perspective
|
|
Yan Gao, John Lygeros and Marc Quincapoix |
|
Verification using Simulation
|
|
Antoine Girard and George J. Pappas |
|
Verifying Average Dwell Time by Solving Optimization Problems
|
|
Sayan Mitra, Nancy Lynch, and Daniel Liberzon |
|
Weak formulation of hybrid boundary conditions for scalar conservation laws: an application to highway modeling
|
|
Issam Strub and Alexandre Bayen |
|