Global controllability tests for geometric hybrid control systems (original) (raw)
Related papers
A Unified Approach for Controllability Analysis of Hybrid Control Systems
IFAC Proceedings Volumes, 2000
A Sufficient and Controllability Necessary Condition for the of Linear Hybrid Systems
Geometric approach to a class of multidimensional hybrid systems
2012
On the controllability of hybrid control systems
Proceedings of 32nd IEEE Conference on Decision and Control, 1993
Necessary and sufficient condition for the controllability of switching linear hybrid systems
Automatica, 2004
An algebraic approach towards the controllability of controlled switching linear hybrid systems
Automatica, 2002
A Computatuional Analysis of the Reachability Problem for a Class of Hybrid Dynamical Systems
1996
Modeling and controllability for a class of hybrid mechanical systems
2002
A Computational Analysis of the Reachability Problem for a Class of Hybrid Dynamical Systems
1997
Reachability analysis of complex planar hybrid systems
Science of Computer Programming, 2013
Algorithmic analysis of polygonal hybrid systems, part I: Reachability
Theoretical Computer Science, 2007
Controllability and falsification of hybrid systems
2009 European Control Conference, 2009
A sufficient and necessary condition for the controllability of linear hybrid systems
Proceedings of the 2003 IEEE International Symposium on Intelligent Control ISIC-03, 2003
Semidecidable controller synthesis for classes of linear hybrid systems
2002
A Probabilistic Approach to Controllability/Reachability Analysis of Hybrid Systems
Local analysis of hybrid systems on polyhedral sets with state-dependent switching
International Journal of Applied Mathematics and Computer Science, 2014
Perspectives and results on the stability and stabilizability of hybrid systems
Proceedings of the IEEE, 2000
A unified approach to controllability analysis for hybrid control systems
Nonlinear Analysis: Hybrid Systems, 2007
Target control for hybrid systems with linear continuous dynamics
Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228)
2003
Geometric and algorithmic techiques for design and verification of hybrid control systems
2001
Reachability computation for linear hybrid systems
Gerardo Lafferriere, George Pappas
1999
An improved reachability analysis method for strongly linear hybrid systems (extended abstract)
Springer eBooks, 1997
Stability of switched and hybrid systems
Proceedings of 1994 33rd IEEE Conference on Decision and Control
Safety and reachability of piecewise linear hybrid dynamical systems based on discrete abstractions
2003
2019
Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools
Theoretical Computer Science, 2008
On a Class of General Hybrid Dynamical Systems
IFAC Proceedings Volumes, 1996
Trajectory-based controller design for hybrid systems with affine continuous dynamics
2010 IEEE International Conference on Automation Science and Engineering, 2010
A Comprehensive Method for Reachability Analysis of Uncertain Nonlinear Hybrid Systems
IEEE Transactions on Automatic Control, 2016
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2020
Analysis and synthesis of linear hybrid systems with state-triggered jumps
Nonlinear Analysis: Hybrid Systems, 2014
Proceedings of 32nd IEEE Conference on Decision and Control
On the Zero-Dynamics of a Class of Hybrid LTI Systems: A Geometric Approach
IEEE Control Systems Letters, 2019
An algorithmic approach to global asymptotic stability verification of hybrid systems
Proceedings of the 13th International Conference on Embedded Software