Synthesis of optimal switching logic for hybrid systems

Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th ACM International Conference on Embedded Software, EMSOFT'11

Volumn , Issue , 2011, Pages 107-116

  Jha, Susmit ^a   Seshia, Sanjit A ^a   Tiwari, Ashish ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b SRI INTERNATIONAL   (United States)

Author keywords

Algorithmic learning; Hybrid systems; Numerical optimization; Switching logic synthesis

Indexed keywords

ALGORITHMIC LEARNING; INITIAL STATE; LONG-RUN BEHAVIOR; MULTI-MODAL; NUMERICAL OPTIMIZATIONS; OPTIMAL SWITCHING; QUANTITATIVE MEASURES; REWARD AND PENALTY; SWITCHING LOGIC SYNTHESIS; SYNTHESIS PROBLEMS; SYSTEM MODE;

ALGORITHMS; EMBEDDED SOFTWARE; HYBRID COMPUTERS; HYBRID SYSTEMS; OPTIMIZATION; PROBLEM SOLVING; SPECIFICATIONS; SWITCHING;

EMBEDDED SYSTEMS;

EID: 80455129107     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2038642.2038660     Document Type: Conference Paper

References (33)

1. E. Asarin, O. Bournez, T. Dang, O. Maler, and A. Pnueli. Effective synthesis of switching controllers for linear systems. Proc. of the IEEE, 88(7):1011-1025, 2000.
2. H. Axelsson, Y. Wardi, M. Egerstedt, and E. Verriest. Gradient descent approach to optimal mode scheduling in hybrid dynamical systems. J. Optimization Theory and Applications, 136(2):167-186, 2008.
3. H. Axelsson, Y. Wardi, M. Egerstedt, and E. Verriest. Gradient descent approach to optimal mode scheduling in hybrid dynamical systems. Journal of Optimization Theory and Applications, 136:167-186, 2008.
4. A. Blumer, A. Ehrenfeucht, D. Haussler, and M. K. Warmuth. Learnability and the vapnik-chervonenkis dimension. J. ACM, 36(4):929-965, 1989. (Pubitemid 20613338)
5. J. Bonnans, J. Gilbert, C. Lemaréchal, and C. Sagastizábal. Numerical Optimization - Theoretical and Practical Aspects, Second Edition. 2006.
6. M. Branicky, V. Borkar, and S. Mitter. A unified framework for hybrid control: Model and optimal control theory. IEEE Trans. on Aut. Cntrl., 43(1):31-45, 1998. (Pubitemid 128743101)
7. F. Cassez, J. J. Jessen, K. G. Larsen, J.-F. Raskin, and P.-A. Reynier. Automatic synthesis of robust and optimal controllers - an industrial case study. In HSCC, pages 90-104, 2009.
8. K. Chatterjee. Markov decision processes with multiple long-run average objectives. In FSTTCS, pages 473-484, 2007.
9. K. Chatterjee, R. Majumdar, and T. A. Henzinger. Controller synthesis with budget constraints. In HSCC, pages 72-86, 2008.
10. J. Cury, B. Brogh, and T. Niinomi. Supervisory controllers for hybrid systems based on approximating automata. IEEE Trans. Aut. Cntrl., 43:564-568, 1998. (Pubitemid 128737380)
11. Y. Freund and R. E. Schapire. Large Margin Classification Using the Perceptron Algorithm. In Machine Learning, pages 277-296, 1998.
12. H. González, R. Vasudevan, M. Kamgarpour, S. Sastry, R. Bajcsy, and C. Tomlin. A numerical method for the optimal control of switched systems. In CDC, pages 7519-7526, 2010.
13. H. Gonzalez, R. Vasudevan, M. Kamgarpour, S. S. Sastry, R. Bajcsy, and C. J. Tomlin. A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems. In HSCC, pages 51-60, 2010.
14. P. M. Gruber and J. M. Wills, editors. Handbook of Convex Geometry : Two-Volume Set. North Holland, 1993.
15. P. Gupta and A. Patra. Super-stable energy based switching control scheme for dc-dc buck converter circuits. In ISCAS (4), pages 3063-3066, 2005.
16. S. Jha, S. Gulwani, S. Seshia, and A. Tiwari. Synthesizing switching logic for safety and dwell-time requirements. In ICCPS, pages 22-31, 2010.
17. S. Jha, S. A. Seshia, and A. Tiwari. Full version: Synthesizing switching logic to minimize long-run cost. http://eecs.berkeley.edu/~jha/optSLsynth.pdf.
18. R. Karp. A characterization of the minimum cycle mean in a digraph. Dis. Math., pages 309-311, 1978.
19. T. Koo and S. Sastry. Mode switching synthesis for reachability specification. In Proc. HSCC 2001, LNCS 2034, pages 333-346, 2001. (Pubitemid 33256428)
20. A. Kucera and O. Strazovsky. On the controller synthesis for finite-state markov decision processes. Fundamenta Informaticae, 82(1-2):141-153, 2008.
21. J. C. Lagarias, J. A. Reeds, M. H. Wright, and P. E. Wright. Convergence properties of the nelder-mead simplex method in low dimensions. SIAM Journal of Optimization, 9:112-147, 1998.
22. P. Manon and C. Valentin-Roubinet. Controller synthesis for hybrid systems with linear vector fields. In Proc. IEEE Intl. Symp. on Intelligent Control, pages 17-22, 1999. (Pubitemid 30502064)
23. MathWorks. Minimum of unconstrained multivariable function using derivative-free method. http://www.mathworks.com/help/techdoc/ref/fminsearch. html.
24. MathWorks. Solve initial value problems for ordinary differential equations. http://www.mathworks.com/help/techdoc/ref/ode23.html.
25. T. Moor and J. Raisch. Discrete control of switched linear systems. In ECC'99, 1999.
26. J. A. Nelder and R. Mead. A simplex method for function minimization. The Computer Journal, 7(4):308-313, January 1965.
27. J. I. Rasmussen, K. G. Larsen, and K. Subramani. On using priced timed automata to achieve optimal scheduling. FMSD, 29:97-114, July 2006. (Pubitemid 44075775)
28. M. Shaikh and P. Caines. On the optimal control of hybrid systems: Optimization of trajectories, switching times, and location schedules. In HSCC, 2003.
29. P. Tabuada. Controller synthesis for bisimulation equivalence. Systems and Control Letters, 57(6):443-452, 2008. (Pubitemid 351509639)
30. A. Taly and A. Tiwari. Switching logic synthesis for reachability. In EMSOFT, pages 19-28, 2010.
31. C. Tomlin, L. Lygeros, and S. Sastry. A game-theoretic approach to controller design for hybrid systems. Proc. of the IEEE, 88(7):949-970, 2000.
32. L. G. Valiant. A theory of the learnable. Commun. ACM, 27(11):1134-1142, 1984.
33. X. Xu and P. Antsaklis. Optimal control of switched systems via nonlinear optimization based on direct differentiation of value functions. Intl. journal of control, 75(16):1406-1426, 2002.