Computing abstractions of nonlinear systems

IEEE Transactions on Automatic Control

Volumn 56, Issue 11, 2011, Pages 2583-2598

  Reißig, Gunther ^a  

^a BUNDESWEHR UNIVERSITY MUNICH   (Germany)

Author keywords

Attainability; attainable set; discrete abstraction; formal verification; motion planning; nonlinear system; polyhedral over approximation; symbolic control; symbolic model

Indexed keywords

ATTAINABILITY; ATTAINABLE SET; DISCRETE ABSTRACTION; FORMAL VERIFICATIONS; POLYHEDRAL OVER-APPROXIMATION; SYMBOLIC CONTROL; SYMBOLIC MODEL;

ALGORITHMS; CONTROLLERS; HYBRID SYSTEMS; NONLINEAR SYSTEMS;

ABSTRACTING;

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

References (65)

1. C. S. Hsu, Cell-to-Cell Mapping, Applied Mathematical Sciences. New York: Springer-Verlag, 1987, vol. 64.
2. R. Alur, T.A. Henzinger,G. Lafferriere, and G. J. Pappas, "Discrete abstractions of hybrid systems," Proc. IEEE, vol. 88, no. 7, pp. 971-984, Jul. 2000.
3. X. D. Koutsoukos, P. J. Antsaklis, J. A. Stiver, and M. D. Lemmon, "Supervisory control of hybrid systems," Proc. IEEE, vol. 88, no. 7, pp. 1026-1049, Jul. 2000.
4. M. Dellnitz and O. Junge, "Set oriented numerical methods for dynamical systems," in Handbook of Dynamical Systems, B. Fiedler, Ed. Amsterdam: North-Holland, 2002, vol. 2, pp. 221-264.
5. J. Ding, T. Y. Li, and A. Zhou, "Finite approximations of Markov operators," J. Comput. Appl. Math., vol. 147, no. 1, pp. 137-152, 2002.
6. J. Schröder, Modelling, State Observation and Diagnosis of Quantised Systems, Lect. Notes Control Inform. Sciences. Berlin, Germany: Springer-Verlag, 2003, vol. 282.
7. M. Blanke, M. Kinnaert, J. Lunze, and M. Staroswiecki, Diagnosis and Fault-Tolerant Control. Berlin, Germany: Springer, 2006.
8. G. Osipenko, Dynamical Systems, Graphs and Algorithms, Lecture Notes in Mathematics. Berlin, Germany: Springer-Verlag, 2007, vol. 1889.
9. P. Tabuada, Verification and Control of Hybrid Systems. New York: Springer, 2009.
10. C. Tomlin, G. J. Pappas, and S. Sastry, "Conflict resolution for air traffic management: A study in multiagent hybrid systems," IEEE Trans. Automat. Contr., vol. 43, no. 4, pp. 509-521, Apr. 1998.
11. E. D. Sontag, "Mathematical control theory," in Texts in Applied Mathematics, 2nd ed. New York: Springer, 1998, vol. 6.
12. S. M. LaValle, Planning Algorithms. Cambridge: Cambridge Univ. Press, 2006.
13. A. S. Matveev and A. V. Savkin, Estimation and Control Over Communication Networks, Control Engineering. Boston, MA: Birkhäuser, 2009.
14. R. Kumar and V. K. Garg, Modeling and Control of Logical Discrete Event Systems. New York: Kluwer, 1995.
15. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking. Cambridge, MA: MIT Press, 1999.
16. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2nd ed. New York: Springer, 2008.
17. D. Lind and B. Marcus, An Introduction to Symbolic Dynamics and Coding. : Cambridge Univ. Press, 1995.
18. S. H. Crandall, K. L. Chandiramani, and R. G. Cook, "Some first passage problems in random vibration," J. Appl. Mech. ASME, vol. 33, pp. 532-538, 1966.
19. P. K. C. Wang, "A method for approximating dynamical processes by finite-state systems," Int. J. Contr. I., vol. 8, pp. 285-296, 1968.
20. C. S. Hsu, R. S. Guttalu, and W. H. Zhu, "A method of analyzing generalized cell mappings," Trans. ASME Ser. E J. Appl. Mech., vol. 49, no. 4, pp. 885-894, 1982.
21. L. Grüne, Asymptotic Behavior of Dynamical and Control Systems Under Perturbation and Discretization, Lecture Notes in Mathematics. Berlin, Germany: Springer-Verlag, 2002, vol. 1783.
22. C. S. Hsu, "Domain-to-domain evolution by cell mapping," in Nonlinear Dynamics and Stochastic Mechanics, CRC Math. Model. Ser. Boca Raton, FL: CRC Press, 1995, pp. 45-68.
23. L. Grüne and O. Junge, "Approximately optimal nonlinear stabilization with preservation of the Lyapunov function property," in Proc. 46th IEEE Conf. Decision Contr.(CDC), New Orleans, LA, 2007, pp. 702-707.
24. C. S. Hsu, "A discrete method of optimal control based upon the cell state space concept," J. Opt. Th. Appl., vol. 46, no. 4, pp. 547-569, 1985.
25. O. Junge, "Rigorous discretization of subdivision techniques," in Proc. Int. Conf. Differential Equations, River Edge, NJ, 2000, pp. 916-918.
26. P. Tabuada, "An approximate simulation approach to symbolic control," IEEE Trans. Automat. Contr., vol. 53, no. 6, pp. 1406-1418, Jun. 2008.
27. G. Pola and P. Tabuada, "Symbolic models for nonlinear control systems: Alternating approximate bisimulations," SIAM J. Contr. Optim., vol. 48, no. 2, pp. 719-733, 2009.
28. T. Moor and J. Raisch, "Abstraction based supervisory controller synthesis for high order monotone continuous systems," in Modelling, Analysis and Design of Hybrid Systems, Lect. Notes Control Inform. Sciences, S. Engell, G. Frehse, and E. Schnieder, Eds. New York: Springer, 2002, vol. 279, pp. 247-265.
29. O. Maler and G. Batt, "Approximating continuous systems by timed automata," in Formal Methods in Systems Biology, Lect. Notes Computer Science. Berlin, Germany: Springer, 2008, vol. 5054, pp. 77-89.
30. S. Berman, Á. Halász, and V. Kumar, "MARCO: A reachability algorithm for multi-affine systems with applications to biological systems," in Proc. 10th Int. Conf. Hybrid Systems: Comput. Contr. (HSCC), Italy, Lect. N. Comput. Sci., Pisa, Apr. 3-5, 2007, vol. 4416, pp. 76-89.
31. A. Girard and G. J. Pappas, "Approximate bisimulations for nonlinear dynamical systems," in Proc. 44th IEEE Conf. Dec. Contr. Eur. Contr. Conf., Seville, Spain, Dec. 12-15, 2005, pp. 684-689.
32. L. Jaulin and E. Walter, "Global numerical approach to nonlinear discrete- time control," IEEE Trans. Autom. Contr., vol. 42, no. 6, pp. 872-875, 1997.
33. O. Stursberg, S. Kowalewski, and S. Engell, "On the generation of timed discrete approximations for continuous systems," Math. Comput. Model. Dyn. Syst., vol. 6, no. 1, pp. 51-70, 2000.
34. M. Althoff, O. Stursberg, and M. Buss, "Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes," Nonlinear Anal. Hybrid Syst., vol. 4, no. 2, pp. 233-249, 2010.
35. Y. Tazaki and J. Imura, "Discrete-state abstractions of nonlinear systems using multi-resolution quantizer," in Proc. 12th Intl. Conf. Hybrid Systems: Computation and Control (HSCC), San Francisco, Apr. 13-15, 2009, Lect. N. Comput. Sci., Pisa, vol. 5469, pp. 351-365.
36. A. Tiwari, "Abstractions for hybrid systems," Form. Methods Syst. Des., vol. 32, no. 1, pp. 57-83, Feb. 2008.
37. A. Chutinan and B. H. Krogh, "Computational techniques for hybrid system verification," IEEE Trans. Autom. Contr., vol. 48, no. 1, pp. 64-75, Jan. 2003.
38. 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. Autom. Contr., vol. 50, no. 7, pp. 947-957, Jul. 2005.
39. L. Grüne and F. Müller, "Set oriented optimal control using past information," in Proc. 2008 Math. Theory Networks Syst. (MTNS), Blacksburg, VA, Jul. 28-Aug. 1, 2008.
40. M. Broucke, "A geometric approach to bisimulation and verification of hybrid systems," in Proc. 37th IEEE Conf. Decision Control (CDC), Tampa, FL, Dec. 1998, pp. 4277-4282.
41. P. E. Caines and Y.-J. Wei, "Hierarchical hybrid control systems: A lattice-theoretic formulation," IEEE Trans. Automat. Contr., vol. 43, no. 4, pp. 501-508, 1998.
42. J. A. Stiver, X. D. Koutsoukos, and P. J. Antsaklis, "An invariant-based approach to the design of hybrid control systems," Int.. J. Robust Nonlinear Contr., vol. 11, no. 5, pp. 453-478, 2001.
43. J. C.Willems, "Models for dynamics," in Dynamics Reported,, Dynam. Report. Ser. Dynam. Systems Appl. Chichester, U.K.: Wiley, 1989, vol. 2, pp. 171-269.
44. T. Moor, "Approximationsbasierter Entwurf diskreter Steuerungen für gemischtwertige Regelstrecken," , Univ. Der Bundeswehr, Hamburg, Fachbereich Elektrotechnik, Hamburg, Germany, 1999.
45. T. Moor and J. Raisch, "Supervisory control of hybrid systems within a behavioural framework," Syst. Contr. Lett., vol. 38, no. 3, pp. 157-166, 1999.
46. T. Moor, J.M.Davoren, and B. D. O. Anderson, "Robust hybrid control from a behavioural perspective," in Proc. 41th IEEE Conf. Decision Contr., Las Vegas, USA, 2002, pp. 1169-1174.
47. G. Reißig, "Convexity of reachable sets of nonlinear ordinary differential equations," Automat. Remote Contr., vol. 68, no. 9, pp. 1527-1543, Sep. 2007.
48. G. Reißig, "Convexity of reachable sets of nonlinear discrete-time systems," in Proc. 13th IEEE Int. Conf. Methods Models in Autom. Robotics (MMAR), Szczecin, Poland, Aug. 27-30, 2007, pp. 199-204.
49. F. A. Valentine, Convex Sets. New York: McGraw-Hill, 1964.
50. G. Reißig, "Computation of discrete abstractions of arbitrary memory span for nonlinear sampled systems," in Proc. 12th Int. Conf. Hybrid Systems: Computation and Control (HSCC), San Francisco, CA, Lect. N. Comput. Sci., Pisa, Apr. 13-15, 2009, vol. 5469, pp. 306-320.
51. E. Schechter, Handbook of Analysis and its Foundations. San Diego, CA: Academic, 1997.
52. G. Reißig, "Local fill reduction techniques for sparse symmetric linear systems," Arch. Elektrotech., vol. 89, no. 8, pp. 639-652, Sep. 2007.
53. P. M. Gruber, Convex and Discrete Geometry, Fundamental Principles of Mathematical Sciences. Berlin, Germany: Springer, 2007, vol. 336.
54. P. Hartman, Ordinary Differential Equations, Classics in Applied Mathematics. Philadelphia, PA: SIAM, 2002, vol. 38.
55. H. Frankowska and C. Olech, "H-convexity of the integral of set-valued functions," in Contributions to analysis and geometry (Baltimore, Md., U.S.A., 1980, Suppl. Amer. J. Math). Baltimore, MD: Johns Hopkins Univ. Press, 1981, pp. 117-129.
56. E. S. Polovinkin, "Strongly convex analysis," (in Russian) Mat. Sb., vol. 187, no. 2, pp. 103-130, 1996, Trans: Russian Acad. Sci. Sb. Math., vol. 187, 1996, no. 2, pp. 259-286..
57. D. Bednarík and K. Pastor, "Elimination of strict convergence in optimization," SIAM J. Control Optim., vol. 43, no. 3, pp. 1063-1077, 2004.
58. V. Lakshmikantham and D. Trigiante, Theory of Difference Equations: Numerical Methods and Applications, Monographs and Textbooks in Pure and Applied Mathematics, 2nd ed. New York: Marcel Dekker Inc, 2002, vol. 251.
59. R. Webster, Convexity. New York: Oxford University Press, 1994.
60. D. Henrion and A. Garulli, Eds., Positive Polynomials in Control, Lecture Notes in Control and Information Sciences. Berlin, Germany: Springer-Verlag, 2005, vol. 312.
61. C. M.Özveren, A. S. Willsky, and P. J. Antsaklis, "Stability and stabilizability of discrete event dynamic systems," J. Assoc. Comput. Mach., vol. 38, no. 3, pp. 730-752, 1991.
62. G. Gallo, G. Longo, S. Pallottino, and S. Nguyen, "Directed hypergraphs and applications," Discrete Appl. Math., vol. 42, no. 2-3, pp. 177-201, 1993.
63. S. Wolfram, The Mathematica® Book, 5th ed. Champaign, IL, USA: Wolfram Media, Inc, 2003.
64. G. Reißig, "Abstraction based solution of complex attainability problems for decomposable continuous plants," in Proc. 49th IEEE Conf. Decision Contr., Atlanta, GA, Dec. 15-17, 2010, pp. 5911-5917 [Online]. Available: http://www.reiszig.de/gunther/pubs/i10product.abs.html
65. G. E. Fainekos, A. Girard, H. Kress-Gazit, and G. J. Pappas, "Temporal logic motion planning for dynamic robots," Automatica J. IFAC, vol. 45, no. 2, pp. 343-352, 2009.