844 search results - page 2 / 169 » Reachability in Linear Dynamical Systems |
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
— We present a method for complexity reduction in reachability analysis and controller synthesis via a Schur-based decomposition for LTI systems. The decomposition yields either ...
CONCUR
2005
Springer
13 years 11 months ago
2005
Springer
We introduce two abstract models for multithreaded programs based on dynamic networks of pushdown systems. We address the problem of symbolic reachability analysis for these models...
CDC
2008
IEEE
14 years 21 days ago
2008
IEEE
— Given an initial set of a nonlinear system with uncertain parameters and inputs, the set of states that can possibly be reached is computed. The approach is based on local line...
CDC
2008
IEEE
14 years 21 days ago
2008
IEEE
— This paper addresses the computational overhead involved in probabilistic reachability computations for a general class of controlled stochastic hybrid systems. An approximate ...
AUTOMATICA
2002
13 years 6 months ago
2002
This paper investigates the controllability and reachability of switched linear control systems. It is proven that both the controllable and reachable sets are subspaces of the to...