Symbolic approximate time-optimal control

There is an increasing demand for controller design techniques capable of addressing the complex requirements of todays embedded applications. This demand has sparked the interest in symbolic control where lower complexity models of control systems are used to cater for complex specifications given by temporal logics, regular languages, or automata. These specification mechanisms can be regarded as qualitative since they divide the trajectories of the plant into bad trajectories (those that need to be avoided) and good trajectories. However, many applications require also the optimization of quantitative measures of the trajectories retained by the controller, as specified by a cost or utility function. As a first step towards the synthesis of controllers reconciling both qualitative and quantitative specifications, we investigate in this paper the use of symbolic models for time-optimal controller synthesis. We consider systems related by approximate (alternating) simulation relations and show how such relations enable the transfer of time-optimality information between the systems. We then use this insight to synthesize approximately time-optimal controllers for a control system by working with a lower complexity symbolic model. The resulting approximately time-optimal controllers are equipped with upper and lower bounds for the time to reach a target, describing the quality of the controller. The results described in this paper were implemented in the Matlab Toolbox Pessoa which we used to workout several illustrative examples reported in this paper.

[1]  Magnus Egerstedt,et al.  Special Section on Symbolic Methods for Complex Control Systems , 2006 .

[2]  Samuel D. Johnson.  Branching programs and binary decision diagrams: theory and applications by Ingo Wegener society for industrial and applied mathematics, 2000 408 pages , 2010, SIGA.

[3]  Paulo Tabuada,et al.  Approximately bisimilar symbolic models for nonlinear control systems , 2007, Autom..

[4]  Orna Kupferman,et al.  Model Checking of Safety Properties , 1999, CAV.

[5]  Clifford Stein,et al.  Introduction to Algorithms, 2nd edition. , 2001 .

[6]  Ricardo G. Sanfelice,et al.  Optimal control of Mixed Logical Dynamical systems with Linear Temporal Logic specifications , 2008, 2008 47th IEEE Conference on Decision and Control.

[7]  Paulo Tabuada,et al.  Verification and Control of Hybrid Systems - A Symbolic Approach , 2009 .

[8]  Manuel Mazo,et al.  PESSOA: A Tool for Embedded Controller Synthesis , 2010, CAV.

[9]  Alberto Bemporad,et al.  Logic-based solution methods for optimal control of hybrid systems , 2006, IEEE Transactions on Automatic Control.

[10]  Manuel Mazo,et al.  Symbolic Models for Nonlinear Control Systems Without Stability Assumptions , 2010, IEEE Transactions on Automatic Control.

[11]  Lars Grüne,et al.  Set Oriented Construction of Globally Optimal ControllersMengenorientierte Konstruktion global optimaler Regler , 2009, Autom..

[12]  Orna Kupferman,et al.  On the Construction of Fine Automata for Safety Properties , 2006, ATVA.

[13]  Luciano Lavagno,et al.  Synthesis of Software Programs for Embedded Control Applications , 1999, 32nd Design Automation Conference.

[14]  E. Blum,et al.  The Mathematical Theory of Optimal Processes. , 1963 .

[15]  Wieslaw Zielonka,et al.  Infinite Games on Finitely Coloured Graphs with Applications to Automata on Infinite Trees , 1998, Theor. Comput. Sci..

[16]  R Bellman,et al.  On the Theory of Dynamic Programming. , 1952, Proceedings of the National Academy of Sciences of the United States of America.

[17]  Amir Pnueli,et al.  Specify, Compile, Run: Hardware from PSL , 2007, COCV@ETAPS.

[18]  John Canny,et al.  The complexity of robot motion planning , 1988 .

[19]  Krishnendu Chatterjee,et al.  Better Quality in Synthesis through Quantitative Objectives , 2009, CAV.

[20]  Tamer Basar,et al.  Optimal Regulation Processes , 2001 .

[21]  Alberto L. Sangiovanni-Vincentelli,et al.  Efficient Solution of Optimal Control Problems Using Hybrid Systems , 2005, SIAM J. Control. Optim..

[22]  L. S. Pontryagin,et al.  Mathematical Theory of Optimal Processes , 1962 .

[23]  Ronald L. Rivest,et al.  Introduction to Algorithms , 1990 .

[24]  Ingo Wegener,et al.  Branching Programs and Binary Decision Diagrams , 1987 .

[25]  George J. Pappas,et al.  Hierarchical control system design using approximate simulation , 2001 .

[26]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.