State space and input-output linear systems
State space and input-output linear systems
Matrix computations (3rd ed.)
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Black box methods for least squares problems
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Finite field linear algebra subroutines
Proceedings of the 2002 international symposium on Symbolic and algebraic computation
FFPACK: finite field linear algebra package
ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation
Reachability analysis of nonlinear systems using conservative approximation
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Hi-index | 0.00 |
We consider a general linear dynamical system and want to control its behavior. The goal is to reach a given target by minimizing a cost function. We provide a new generic algorithm with together exact, symbolic and numerical modules. In particular new efficient methods computing a block Kalman canonical exact decomposition and the optimal solutions are presented. We also propose a new numerical algorithm under-approximating the controllable domain in view of its analytical resolution in the context of singular sub-arcs.