Access the full text.
Sign up today, get DeepDyve free for 14 days.
H. Wong-Toi (1997)
The synthesis of controllers for linear hybrid automataProceedings of the 36th IEEE Conference on Decision and Control, 5
R. Alur, T. Henzinger, Pei-Hsin Ho (1993)
Automatic symbolic verification of embedded systems1993 Proceedings Real-Time Systems Symposium
H. Verge (1994)
A Note on Chernikova's Algorithm
M. Benerecetti, M. Faella, Stefano Minopoli (2011)
Towards Efficient Exact Synthesis for Linear Hybrid Systems
M. Benerecetti, M. Faella, Stefano Minopoli (2012)
Reachability games for linear hybrid systems
E. Asarin, Olivier Bournez, T. Dang, O. Maler, A. Pnueli (2000)
Effective synthesis of switching controllers for linear systemsProceedings of the IEEE, 88
A. Schrijver (1986)
Theory of linear and integer programming
E. Asarin, T. Dang, O. Maler (2002)
The d/dt Tool for Verification of Hybrid Systems
O. Maler (2001)
Control from computer scienceAnnu. Rev. Control., 26
T. Henzinger, Benjamin Horowitz, R. Majumdar (1999)
Rectangular Hybrid Games
R. Deshpande, D. Musliner, J. Tierno, R. Goldman (2001)
Modifying HYTECH to automatically synthesize hybrid controllersProceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228), 2
L. Alfaro, M. Faella, T. Henzinger, R. Majumdar, Marielle Stoelinga (2003)
The Element of Surprise in Timed Games
M. Minsky (1967)
Computation: Finite and Infinite Machines
W. Heemels, D. Lehmann, J. Lunze, De Schutter (2009)
Introduction to hybrid systems
N. Halbwachs, Yann-Erick Proy, P. Roumanoff (1997)
Verification of Real-Time Systems using Linear Relation AnalysisFormal Methods in System Design, 11
T. Henzinger (1996)
The theory of hybrid automataProceedings 11th Annual IEEE Symposium on Logic in Computer Science
Zhiyun Lin, M. Broucke (2006)
Resolving Control to Facet Problems for Affine Hypersurface Systems on SimplicesProceedings of the 45th IEEE Conference on Decision and Control
M. Benerecetti, M. Faella, Stefano Minopoli (2011)
Revisiting synthesis of switching controllers for Linear Hybrid systemsIEEE Conference on Decision and Control and European Control Conference
P. Bouyer, Thomas Brihaye, Fabrice Chevalier (2009)
O-Minimal Hybrid Reachability GamesLog. Methods Comput. Sci., 6
M. Benerecetti, M. Faella (2013)
Tracking differentiable trajectories across polyhedra boundaries
Goran Frehse (2005)
PHAVer: algorithmic verification of hybrid systems past HyTechInternational Journal on Software Tools for Technology Transfer, 10
T. Henzinger, P. Kopke, A. Puri, P. Varaiya (1995)
What's decidable about hybrid automata?J. Comput. Syst. Sci., 57
T. Henzinger, P. Kopke, A. Puri, P. Varaiya (1995)
What ' s Decidable about Hybrid Automata ? 1
Goran Frehse, C. Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, A. Girard, T. Dang, O. Maler (2011)
SpaceEx: Scalable Verification of Hybrid Systems
T. Henzinger, Pei-Hsin Ho, H. Wong-Toi (1997)
HYTECH: a model checker for hybrid systemsInternational Journal on Software Tools for Technology Transfer, 1
O. Maler, A. Pnueli, J. Sifakis (1995)
On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)
L. Habets, P. Collins, J. Schuppen (2006)
Reachability and control synthesis for piecewise-affine hybrid systems on simplicesIEEE Transactions on Automatic Control, 51
M. Benerecetti, M. Faella, Stefano Minopoli (2013)
Automatic synthesis of switching controllers for linear hybrid systems: Safety controlTheor. Comput. Sci., 493
A. Balluchi, L. Benvenuti, T. Villa, H. Wong-Toi, A. Sangiovanni-Vincentelli (2003)
Controller synthesis for hybrid systems with a lower bound on event separationInternational Journal of Control, 76
J. Lygeros, C. Tomlin, S. Sastry (1999)
Controllers for reachability specifications for hybrid systemsAutom., 35
Roberto Bagnara, P. Hill, E. Zaffanella (2006)
The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systemsSci. Comput. Program., 72
C. Tomlin, J. Lygeros, S. Sastry (2000)
A game theoretic approach to controller design for hybrid systemsProceedings of the IEEE, 88
P. Ramadge, W. Wonham (1987)
Supervisory control of a class of discrete event processesSiam Journal on Control and Optimization, 25
N. Chernikoba (1968)
Algorithm for discovering the set of all the solutions of a linear programming problemUssr Computational Mathematics and Mathematical Physics, 8
L. Alfaro, T. Henzinger, R. Majumdar (2001)
Symbolic Algorithms for Infinite-State Games
Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control MASSIMO BENERECETTI and MARCO FAELLA, University of Naples "Federico II," Italy We consider the problem of computing the controllable region of a Linear Hybrid Automaton with controllable and uncontrollable transitions, w.r.t. a reachability objective. We provide an algorithm for the finite-horizon version of the problem, based on computing the set of states that must reach a given non-convex polyhedron while avoiding another one, subject to a polyhedral constraint on the slope of the trajectory. Experimental results are presented, based on an implementation of the proposed algorithm on top of the tool SpaceEx. CCS Concepts: Theory of computation Timed and hybrid models; methodologies Computational control theory r r Computing Additional Key Words and Phrases: Hybrid automata, controller synthesis, reachability games ACM Reference Format: Massimo Benerecetti and Marco Faella. 2017. Automatic synthesis of switching controllers for linear hybrid systems: Reachability control. ACM Trans. Embed. Comput. Syst. 16, 4, Article 104 (May 2017), 27 pages. DOI: http://dx.doi.org/10.1145/3047500 1. INTRODUCTION Hybrid systems are a type of non-linear dynamic systems, characterized by the presence of continuous and discrete variables. Hybrid automata [Henzinger 1996] are the most common syntactic variety of hybrid system:
ACM Transactions on Embedded Computing Systems (TECS) – Association for Computing Machinery
Published: May 11, 2017
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.