{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T13:50:10Z","timestamp":1787320210389,"version":"build-2736575974"},"reference-count":34,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Control Optim."],"published-print":{"date-parts":[[2009,1]]},"abstract":"<jats:p>Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growing interest in the use of symbolic models as a tool for mitigating complexity in control design. In fact, symbolic models enable the use of well-known algorithms in the context of supervisory control and algorithmic game theory for controller synthesis. Since the 1990s many researchers faced the problem of identifying classes of dynamical and control systems that admit symbolic models. In this paper we make further progress along this research line by focusing on control systems affected by disturbances. Our main contribution is to show that incrementally globally asymptotically stable nonlinear control systems with disturbances admit symbolic models.<\/jats:p>","DOI":"10.1137\/070698580","type":"journal-article","created":{"date-parts":[[2009,2,13]],"date-time":"2009-02-13T18:17:12Z","timestamp":1234549032000},"page":"719-733","source":"Crossref","is-referenced-by-count":126,"title":["Symbolic Models for Nonlinear Control Systems: Alternating Approximate Bisimulations"],"prefix":"10.1137","volume":"48","author":[{"given":"Giordano","family":"Pola","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paulo","family":"Tabuada","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"351","published-online":{"date-parts":[[2009,2,13]]},"reference":[{"key":"R1","doi-asserted-by":"crossref","unstructured":"R. Alur, C. Courcoubetis, T. A. Henzinger, and P. H. Ho,\n                      Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems\n                      , in Hybrid Systems, Lecture Notes in Comput. Sci. 736, Springer, Berlin, 1993, pp. 209\u2013229.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"R2","doi-asserted-by":"crossref","unstructured":"R. Alur and D. L. Dill,\n                      Automata for modeling real-time systems\n                      , in Automata, Languages and Programming, Lecture Notes in Comput. Sci. 443, Springer, Berlin, 1990, pp. 322\u2013335.","DOI":"10.1007\/BFb0032042"},{"key":"R3","doi-asserted-by":"crossref","unstructured":"R. Alur, T. Henzinger, O. Kupferman, and M. Vardi,\n                      Alternating refinement relations\n                      , in Proceedings of the 8th International Conference on Concurrence Theory, Lecture Notes in Comput. Sci. 1466, Springer, Berlin, 1998, pp. 163\u2013178.","DOI":"10.1007\/BFb0055622"},{"key":"R4","doi-asserted-by":"publisher","DOI":"10.1109\/9.989067"},{"key":"R5","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(99)00055-9"},{"key":"R6","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00442-5"},{"key":"R7","doi-asserted-by":"publisher","DOI":"10.1109\/9.664153"},{"key":"R8","doi-asserted-by":"crossref","unstructured":"M. B. Egerstedt, E. Frazzoli, and G. J. Pappas, eds.\n                      Special Issue on Symbolic Methods for Complex Control Systems\n                      , IEEE Trans. Automat. Control 51, (2006).","DOI":"10.1109\/TAC.2006.876964"},{"key":"R9","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(02)00023-7"},{"key":"R10","doi-asserted-by":"crossref","unstructured":"A. Girard,\n                      Approximately bisimilar finite abstractions of stable linear systems\n                      , in Hybrid Systems: Computation and Control, Lecture Notes in Comput. Sci. 4416, A. Bemporad, A. Bicchi, and G. Buttazzo, eds., Springer, Berlin, 2007, pp. 231\u2013244.","DOI":"10.1007\/978-3-540-71493-4_20"},{"key":"R11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"R12","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1581"},{"key":"R13","doi-asserted-by":"crossref","unstructured":"T. A. Henzinger, R. Majumdar, and V. Prabhu,\n                      Quantifying similarities between timed systems\n                      , in Proceedings of the Third International Conference on Formal Modeling and Analysis of Timed Systems, 2005, Lecture Notes in Comput. Sci. 3829, Springer, Berlin, 2005, pp. 226\u2013241.","DOI":"10.1007\/11603009_18"},{"key":"R14","unstructured":"R. Isaacs,\n                      Differential Games\n                      , Dover, New York, 1999."},{"key":"R15","doi-asserted-by":"publisher","DOI":"10.1109\/5.871307"},{"key":"R16","unstructured":"E. B. Lee and L. Markus,\n                      Foundations of Optimal Control Theory\n                      , SIAM Series in Applied Mathematics, John Wiley and Sons, New York, 1967."},{"key":"R17","doi-asserted-by":"publisher","DOI":"10.1007\/PL00009858"},{"key":"R18","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012993259981"},{"key":"R19","unstructured":"R. Milner,\n                      Communication and Concurrency\n                      , Prentice-Hall, Englewood Cliffs, NJ, 1989."},{"key":"R20","doi-asserted-by":"publisher","DOI":"10.1023\/A:1013339920783"},{"key":"R21","doi-asserted-by":"crossref","unstructured":"X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine.\n                      An approach to the description and analysis of hybrid systems\n                      , in Hybrid Systems, Lecture Notes in Comput. Sci. 736, Springer, Berlin, 1993, pp. 149\u2013178.","DOI":"10.1007\/3-540-57318-6_28"},{"key":"R22","doi-asserted-by":"crossref","unstructured":"D. M. R. Park,\n                      Concurrency and automata on infinite sequences\n                      , in Proceedings of the 5th GI Conference on Theoretical Computer Science, Lecture Notes in Comput. Sci. 104, Springer, London, 1981, pp. 167\u2013183.","DOI":"10.1007\/BFb0017309"},{"key":"R23","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.02.021"},{"key":"R24","doi-asserted-by":"crossref","unstructured":"G. Pola and P. Tabuada,\n                      Symbolic models for linear control systems with disturbances\n                      , in Proceedings of the 46th IEEE Conference on Decision and Control, New Orleans, LA, 2007, pp. 4643\u20134647.","DOI":"10.1109\/CDC.2007.4434957"},{"key":"R25","doi-asserted-by":"crossref","unstructured":"G. Pola and P. Tabuada,\n                      Symbolic models for nonlinear control systems affected by disturbances\n                      , in 47th IEEE Conference on Decision and Control, Cancun, Mexico, 2008, pp. 251\u2013256.","DOI":"10.1109\/CDC.2008.4738788"},{"key":"R26","doi-asserted-by":"crossref","unstructured":"A. Puri and P. Varaiya,\n                      Decidability of hybrid systems with rectangular differential inclusion\n                      , in Proceedings of the 6th International Conference on Computer Aided Verification (CAV '94), Lecture Notes in Comput. Sci. 818, Springer, London, 1994, pp. 95\u2013104.","DOI":"10.1007\/3-540-58179-0_46"},{"key":"R27","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"R28","unstructured":"R. R. Stoll,\n                      Set Theory and Logic\n                      , W. H. Freeman, San Francisco, 1963."},{"key":"R29","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-006-0036-6"},{"key":"R30","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.925824"},{"key":"R31","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"R32","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.838497"},{"key":"R33","doi-asserted-by":"crossref","unstructured":"M. Ying and M. Wirsing,\n                      Approximate bisimilarity\n                      , in Algebraic Methodology and Software Technology, Lecture Notes in Comput. Sci. 1816, Springer, Berlin, 2000, pp. 309\u2013322.","DOI":"10.1007\/3-540-45499-3_23"},{"key":"R34","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00009-7"}],"container-title":["SIAM Journal on Control and Optimization"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/070698580","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T12:54:28Z","timestamp":1787316868000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/070698580"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,1]]},"references-count":34,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,1]]}},"alternative-id":["10.1137\/070698580"],"URL":"https:\/\/doi.org\/10.1137\/070698580","relation":{},"ISSN":["0363-0129","1095-7138"],"issn-type":[{"value":"0363-0129","type":"print"},{"value":"1095-7138","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,1]]}}}