Using computer games for hybrid systems controller synthesis

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2010, Pages 5887-5892

  Julius, A Agung ^a   Afshari, Sina ^a  

^a RENSSELAER POLYTECHNIC INSTITUTE   (United States)

Author keywords

Controller synthesis; Hybrid system; Trajectory based

Indexed keywords

CONTROLLERS; FEEDBACK CONTROL; FORMAL METHODS; HYBRID SYSTEMS; LYAPUNOV FUNCTIONS; ROBUST CONTROL; ROBUSTNESS (CONTROL SYSTEMS); ROOM AND PILLAR MINING; TRAJECTORIES;

APPROXIMATE BISIMULATION; CONTROL LYAPUNOV FUNCTION; CONTROLLER SYNTHESIS; FEEDBACK CONTROL LAW; INTERACTIVE COMPUTER PROGRAMS; ROBUSTNESS PROPERTIES; SAFETY VERIFICATION; TRAJECTORY-BASED;

COMPUTER GAMES;

EID: 79953157138     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2010.5718138     Document Type: Conference Paper

References (37)

1. M. Prandini, J. Hu, J. Lygeros, and S. Sastry, "A probabilistic approach to aircraft conflict detection," IEEE Trans. on Intelligent Transportation Systems, vol. 1(4), pp. 199-220, 2000.
2. T. Dang, A. Donze, and O. Maler, "Verification of analog and mixed-signal circuits using hybrid system techniques," in Formal Methods in Computer-Aided Design, vol. 3312 of LNCS, pp. 21-36, Springer, 2004.
3. G. Batt, B. Yordanov, R. Weiss, and C. Belta, "Robustness analysis and tuning of synthetic gene networks," Bioinformatics, vol. 23, no. 18, pp. 2415-2422, 2007.
4. D. Riley, X. Koutsoukos, and K. Riley, "Modeling and analysis of the sugar cataract development process using stochastic hybrid systems," IET Systems Biology, vol. 3(3), pp. 137-154, 2009.
5. I. M. Mitchell, A. M. Bayen, and C. J. Tomlin, "A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games," IEEE Trans. Automatic Control, vol. 50, pp. 947-957, 2005.
6. J. Kapinski, B. H. Krogh, O. Maler, and O. Stursberg, "On systematic simulation of open continuous systems," in Hybrid Systems: Computation and Control, vol. 2623 of LNCS, pp. 283-297, Springer, 2003.
7. C. Belta and L. Habets, "Controlling a class of nonlinear systems on rectangles," IEEE Trans. Automatic Control, vol. 51, no. 11, pp. 1749-1759, 2006.
8. L. Habets, P. J. Collins, and J. H. van Schuppen, "Reachability and control synthesis for piecewise-affine hybrid systems on simplices," IEEE Trans. Automatic Control, vol. 51, no. 6, pp. 938-948, 2006.
9. G. Reissig, "Computation of discrete abstractions of arbitrary memory span for nonlinear sampled systems," in Hybrid Systems: Computation and Control, vol. 5469 of LNCS, pp. 306-320, Springer, 2009.
10. F. Clarke and P. R. Wolenski, "Control of systems to sets and their interiors," Journal of Optimization Theory and Applications, vol. 88, pp. 3-23, 1994.
11. A. Girard and G. J. Pappas, "Approximation metrics for discrete and continuous systems," IEEE Trans. Automatic Control, vol. 52, no. 5, pp. 782-798, 2007.
12. A. Girard and G. J. Pappas, "Verification using simulation," in Hybrid Systems: Computation and Control, vol. 3927 of LNCS, pp. 272-286, Springer Verlag, 2006.
13. A. A. Julius, G. Fainekos, M. Anand, I. Lee, and G. J. Pappas, "Robust test generation and coverage for hybrid systems," in Hybrid Systems: Computation and Control, vol. 4416 of LNCS, pp. 329-342, Springer Verlag, 2007.
14. F. Lerda, J. Kapinski, E. M. Clarke, and B. H. Krogh, "Verification of supervisory control software using state proximity and merging," in Hybrid Systems: Computation and Control, vol. 4981 of LNCS, pp. 344-357, 2008.
15. P. Tabuada, "An approximate simulation approach to symbolic control," IEEE Trans. Automatic Control, vol. 53, no. 6, pp. 1406-1418, 2008.
16. G. Pola, A. Girard, and P. Tabuada, "Approximately bisimilar symbolic models for nonlinear control systems," Automatica, vol. 44, no. 10, pp. 2508-2516, 2008.
17. A. A. Julius, "Trajectory-based controller design for hybrid systems with affine continuous dynamics." submitted to IEEE CASE 2010, extended manuscript. Available online at http://www.ecse.rpi.edu/~agung, 2010.
18. Z. Artstein, "Stabilization with relaxed controls," Nonlinear Analysis, vol. 15, no. 11, pp. 1163-1170, 1983.
19. E. D. Sontag, "A 'universal' construction of Artstein's theorem on nonlinear stabilization," Systems and Control Letters, vol. 13, no. 2, pp. 117-123, 1989.
20. J. Barral, R. Wilson, and C. Langbort, "The online ouija board : a testbed for multi-party control of dynamical systems," in Proc. American Control Conference, (St. Loius, MO.), pp. 872-877, 2009.
21. L. von Ahn, M. Blum, N. Hopper, and J. Langford, "Captcha: Using hard AI problems for security," in Advances in Cryptology, vol. 2656 of LNCS, pp. 294-311, Springer, 2003.
22. L. von Ahn and L. Dabbish, "Labeling images with a computer game," in Proc. SIGCHI Conference on Human Factors in Computing Systems, (New York), pp. 319-326, ACM, 2004.
23. L. von Ahn and L. Dabbish, "General techniques for designing games with a purpose," Communications of the ACM, pp. 58-67, August 2008.
24. W. Lohmiller and J. J. E. Slotine, "On contraction analysis for nonlinear systems," Automatica, vol. 34, no. 6, pp. 683-696, 1998.
25. D. Angeli, "A Lyapunov approach to incremental stability properties," IEEE Trans. Automatic Control, vol. 47, no. 3, pp. 410-421, 2002.
26. A. A. Julius and G. J. Pappas, "Trajectory based verification using local finite-time invariance," in Hybrid Systems: Computation and Control, vol. 5469 of LNCS, pp. 223-236, Springer, 2009.
27. W. L. Brogan, Modern control theory. New Jersey: Prentice Hall International, 1991.
28. B. Friedland, Control System Design: An Introduction to State-Space Methods. Dover, 2005.
29. S. Boyd, L. El Ghaoui, E. Feron, and V. Balakrishnan, Linear Matrix Inequalities in Systems and Control Theory. Philadelphia: SIAM, 1994.
30. S. Boyd and L. Vandenberghe, Convex Optimization. Cambridge University Press, 2004. Available online at www.stanford.edu/ boyd/cvxbook/.
31. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking. MIT Press, 1999.
32. G. E. Fainekos, A. Girard, H. Kress-Gazit, and G. J. Pappas, "Temporal logic motion planning for dynamic mobile robots," Automatica, vol. 45, no. 2, pp. 343-352, 2009.
33. A. Girard and G. J. Pappas, "Approximate bisimulation for constrained linear systems," in Proc. of the IEEE Conf. Decision and Control, (Seville, Spain), 2005.
34. A. Girard and G. J. Pappas, "Approximate bisimulations for nonlinear dynamical systems," in Proc. of the IEEE Conf. Decision and Control, (Seville, Spain), 2005.
35. A. Girard and G. Pappas, "Approximation metrics for discrete and continuous systems," IEEE Trans. on Automatic Control, vol. 52, no. 5, pp. 782-798, 2007.
36. K. M. Passino and S. Yurkovich, Fuzzy Control. Addison-Wesley, 1998.
37. B. K. Bose, "Expert system, fuzzy logic, and neural network applications in power electronics and motion control," Proceedings of the IEEE, vol. 82, no. 8, pp. 1303-1323, 1994.