%0 Conference Paper %F Oral %T Algorithms for Symbolic/Numeric Control of Affine Dynamical Systems * %+ Laboratoire de Modélisation et Calcul (LMC - IMAG) %A Dumas, Jean-Guillaume %A Rondepierre, Aude %< avec comité de lecture %B International Symposium on Symbolic and Algebraic Computation (ISSAC) %C Beijing, China %I ACM Press %8 2005-07-24 %D 2005 %R 10.1145/1073884.1073923 %K Affine Optimal control %K Algorithms %K Controllability %K Canonical transformation %Z Mathematics [math]/Optimization and Control [math.OC]Conference papers %X 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. %G English %L hal-01807149 %U https://univ-tlse2.hal.science/hal-01807149 %~ UNIV-TLSE2 %~ UGA %~ CNRS %~ UNIV-GRENOBLE1 %~ INPG %~ INSMI %~ TDS-MACS %~ LMC-IMAG