Approximate time-optimal control via approximate alternating simulations
暂无分享,去创建一个
P Tabuada | M Mazo | P. Tabuada | M. Mazo
[1] Luciano Lavagno,et al. Synthesis of Software Programs for Embedded Control Applications , 1999, 32nd Design Automation Conference.
[2] Paulo Tabuada,et al. Verification and Control of Hybrid Systems - A Symbolic Approach , 2009 .
[3] P. Tabuada,et al. Symbolic approximate time-optimal control , 2010, Syst. Control. Lett..
[4] Paulo Tabuada,et al. PESSOA : A tool for embedded control software synthesis , 2009 .
[5] Magnus Egerstedt,et al. Special Section on Symbolic Methods for Complex Control Systems , 2006 .
[6] George J. Pappas,et al. Hierarchical control system design using approximate simulation , 2001 .
[7] Alberto Bemporad,et al. Logic-based solution methods for optimal control of hybrid systems , 2006, IEEE Transactions on Automatic Control.
[8] Manuel Mazo,et al. Symbolic Models for Nonlinear Control Systems Without Stability Assumptions , 2010, IEEE Transactions on Automatic Control.
[9] P. B. Coaker,et al. Applied Dynamic Programming , 1964 .
[10] Alberto L. Sangiovanni-Vincentelli,et al. Theory of Optimal Control Using Bisimulations , 2000, HSCC.
[11] Paulo Tabuada,et al. Approximately bisimilar symbolic models for nonlinear control systems , 2007, Autom..
[12] Krishnendu Chatterjee,et al. Better Quality in Synthesis through Quantitative Objectives , 2009, CAV.
[13] Lars Grüne,et al. Set Oriented Construction of Globally Optimal ControllersMengenorientierte Konstruktion global optimaler Regler , 2009, Autom..
[14] 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.
[15] Amir Pnueli,et al. Specify, Compile, Run: Hardware from PSL , 2007, COCV@ETAPS.
[16] I. Wegener. Branching Programs and Binary Deci-sion Diagrams-Theory and Applications , 1987 .
[17] Manuel Mazo,et al. PESSOA: A Tool for Embedded Controller Synthesis , 2010, CAV.
[18] E. Blum,et al. The Mathematical Theory of Optimal Processes. , 1963 .
[19] L. S. Pontryagin,et al. Mathematical Theory of Optimal Processes , 1962 .