{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T17:21:49Z","timestamp":1706030509084},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2007,1,16]],"date-time":"2007-01-16T00:00:00Z","timestamp":1168905600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[2007,1,29]]},"DOI":"10.1007\/s00236-006-0036-6","type":"journal-article","created":{"date-parts":[[2007,1,16]],"date-time":"2007-01-16T15:10:42Z","timestamp":1168960242000},"page":"477-500","source":"Crossref","is-referenced-by-count":13,"title":["Symbolic models for control systems"],"prefix":"10.1007","volume":"43","author":[{"given":"Paulo","family":"Tabuada","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,1,16]]},"reference":[{"key":"36_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur R., Courcoubetis C., Halbwachs N., Henzinger T.A., Ho P.H., Nicollin X., Olivero A., Sifakis J. and Yovine S. (1995). Hybrid automata: an algorithmic approach to specification and verification of hybrid systems. Theor. Comput. Sci. 138: 3\u201334","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"36_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur R. and Dill D.L. (1994). A theory of timed automata. Theor. Comput. Sci. 126(2): 183\u2013235","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"36_CR3","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1137\/1016026","volume":"16","author":"M. Arbib","year":"1974","unstructured":"Arbib M. and Manes E.G. (1974). Machines in a category: an expository introduction. SIAM Rev. 16(2): 163\u2013192","journal-title":"SIAM Rev."},{"key":"36_CR4","volume-title":"Linear Systems","author":"P.J. Antsaklis","year":"1997","unstructured":"Antsaklis P.J. and Michel A.N. (1997). Linear Systems. McGraw-Hill, New York"},{"key":"36_CR5","first-page":"366","volume-title":"Hybrid Systems, vol. 736 of Lecture Notes in Computer Science","author":"P.J. Antsaklis","year":"1993","unstructured":"Antsaklis P.J., Stiver J.A. and Lemmon M.D. (1993). Hybrid system modeling and autonomous control systems. In: Grossman, R.L., Nerode, A., Ravn, A.P., and Rischel, H. (eds) Hybrid Systems, vol. 736 of Lecture Notes in Computer Science, pp 366\u2013392. Springer, Heidelberg"},{"key":"36_CR6","doi-asserted-by":"crossref","unstructured":"Bicchi, A., Marigo, A., Piccoli, B.: On the rechability of quantized control systems. IEEE Trans. Automat. Control (2002)","DOI":"10.1109\/9.995034"},{"key":"36_CR7","first-page":"219","volume-title":"Hybrid Systems: Computation and Control, vol. 2993 of Lecture Notes in Computer Science","author":"T. Brihaye","year":"2004","unstructured":"Brihaye T., Michaux C., Rivi\u00e9re C. and Troestler C. (2004). On o-minimal hybrid systems. In: Alur, R. and Pappas, G.J. (eds) Hybrid Systems: Computation and Control, vol. 2993 of Lecture Notes in Computer Science, pp 219\u2013233. Springer, Heidelberg"},{"key":"36_CR8","first-page":"61","volume-title":"Hybrid Systems: Computation and Control, vol. 1569 of Lecture Notes in Computer Science","author":"M. Broucke","year":"1999","unstructured":"Broucke M. (1999). A geometric approach to bisimulation and verification of hybrid systems. In: Vaandrager, F.W. and van Schuppen, J.H. (eds) Hybrid Systems: Computation and Control, vol. 1569 of Lecture Notes in Computer Science, pp 61\u201375. Springer, Heidelberg"},{"issue":"4","key":"36_CR9","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1109\/9.664153","volume":"43","author":"P.E. Caines","year":"1998","unstructured":"Caines P.E. and Wei Y.J. (1998). Hierarchical hybrid control systems: a lattice theoretic formulation. IEEE Trans. Automat. Control Special Issue on Hybrid Systems 43(4): 501\u2013508","journal-title":"IEEE Trans. Automat. Control Special Issue on Hybrid Systems"},{"key":"36_CR10","volume-title":"Hybrid Systems: Computation and Control, vol. 2289 of Lecture Notes in Computer Science","author":"J.M. Davoren","year":"2002","unstructured":"Davoren J.M., Moor T. and Nerode A. (2002). Hybrid control loops, A\/D maps and dynamic specifications. In: Tomlin, C. and Greenstreet, M.R. (eds) Hybrid Systems: Computation and Control, vol. 2289 of Lecture Notes in Computer Science, pp. Springer, Heidelberg"},{"key":"36_CR11","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/0167-6423(90)90071-K","volume":"13","author":"J.-C. Fernandez","year":"1989\u20131990","unstructured":"Fernandez J.-C. (1989\u20131990). An implementation of an efficient algorithm for bisimulation equivalence. Sci. Comput. Program. 13: 219\u2013236","journal-title":"Sci. Comput. Program."},{"issue":"4","key":"36_CR12","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/BF01843493","volume":"6","author":"J.A. Goguen","year":"1973","unstructured":"Goguen J.A. (1973). Realization is universal. Math. Syst. Theory 6(4): 359\u2013374","journal-title":"Math. Syst. Theory"},{"key":"36_CR13","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1006\/jcss.1998.1581","volume":"57","author":"T.A. Henzinger","year":"1998","unstructured":"Henzinger T.A., Kopke P.W., Puri A. and Varaiya P. (1998). What\u2019s decidable about hybrid automata? J. Comput. Syst. Sci. 57: 94\u2013124","journal-title":"Comput. Syst. Sci."},{"key":"36_CR14","doi-asserted-by":"crossref","unstructured":"Henszinger, T.A., Majumdar, R.: Symbolic model checking for rectangular hybrid systems. In: Graf, S. (ed.) TACAS 2000: Tools and algorithms for the construction and analysis of systems, Lecture Notes in Computer Science, New-York Springer, Heidelberg (2000)","DOI":"10.1007\/3-540-46419-0_11"},{"key":"36_CR15","doi-asserted-by":"crossref","unstructured":"Tomlin, C., Greenstreet, M.R. (eds.) Hybrid Systems: Computation and Control 2002, vol. 2289 of Lecture Notes in Computer Science. Springer, Stanford (2002)","DOI":"10.1007\/3-540-45873-5"},{"key":"36_CR16","doi-asserted-by":"crossref","unstructured":"Maler, O., Pnueli, A. (eds.): Hybrid Systems: Computation and Control 2003, vol. 2623 of Lecture Notes in Computer Science. Springer, Prague (2003)","DOI":"10.1007\/3-540-36580-X"},{"key":"36_CR17","doi-asserted-by":"crossref","unstructured":"Alur, R., Pappas, G.J. (eds.): Hybrid Systems: Computation and Control 2004, vol. 2993 of Lecture Notes in Computer Science. Springer, Philadelphia (2004)","DOI":"10.1007\/b96398"},{"key":"36_CR18","doi-asserted-by":"crossref","unstructured":"Morari, M., Thiele, L. (eds.): Hybrid Systems: Computation and Control 2005, vol. 3414 of Lecture Notes in Computer Science. Springer, Zurich (2005)","DOI":"10.1007\/b106766"},{"key":"36_CR19","doi-asserted-by":"crossref","unstructured":"Hespanha, J.P., Tiwari, A. (eds.): Hybrid Systems: Computation and Control 2006, volume 3927 of Lecture Notes in Computer Science. Springer-Verlag, Santa Barbara, CA, USA (2006)","DOI":"10.1007\/11730637"},{"issue":"2\u20133","key":"36_CR20","first-page":"387","volume":"34","author":"E. Haghverdi","year":"2005","unstructured":"Haghverdi E., Tabuada P. and Pappas G.J. (2005). Bisimulation relations for dynamical, control and hybrid systems. Theor. Comput. Sci. 34(2\u20133): 387\u2013392","journal-title":"Theor. Comput. Sci."},{"issue":"3","key":"36_CR21","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/A:1024050108075","volume":"13","author":"X. Koutsoukos","year":"2003","unstructured":"Koutsoukos X. and Antsaklis P. (2003). Safety and reachability of piecewise linear hybrid dynamical systems based on discrete abstractions. J. Discret. Event Dyn. Syst. Theory Appl. 13(3): 203\u2013243","journal-title":"J. Discret. Event Dyn. Syst. Theory Appl."},{"key":"36_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for the Working Mathematician","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane S. (1971). Categories for the Working Mathematician. Springer, Heidelberg"},{"issue":"1","key":"36_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/PL00009858","volume":"13","author":"G. Lafferriere","year":"2000","unstructured":"Lafferriere G., Pappas G.J. and Sastry S. (2000). O-minimal hybrid systems. Math. Control, Signals Syst. 13(1): 1\u201321","journal-title":"Math. Control, Signals Syst."},{"key":"36_CR24","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1016\/0005-1098(94)90119-8","volume":"30","author":"J. Lunze","year":"1994","unstructured":"Lunze J. (1994). Qualitative modelling of linear dynamical systems with quantized state measurements. Automatica 30: 417\u2013431","journal-title":"Automatica"},{"key":"36_CR25","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner R. (1989). Communication and Concurrency. Prentice Hall, Englewood"},{"issue":"1","key":"36_CR26","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1023\/A:1013339920783","volume":"12","author":"T. Moor","year":"2002","unstructured":"Moor T., Raisch J. and O\u2019Young S.D. (2002). Discrete supervisory control of hybrid systems based on l-complete approximations. J. Discrete Event Dyn. Syst. 12(1): 83\u2013107","journal-title":"J. Discrete Event Dyn. Syst."},{"key":"36_CR27","first-page":"317","volume-title":"Hybrid Systems, vol. 736 of Lecture Notes in Computer Science","author":"A. Nerode","year":"1993","unstructured":"Nerode A. and Kohn W. (1993). Models for hybrid systems: automata, topologies, controllability, observability. In: Grossman, R.L., Nerode, A., Ravn, A.P. and Rischel, H. (eds) Hybrid Systems, vol. 736 of Lecture Notes in Computer Science, pp 317\u2013356. Springer, Heidelberg"},{"key":"36_CR28","doi-asserted-by":"crossref","unstructured":"Pappas, G.J.: Bisimilar linear systems. Automatica, 39(12), 2035\u20132047, December (2003)","DOI":"10.1016\/j.automatica.2003.07.003"},{"key":"36_CR29","doi-asserted-by":"crossref","unstructured":"Park, D.M.R.: Concurrency and automata on infinite sequences. vol. 104 of Lecture Notes in Computer Science, pp. 167\u2013183 (1981)","DOI":"10.1007\/BFb0017309"},{"key":"36_CR30","first-page":"351","volume-title":"Hybrid Systems: Computation and Control, Lecture Notes in Computer Science","author":"S. Pancanti","year":"2002","unstructured":"Pancanti S., Leonardi L., Pallottino L. and Bicchi A. (2002). Optimal control of quantized linear systems. In: Tomlin, C. and Greenstreet, M.R. (eds) Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, pp 351\u2013363. Springer, Heidelberg"},{"issue":"6","key":"36_CR31","doi-asserted-by":"crossref","first-page":"973","DOI":"10.1137\/0216062","volume":"16","author":"R. Paige","year":"1987","unstructured":"Paige R. and Tarjan R. (1987). Three partition refinement algorithms. SIAM J. Comput. 16(6): 973\u2013989","journal-title":"SIAM J. Comput."},{"key":"36_CR32","doi-asserted-by":"crossref","unstructured":"Puri, A., Varaiya, P.: Decidability of hybrid systems with rectangular inclusions. In: Computer Aided Verification, pp. 95\u2013104 (1994)","DOI":"10.1007\/3-540-58179-0_46"},{"key":"36_CR33","doi-asserted-by":"crossref","unstructured":"Pola, G., van der Schaft, A.J., di Benedetto, M.D.: Bisimulation theory for switching linear systems. In: Proceedings of the 43rd IEEE Conference on Decision and Control, pp. 1406\u20131411, Paradise Island, Bahamas (2004)","DOI":"10.1109\/CDC.2004.1430240"},{"key":"36_CR34","volume-title":"Introduction to Mathematical Systems Theory: A Behavioral Approach","author":"J.W. Polderman","year":"1997","unstructured":"Polderman J.W. and Willems J.C. (1997). Introduction to Mathematical Systems Theory: A Behavioral Approach. Springer, New York"},{"issue":"4","key":"36_CR35","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1109\/9.664160","volume":"43","author":"J. Raisch","year":"1998","unstructured":"Raisch J. and O\u2019Young S.D. (1998). Discrete approximations and supervisory control of continuous systems. IEEE Trans. Automat. Control: Special Issue on Hybrid Systems 43(4): 569\u2013573","journal-title":"IEEE Trans. Automat. Control: Special Issue on Hybrid Systems"},{"issue":"5","key":"36_CR36","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1002\/rnc.593","volume":"11","author":"J.A. Stiver","year":"2001","unstructured":"Stiver J.A., Koutsoukos X.D. and Antsaklis P.J. (2001). An invariant based approach to the design of hybrid control systems. Int. J. Robust Nonlinear Control 11(5): 453\u2013478","journal-title":"Int. J. Robust Nonlinear Control"},{"key":"36_CR37","doi-asserted-by":"crossref","unstructured":"Stursberg, O., Kowalewski, S., Hoffmann, I., Preussig, J.: Comparing timed and hybrid automata as approximations of continuous systems. In: Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S. (eds.) Hybrid Systems IV, vol. 1273 of Lecture Notes in Computer Science, pp. 361\u2013377. Springer-Verlag, (1997)","DOI":"10.1007\/BFb0031569"},{"key":"36_CR38","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0577-7","volume-title":"Mathematical Control Theory, vol. 6 of Texts in Applied Mathematics","author":"E.D. Sontag","year":"1998","unstructured":"Sontag E.D. (1998). Mathematical Control Theory, vol. 6 of Texts in Applied Mathematics, 2nd edn . Springer, New-York","edition":"2"},{"key":"36_CR39","doi-asserted-by":"crossref","unstructured":"Tarraf, D.C., Megretski, A., Dahleh, M.A.: Finite automata approximations with error bounds for systems with quantized actuation and measurement: a case study. In: Proceedings of the 43rd IEEE conference on decision and control, pp. 1436\u20131441, Paradise Island, Bahamas (2004)","DOI":"10.1109\/CDC.2004.1430245"},{"key":"36_CR40","unstructured":"Tabuada, P., Pappas, G.J.: Finite bisimulations of controllable linear systems. In: Proceedings of the 42nd IEEE Conference on Decision and Control, Hawaii (2003)"},{"key":"36_CR41","doi-asserted-by":"crossref","unstructured":"Tabuada, P., Pappas, G.J.: Model checking LTL over controllable linear systems is decidable. In: Maler, O., Pnueli, A. (eds.) Hybrid Systems: Computation and Control, vol. 2623 of Lecture Notes in Computer Science. Springer, (2003)","DOI":"10.1007\/3-540-36580-X_36"},{"issue":"1","key":"36_CR42","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.sysconle.2003.09.013","volume":"52","author":"P. Tabuada","year":"2004","unstructured":"Tabuada P. and Pappas G.J. (2004). Bisimilar control affine systems. Syst. Control Lett. 52(1): 49\u201358","journal-title":"Syst. Control Lett."},{"issue":"12","key":"36_CR43","doi-asserted-by":"crossref","first-page":"1862","DOI":"10.1109\/TAC.2006.886494","volume":"51","author":"P. Tabuada","year":"2006","unstructured":"Tabuada P. and Pappas G.J. (2006). Linear Time Logic control of discrete-time linear systems. IEEE Trans. Automat. Control 51(12): 1862\u20131877","journal-title":"IEEE Trans. Automat. Control"},{"issue":"12","key":"36_CR44","doi-asserted-by":"crossref","first-page":"2160","DOI":"10.1109\/TAC.2004.838497","volume":"49","author":"A.J. van der Schaft","year":"2004","unstructured":"van der Schaft A.J. (2004). Equivalence of dynamical systems by bisimulation. IEEE Trans. Automat. Control 49(12): 2160\u20132172","journal-title":"IEEE Trans. Automat. Control"},{"key":"36_CR45","doi-asserted-by":"crossref","unstructured":"Vidal, R., Schaffert, S., Shakernia, O., Lygeros, J., Sastry, S.: Decidable and semi-decidable controller synthesis for classes of discrete time hybrid systems. In: Proceedings of the 40th IEEE conference on decision and control, pp. 1243\u20131248, Orlando (2001)","DOI":"10.1109\/CDC.2001.981057"},{"key":"36_CR46","volume-title":"Handbook of Logic and Foundations of Theoretical Computer Science, volume 4","author":"G. Winskel","year":"1994","unstructured":"Winskel G. and Nielsen M. (1994). Models for concurrency. In: Abramsky, Gabbay (eds) Handbook of Logic and Foundations of Theoretical Computer Science, volume 4, pp. Oxford University Press, London"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-006-0036-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00236-006-0036-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00236-006-0036-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T09:41:54Z","timestamp":1558690914000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00236-006-0036-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1,16]]},"references-count":46,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2007,1,29]]}},"alternative-id":["36"],"URL":"https:\/\/doi.org\/10.1007\/s00236-006-0036-6","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1,16]]}}}