Minimal invariant subspaces and reachability of 2D hybrid LTI systems (original) (raw)
Related papers
Reachability, Observability and Minimality for a Class of 2D Continuous-Discrete Systems
2007
Reachability computation for linear hybrid systems
Gerardo Lafferriere, George Pappas
1999
A Computatuional Analysis of the Reachability Problem for a Class of Hybrid Dynamical Systems
1996
2010
Observability and Geometric Approach of 2D Hybrid Systems
International Journal of Computers, 2021
A Computational Analysis of the Reachability Problem for a Class of Hybrid Dynamical Systems
1997
Controllability and Gramians of 2D Continuous Time Linear Systems
2020
An improved reachability analysis method for strongly linear hybrid systems (extended abstract)
Springer eBooks, 1997
Reachability analysis of complex planar hybrid systems
Science of Computer Programming, 2013
Low dimensional hybrid systems – decidable, undecidable, donʼt know
Information and Computation, 2012
Geometric approach to a class of multidimensional hybrid systems
2012
Minimal realization algorithm for multidimensional hybrid systems
2009
A Sufficient and Controllability Necessary Condition for the of Linear Hybrid Systems
On the geometric properties of reachable and controllable sets for linear discrete systems
Journal of optimization theory and applications, 2004
Stabilizability based state space reductions for hybrid systems
2006
Algorithmic analysis of polygonal hybrid systems, part I: Reachability
Theoretical Computer Science, 2007
Static analysis of SPDIs for state-space reduction
2006
Reachability Analysis of Linear Hybrid Systems via Block Decomposition
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020
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
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 New Class of Decidable Hybrid Systems
Lecture Notes in Computer Science, 1999
Semidecidable controller synthesis for classes of linear hybrid systems
2002
A study of the observability of multidimensional hybrid linear systems
WSEAS Transactions on Systems and Control archive, 2008
Improving Polygonal Hybrid Systems Reachability Analysis through the use of the Phase Portrait
2015 54th IEEE Conference on Decision and Control (CDC), 2015
Approximate Computation of Reach Sets in Hybrid Systems
Eprint Arxiv Cs 0202006, 2002
Reachability properties of constrained linear systems
Journal of Optimization Theory and Applications, 1992
Theory and computation of discrete state space decompositions for hybrid systems
Maria Domenica (Marika) Di Benedetto
2013
Decidable Controller Synthesis for Classes of Linear Systems
Lecture Notes in Computer Science, 2000
Global reachability of 2D structured systems
Necessary and sufficient condition for the controllability of switching linear hybrid systems
Automatica, 2004
Reachability analysis of switched linear discrete singular systems
Journal of Control Theory and Applications, 2006
A New Algorithm for Reachability Analysis of Hybrid Automata
Electronic Notes in Theoretical Computer Science, 2007