Semidecidable controller synthesis for classes of linear hybrid systems (original) (raw)
Related papers
Decidable Controller Synthesis for Classes of Linear Systems
Lecture Notes in Computer Science, 2000
Decidable and semi-decidable controller synthesis for classes of discrete time hybrid systems
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228), 2001
A Computatuional Analysis of the Reachability Problem for a Class of Hybrid Dynamical Systems
1996
A Computational Analysis of the Reachability Problem for a Class of Hybrid Dynamical Systems
1997
Semi-decidable Synthesis for Triangular Hybrid Systems
2001
A Sufficient and Controllability Necessary Condition for the of Linear Hybrid Systems
Reachability computation for linear hybrid systems
Gerardo Lafferriere, George Pappas
1999
A Unified Approach for Controllability Analysis of Hybrid Control Systems
IFAC Proceedings Volumes, 2000
A unified approach to controllability analysis for hybrid control systems
Nonlinear Analysis: Hybrid Systems, 2007
Controllability and falsification of hybrid systems
2009 European Control Conference, 2009
An improved reachability analysis method for strongly linear hybrid systems (extended abstract)
Springer eBooks, 1997
On the controllability of hybrid control systems
Proceedings of 32nd IEEE Conference on Decision and Control, 1993
A New Class of Decidable Hybrid Systems
Lecture Notes in Computer Science, 1999
Safety and reachability of piecewise linear hybrid dynamical systems based on discrete abstractions
2003
Controller synthesis for hybrid systems with lower bounds on event separation
2003
Constraints for Continuous Reachability in the Verification of Hybrid Systems
Lecture Notes in Computer Science, 2006
Global controllability tests for geometric hybrid control systems
Nonlinear Analysis: Hybrid Systems, 2020
Using abstractions for the verification of linear hybrid systems
Lecture Notes in Computer Science, 1994
Finite abstractions for hybrid systems with stable continuous dynamics
Discrete Event Dynamic Systems, 2012
Safe & Robust Reachability Analysis of Hybrid Systems
2017
Controller synthesis for hybrid systems with a lower bound on event separation
International Journal of Control, 2003
Geometric and algorithmic techiques for design and verification of hybrid control systems
2001
Semi-de1cidable Synthesis for Triangular Hybrid Systems
Lecture Notes in Computer Science, 2001
Conic Abstractions for Hybrid Systems
Lecture Notes in Computer Science, 2017
Algorithmic analysis of polygonal hybrid systems, part I: Reachability
Theoretical Computer Science, 2007
Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction
2003
The algorithmic analysis of hybrid systems
Reachability Analysis of Hybrid Systems via Predicate Abstraction
2002