Theory of optimal control using bisimulations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1790, Issue , 2000, Pages 89-102

  Broucke, Mireille ^a   Di Benedetto, Maria Domenica ^a,b   Di Gennaro, Stefano ^b   Sangiovanni Vincentelli, Alberto ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; HYBRID SYSTEMS; OPTIMAL CONTROL SYSTEMS; PROGRAM TRANSLATORS;

ALGORITHMIC SOLUTIONS; DISCRETIZATION PARAMETERS; DYNAMIC PROGRAMMING PROBLEMS; HAMILTON JACOBI BELLMAN EQUATION; HYBRID AUTOMATONS; HYBRID OPTIMAL CONTROL; SYNTHESIS OF OPTIMAL CONTROL; VISCOSITY SOLUTIONS;

DYNAMIC PROGRAMMING;

EID: 84974691332     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46430-1_11     Document Type: Conference Paper

References (12)

1. M. Bardi and I. Capuzzo-Dolcetta. Optimal control and viscosity solutions of Hamilton-Jacobi-Bellman equations. Birkhäuser, Boston, 1997.
2. V.G. Boltyanskii. Sufficient conditions for optimality and the justification of the dynamic programming method. SIAM Journal of Control, 4, pp. 326-361, 1966.
3. M. Branicky, V. Borkar, S. Mitter. A unified framework for hybrid control: model and optimal control theory. IEEE Trans. AC, vol. 43, no. 1, pp. 31-45, January, 1998.
4. M. Broucke. A geometric approach to bisimulation and verification of hybrid systems. In Hybrid Systems: Computation and Control, F. Vaandrager and J. van Schuppen, eds., LNCS 1569, p. 61-75, Springer-Verlag, 1999.
5. I. Capuzzo Dolcetta and L.C. Evans. Optimal switching for ordinary differential equations. SIAM J. Control and Optimization, vol. 22, no. 1, pp. 143-161, January 1984.
6. M Crandall, P. Lions. Viscosity solutions of Hamilton-Jacobi equations. Trans. Amer. Math. Soc., vol. 277, no. 1, pp. 1-42, 1983.
7. W.H. Fleming, R.W. Rishel. Deterministic and stochastic optimal control. Springer-Verlag, New York, 1975.
8. O. Maler, A Pnueli, J. Sifakis. On the synthesis of discrete controllers for timed systems. In Proc. STACS '95, E.W. Mayr and C. Puech, eds. LNCS 900, Springer-Verlag, p. 229-242, 1995.
9. J. Raisch. Controllability and observability of simple hybrid control systems-FDLTI plants with symbolic measurements and quantized control inputs. International Conference on Control '94, IEE, vol. 1, pp. 595-600, 1994.
10. J. Stiver, P. Antsaklis, M. Lemmon. A logical DES approach to the design of hybrid control systems. Mathemtical and computer modelling. vol. 23, no. 11-1, pp. 55-76, June, 1996.
11. H.S. Witsenhausen. A class of hybrid-state continuous-time dynamic systems. IEEE Trans. AC, vol. 11, no. 2, pp. 161-167, April, 1966.
12. H. Wong-Toi. The synthesis of controllers for linear hybrid automata. In Proc. 36th IEEE Conference on Decision and Control, pp. 4607-4612, 1997.