Safety control of hidden mode hybrid systems

IEEE Transactions on Automatic Control

Volumn 57, Issue 1, 2012, Pages 62-77

  Verma, Rajeev ^a   Del Vecchio, Domitilla ^b  

^a UNIVERSITY OF MICHIGAN   (United States)

^b Massachusetts Institute of Technology   (United States)

Author keywords

Dynamic feedback; Mode estimation; Multi agent systems

Indexed keywords

AUTONOMOUS VEHICLES; DISCRETE INFORMATION; DISCRETE STATE; DYNAMIC FEEDBACK; HIDDEN MODES; HYBRID AUTOMATONS; MODE ESTIMATION; SAFETY CONTROLS; SPECIAL CLASS; STATE INFORMATION; SUFFICIENT CONDITIONS; TRAFFIC INTERSECTIONS;

ALGORITHMS; AUTOMATA THEORY; HYBRID SYSTEMS; SAFETY ENGINEERING;

MULTI AGENT SYSTEMS;

EID: 84855406616     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/TAC.2011.2150370     Document Type: Article

References (54)

1. U.S. DOT Joint Program Office ITS, [Online]. Available: http://www. its.dot.gov
2. D. Angeli and E. D. Sontag, "Interconnections of monotone systems with steady-state characteristics," Optimal Control, Stabilization, Nonsmooth Anal.. Lecture Notes Control Inf. Sci. Springer, vol. 301, pp. 135-154, 2004. (Pubitemid 38562202)
3. D. Angeli and E. D. Sontag, "Oscillations in I/O monotone systems Under Negative Feedback," IEEE Trans. Circuits Syst., vol. 55, no. 1, pp. 166-176, Jan. 2008. (Pubitemid 351314547)
4. J. Aubin, Viability Theory. New York: Birkhäuser, 1991.
5. J. Aubin, J. Lygeros, M. Quincampoix, S. Sastry, and N. Seube, "Impulse differential inclusions: A viability approach to hybrid systems," IEEE Trans. Autom. Control, vol. 47, no. 1, pp. 2-20, Jan. 2002. (Pubitemid 34504319)
6. R. J. Aumann and M. Maschler, Repeated Games With Incomplete Information. Cambridge, MA: MIT Press, 1995.
7. M. Baglietto, G. Battistelli, and L. Scardovi, "Active mode observability of switching linear systems," Automatica, vol. 43, pp. 1442-1449, 2007. (Pubitemid 47016376)
8. A. Balluchi, L. Benvenuti, M. D. Di Benedetto, and A. Sangiovanni-Vincentelli, "Design of observers for hybrid systems," in Hybrid Systems: Computation and Control, C. J. Tomlin and M. R. Greensreet, Eds. Berlin, Germany: Springer Verlag, 2002, vol. 2289, Lecture Notes in Computer Science, pp. 76-89.
9. L. Blackmore, S. Rajamanoharan, and B. C.Williams, "Active estimation for switching linear dynamic systems," in Conf. Decision Control, 2006, pp. 137-144. (Pubitemid 351283868)
10. F. H. Clarke, Optimization and Nonsmooth Analysis. New York: Wiley, 1983.
11. R. D'Andrea, R. M. Murray, J. A. Adams, A. T. Hayes, M. Campbell, and A. Chaudry, "The RoboFlag game," in Proc. Amer. Control Conf., 2003, pp. 661-666.
12. B. A. Davey and H. A. Priesteley, Introduction to Lattices and Order. Cambridge, U.K.: Cambridge Univ. Press, 2002.
13. D. DelVecchio, "A partial order approach to discrete dynamic feedback in a class of hybrid systems," in Hybrid Systems: Computation and Control, A. Bemporad, A. Bicchi, and G. Buttazzo, Eds. Pisa, Italy: Springer Verlag, 2007, vol. 4416, Lecture Notes in Computer Science, pp. 159-173.
14. D. Del Vecchio, "Cascade estimators for systems on a partial order," Syst. Control Lett., vol. 57, no. 10, pp. 842-850, 2008.
15. D. Del Vecchio, "Observer-based control of block triangular discrete time hybrid automata on a partial order," Int. J. Robust Nonlinear Control, vol. 19, no. 14, pp. 1581-1602, 2009.
16. D. Del Vecchio and E. Klavins, "Observation of guarded command programs," in Proc. Conf. Decision Control, 2003, pp. 3353-3359.
17. D. Del Vecchio, M. Malisoff, and R. Verma, "A separation principle for a class of hybrid automata on a partial order," in Proc. Amer. Control Conf., 2009, pp. 3638-3643.
18. D. Del Vecchio, R. M. Murray, and E. Klavins, "Discrete state estimators for systems on a lattice," Automatica, vol. 42, no. 2, pp. 271-285, 2006. (Pubitemid 41828187)
19. D. Del Vecchio, R. M. Murray, and P. Perona, "Primitives for human motion: A dynamical approach," in Proc. IFAC World Congr., Barcelona, Spain, 2002.
20. D. Del Vecchio, R. M. Murray, and P. Perona, "Decomposition of human motion into dynamics-based primitives with application to drawing tasks," Automatica, vol. 39, no. 12, pp. 2085-2098, 2003.
21. Y. Demiris, "Prediction of intent in robotics and multi-agent systems," Cognitive Processes, vol. 8, pp. 151-158, 2007. (Pubitemid 47245942)
22. V. Desaraju, M. H. C. Ro, E. Tay Yang, S. Roth, and D. Del Vecchio, "Partial order techniques for vehicle collision avoidance: Application to an autonomous roundabout test-bed," in Proc. Int. Conf. Robot. Autom., 2009, pp. 82-87.
23. E. A. Domlan, J. Ragot, and D. Maquin, "Active mode estimation for switching systems," in Proc. ACC, 2007, pp. 1143-1148.
24. J. Duperret, M. Hafner, and D. Del Vecchio, "Formal design of a provably safe robotic roundabout system," in Proc. Int. Conf. Intell. Robot. Syst., 2010, pp. 2006-2011.
25. O. Maler, E. Asarin, and A. Pnueli, "Symbolic controller synthesis for discrete and timed systems," in Hybrid Systems II, P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, Eds. Berlin, Germany: Springer Verlag, 1995, vol. 999, Lecture Notes in Computer Science, pp. 1-20.
26. Y. Gao, J. Lygeros, and M. Quincampoix, "The reachability problem for uncertain hybrid systems revisited: A viability theory perspective," Lecture Notes Comput. Sci. LNCS, no. 3927, pp. 242-256, 2006. (Pubitemid 44019591)
27. A. Gilpin and T. Sandholm, "Solving two-person zero-sum repeated games of incomplete information," in Proc. 7th Int. Conf. Auton. Agents Multiagent Syst., 2008, pp. 903-910.
28. M. Hafner and D. Del Vecchio, "Computation of safety control for uncertain piecewise continuous systems on a partial order," in Proc. Conf. Decision Control, 2009, pp. 1671-1677.
29. T. A. Henzinger, "The theory of hybrid automata," in Proc. 11th Annu. Symp. Logic Comput. Sci., 1996, pp. 278-292, IEEE Press.
30. T. A. Henzinger, P.H. Ho, and H. Wong-Toi, "A user guide to HyTech," in TACAS 95: Tools and Algorithms for the Construction and Analysis of Systems, E. Brinksma, W. Cleaveland, K. Larsen, T. Margaria, and B. Steffen, Eds. Berlin, Germany: Springer-Verlag, 1995, vol. 1019, Lecture Notes in Computer Science, pp. 41-71. (Pubitemid 126004021)
31. T. A. Henzinger, B. Horowitz, R. Majumdar, and H. Wong-Toi, "Beyond HyTech: Hybrid systems analysis using interval numerical methods," in Hybrid Systems: Computation and Control, B. Krogh and N. Lynch, Eds. Berlin, Germany: Springer Verlag, 2000, vol. 1790, Lecture Notes in Computer Science, pp. 130-144.
32. R. J. Hill, "Electric railway traction tutorial, part 1: Electric traction and DC traction motor drives," Power Eng. J., no. 1, pp. 47-56, 1994.
33. J. Hu, M. Prandini, and S. Sastry, "Aircraft conflict prediction in the presence of a spatially correlated wind field," IEEE Trans. Intell. Transport. Syst., vol. 6, no. 3, pp. 326-340, Sep. 2005. (Pubitemid 41634336)
34. S. Istrail, "Generalization of the Ginsburg-Rice Schützenberger fixed-point theorem for context-sensitive and recursive-enumerable languages," Theoret. Comput. Sci., vol. 18, pp. 333-341, 1982.
35. J.-H. Kim, Y.-W. Kim, and D.-H. Hwang, "Modeling of human driving behavior based on piecewise linear model," Automatika, vol. 46, pp. 29-37, 2005.
36. H. W. Kuhn, "Extensive games and the problem of information," in Contributions to the Theory of Games, H.W. Kuhn and A. W. Tucker, Eds. Princeton, NJ: Princeton Univ. Press, 1953, pp. 196-216.
37. A. B. Kurzhanski and P. Varaiya, "Ellipsoidal techniques for hybrid dynamics: The reachability problem," in New Directions and Applications in Control Theory,W. P. Dayawansa, A. Lindquist, and Y. Zhou, Eds. New York: Springer, 2005, vol. 321, Lecture Notes in Control and Information Sciences, pp. 193-205.
38. S. M. LaValle, Planning Algorithms, 1st ed. Cambridge, U.K.: Cambridge Univ. Press, 2006.
39. J. Lygeros, C. J. Tomlin, and S. Sastry, "Controllers for reachability specifications for hybrid systems," Automatica, vol. 35, no. 3, pp. 349-370, 1999.
40. M. Oishi, I. Mitchell, A. Bayen, and C. Tomlin, "Invariance- preserving abstractions of hybrid systems: Application to user interface design," IEEE Trans. Control Syst. Technol., vol. 16, no. 2, pp. 229-244, Mar. 2008. (Pubitemid 351411175)
41. J. Pachl, Railway Operation and Control. Mountlake Terrace, WA: VTD Rail Publishing, 2002.
42. R. Raffard, S. Waslander, A. Bayen, and C. Tomlin, "A cooperative distributed approach to multi-agent eulerian network control: Application to air traffic management," in Proc. AIAA Guidance, Navigation, Control Conf. Exhibit, 2005, pp. 1-20.
43. J. H. Reif, "The complexity of two-player games of incomplete information," J. Comput. Syst. Sci., vol. 29, no. 2, pp. 274-301, 1984.
44. E. De Santis, M. D. Di Benedetto, and L. Berardi, "Computation of maximal safe sets for switching systems," IEEE Trans. Autom. Control, vol. 49, no. 2, pp. 184-195, Feb. 2004.
45. C.-E. Seah and I. Hwang, "Terminal-area aircraft tracking by hybrid estimation," AIAA J. Guidance, Control, Dynamics, vol. 32, no. 3, pp. 836-849, 2009.
46. O. Shakernia, G. J. Pappas, and S. Sastry, "Decidable controller synthesis for classes of linear systems," in Hybrid Systems: Computation and Control. Berlin, Germany: Springer Verlag, 2000, vol. 1790, Lecture Notes in Computer Science.
47. O. Shakernia, G. J. Pappas, and S. Sastry, "Semidecidable controller synthesis for classes of linear hybrid systems," in Proc. Conf. Decision Control, 2000, pp. 1034-1039.
48. O. Shakernia, G. J. Pappas, and S. Sastry, "Semi-decidable synthesis for triangular hybrid systems," in Hybrid Systems: Computation and Control, M. D. Di Benedetto and A. Sangiovanni-Vincentelli, Eds. Berlin, Germany: Springer Verlag, 2001, vol. 2034, Lecture Notes in Computer Science.
49. C. J. Tomlin, J. Lygeros, and S. Sastry, "A game theoretic approach to controller design for hybrid systems," Proc. IEEE, vol. 88, no. 7, pp. 949-970, Jul. 2000.
50. C. J. Tomlin, I. Mitchell, A. M. Bayen, and M. Oishi, "Computational techniques for the verification of hybrid systems," Proc. IEEE, vol. 91, no. 7, pp. 986-1001, Jul. 2003. (Pubitemid 40890836)
51. R. Verma and D. Del Vecchio, "Continuous control of hybrid automata with imperfect mode information assuming separation between state estimation and control," in Proc. Conf. Decision Control, 2009, pp. 3175-3181.
52. R. Verma, D. Del Vecchio, and H. Fathy, "Development of a scaled vehicle with longitudinal dynamics of a HMMWVfor an ITS testbed," IEEE/ASME Trans. Mechatron., vol. 13, no. 1, pp. 46-57, Feb. 2008. (Pubitemid 351392273)
53. R. Vidal, A. Chiuso, and S. Soatto, "Observability and identifiability of jump linear systems," in Proc. Conf. Decision Control, 2002, pp. 3614-3619.
54. M. De Wulf, L. Doyen, and J.-F. Raskin, "A lattice theory for solving games of imperfect information," in Hybrid Systems: Computation and Control, J. Hespanha and A. Tiwari, Eds. Berlin, Germany: Springer-Verlag, 2006, vol. 3927, Lecture Notes in Computer Science, pp. 153-168. (Pubitemid 44019585)