A unified framework for hybrid control: Model and optimal control theory

IEEE Transactions on Automatic Control

Volumn 43, Issue 1, 1998, Pages 31-45

  Branicky, Michael S ^a,d   Borkar, Vivek S ^b,d   Mitter, Sanjoy K ^c  

^a Case Western Reserve University   (United States)

^b INDIAN INSTITUTE OF SCIENCE   (India)

^c MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^d IEEE   (United States)

Author keywords

Automata; Control systems; Differential equations; Dynamic programming; Hierarchical systems; Hybrid systems; Optimal control; State space methods

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; CONTROL SYSTEM SYNTHESIS; DIFFERENTIAL EQUATIONS; DYNAMIC PROGRAMMING; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING; STATE SPACE METHODS;

BELLMAN EQUATION; HYBRID CONTROL SYSTEM; IMPULSE CONTROL;

OPTIMAL CONTROL SYSTEMS;

EID: 0031701911     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.654885     Document Type: Article

References (47)

1. M. S. Branicky, "Studies in hybrid systems: Modeling, analysis, and control," Ph.D. dissertation, Dept. Elec. Eng. and Computer Sci., Massachusetts Inst. Technol., Cambridge, June 1995.
2. A. Gollu and P. P. Varaiya, "Hybrid dynamical systems," in Proc. IEEE Conf. Decision Contr., Tampa, FL, Dec. 1989, pp. 2708-2712.
3. R. W. Brockett, "Hybrid models for motion control systems," in Essays in Control, H. Trentelman and J. C. Willems, Eds. Boston, MA: Birkhäuser, 1993, pp. 29-53.
4. A. Back, J. Guckenheimer, and M. Myers, "A dynamical simulation facility for hybrid systems," in Hybrid Systems, Lecture Notes in Computer Science, vol. 736, R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds. New York: Springer, 1993, pp. 255-267.
5. P. P. Varaiya, "Smart cars on smart roads: Problems of control," IEEE Trans. Automat. Contr., vol. 38, pp. 195-207, Feb. 1993.
6. C. S. Hynes, G. Meyer, E. A. Palmer III, and G. H. Hardy, "Vehicle management for the high speed civil transport," NASA Ames Res. Center, Tech. Rep., 1993, extended abstract.
7. C. S. Hsu, Cell-to-Cell Mapping. New York: Springer, 1987.
8. S. Di Gennaro, C. Horn, S. R. Kulkarni, and P. J. Ramadge, "Reduction of timed hybrid systems," in Proc. IEEE Conf. Decision Contr., Lake Buena Vista, FL, Dec. 1994, pp. 4215-4220.
9. M. S. Branicky, "Universal computation and other capabilities of hybrid and continuous dynamical systems," Theoretical Computer Science, vol. 138, no. 1, pp. 67-100, 1995.
10. A. Bensoussan and J.-L. Lions, Impulse Control and Quasi-Variational Inequalities. Paris: Gauthier-Villars, 1984.
11. S. K. Mitter and V. S. Borkar, "6.291; Special topics: Optimal control," Course Notes, Dept. Elec. Eng. Computer Sci., Massachusetts Inst. Technol., Cambridge, Fall 1993.
12. M. S. Branicky, V. Borkar, and S. K. Mitter, "A unified framework for hybrid control," Laboratory for Information and Decision Systems, Massachusetts Inst. Technol., Cambridge, Tech. Rep. LIDS-P-2239, Apr. 1994.
13. _, "A unified framework for hybrid control," in Proc. 11th INRIA Int. Conf. Anal. Optim. Syst., Lecture Notes in Control and Information Sciences, vol. 199, G. Cohen and J.-P. Quadrat, Eds. New York: Springer, 1994, pp. 352-358.
14. _, "A unified framework for hybrid control," in Proc. IEEE Conf. Decision Contr., Lake Buena Vista, FL, Dec. 1994, pp. 4228-4234.
15. H. S. Witsenhausen, "A class of hybrid-state continuous-time dynamic systems," IEEE Trans. Automat. Contr., vol. 11, pp. 161-167, Feb. 1966.
16. L. Tavernini, "Differential automata and their discrete simulators," Nonlinear Anal., Theory, Methods, Appl., vol. 11, no. 6, pp. 665-683, 1987.
17. A. Nerode and W. Kohn, "Models for hybrid systems: Automata, topologies, stability," in Hybrid Systems, Lecture Notes in Computer Science, vol. 736, R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds. New York: Springer, 1993, pp. 317-356.
18. O. L. V. Costa, "Impulse control of piecewise-deterministic processes via linear programming," IEEE Trans. Automat. Contr., vol. 36, pp. 371-375, Mar. 1991.
19. O. L. V. Costa and M. H. A. Davis, "Impulse control of piecewise deterministic processes," Math. Contr. Signals Syst., vol. 2, pp. 187-206, 1989.
20. M. H. A. Davis, Markov Models and Optimization. London, U.K.: Chapman and Hall, 1993.
21. J. Zabczyk, "Optimal control by means of switching," Studia Mathematica, vol. 65, pp. 161-171, 1973.
22. J. Yong, "Systems governed by ordinary differential equations with continuous, switching and impulse controls," Appl. Math. Optim., vol. 20, pp. 223-235, 1989.
23. J. Lu, L. Liao, A. Nerode, and J. H. Taylor, "Optimal control of systems with continuous and discrete states," in Proc. IEEE Conf. Decision Contr., San Antonio, TX, Dec. 1993, pp. 2292-2297.
24. X. Ge, W. Kohn, and A. Nerode, "Algorithms for chattering approximations to relaxed optimal controls," Math. Sci. Inst., Cornell Univ., Tech. Rep. 94-23, Apr. 1994.
25. A. Deshpande and P. Varaiya, "Viable control of hybrid systems," in Hybrid Systems II, Lecture Notes in Computer Science, P. Anstaklis, W. Kohn, A. Nerode, and S. Sastry, Eds. New York: Springer, 1995.
26. W. Kohn, A. Nerode, J. Remmel, and A. Yaknis, "Viability in hybrid systems," Theoretical Computer Sci., vol. 138, no. 1, 1995.
27. D. D. Bainov and P. S. Simeonov, Systems with Impulse Effect. Chichester, U.K.: Ellis Horwood, 1989.
28. P. J. Antsaklis, J. A. Stiver, and M. D. Lemmon, "Hybrid system modeling and autonomous control systems," in Hybrid Systems, vol. 736, Lecture Notes in Computer Science, R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds. New York: Springer, 1993, pp. 366-392.
29. V. I. Arnold, Ordinary Differential Equations. Cambridge, MA: MIT Press, 1973.
30. J. Guckenheimer and P. Holmes, Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields, 3rd printing. New York: Springer, 1990.
31. M. W. Hirsch and S. Smale, Differential Equations, Dynamical Systems, and Linear Algebra. San Diego, CA: Academic, 1974.
32. D. G. Luenberger, Introduction to Dynamic Systems. New York: Wiley, 1979.
33. L. Padulo and M. A. Arbib, System Theory. Philadelphia, PA: W. B. Saunders, 1974.
34. E. D. Sontag, Mathematical Control Theory. New York: Springer, 1990.
35. D. Harel, "Statecharts: A visual formalism for complex systems," Sci. Computer Programming, vol. 8, pp. 231-274, 1987.
36. R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds, Hybrid Systems, Lecture Notes in Computer Science, vol. 736. New York: Springer, 1993.
37. L. Blum, M. Shub, and S. Smale, "On a theory of computation and complexity over the real numbers," Bull. Amer. Math. Soc., vol. 21, pp. 1-46, July 1989.
38. G. Meyer, "Design of flight vehicle management systems," in Proc. IEEE Conf. Decision Contr., Lake Buena Vista, FL, Plenary lecture, Dec. 1994.
39. A. Deshpande, "Control of hybrid systems," Ph.D. dissertation, Univ. California, Berkeley, 1994.
40. J. G. Hocking and G. S. Young, Topology. New York: Dover, 1988.
41. L. C. Young, Lectures on the Calculus of Variations and Optimal Control Theory, 2nd ed. New York: Chelsea, 1980.
42. M. G. Crandall, H. Ishii, and P.-L. Lions, "User's guide to viscosity solutions of second order partial differential equations," Bull. Amer. Math. Soc., vol. 27, no. 1, pp. 1-67, 1992.
43. R. W. Brockett, "Smooth multimode control systems," in Berkeley-Ames Conf. Nonlinear Problems Contr. Fluid Dynamics, C. Martin, Ed. Brookline, MA: Math.-Sci., 1983, pp. 103-110.
44. M. S. Branicky and S. K. Mitter, "Algorithms for optimal hybrid control," in Proc. IEEE Conf. Decision Contr., New Orleans, LA, Dec. 1995, pp. 2661-2666.
45. P. E. Caines and Y.-J. Wei, "The hierarchical lattices of a finite machine," Syst. Contr. Lett., vol. 25, no. 4, pp. 257-263, 1995.
46. J. R. Munkres, Topology. Englewood Cliffs, NJ: Prentice-Hall, 1975.
47. P. Billingsley, Convergence of Probability Measures. New York: Wiley, 1968.