{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T07:02:17Z","timestamp":1778137337418,"version":"3.51.4"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030001506","type":"print"},{"value":"9783030001513","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-00151-3_16","type":"book-chapter","created":{"date-parts":[[2018,8,25]],"date-time":"2018-08-25T09:54:31Z","timestamp":1535190871000},"page":"271-287","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Tropical Abstractions of Max-Plus Linear Systems"],"prefix":"10.1007","author":[{"given":"Muhammad Syifa\u2019ul","family":"Mufid","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dieky","family":"Adzkiya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Abate","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,26]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Adzkiya, D.: Finite abstractions of max-plus-linear systems: theory and algorithms. Ph.D. thesis, Delft University of Technology (2014)","DOI":"10.1109\/ACC.2013.6580515"},{"key":"16_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-642-40196-1_22","volume-title":"Quantitative Evaluation of Systems","author":"D Adzkiya","year":"2013","unstructured":"Adzkiya, D., Abate, A.: VeriSiMPL: verification via biSimulations of MPL models. In: Joshi, K., Siegle, M., Stoelinga, M., D\u2019Argenio, P.R. (eds.) QEST 2013. LNCS, vol. 8054, pp. 274\u2013277. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40196-1_22"},{"issue":"12","key":"16_CR3","doi-asserted-by":"publisher","first-page":"3039","DOI":"10.1109\/TAC.2013.2273299","volume":"58","author":"D Adzkiya","year":"2013","unstructured":"Adzkiya, D., De Schutter, B., Abate, A.: Finite abstractions of max-plus-linear systems. IEEE Trans. Autom. Control 58(12), 3039\u20133053 (2013)","journal-title":"IEEE Trans. Autom. Control"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.automatica.2015.01.002","volume":"53","author":"D Adzkiya","year":"2015","unstructured":"Adzkiya, D., De Schutter, B., Abate, A.: Computational techniques for reachability analysis of max-plus-linear systems. Automatica 53, 293\u2013302 (2015)","journal-title":"Automatica"},{"key":"16_CR5","volume-title":"Synchronization and Linearity: An Algebra for Discrete Event Systems","author":"F Baccelli","year":"1992","unstructured":"Baccelli, F., Cohen, G., Olsder, G.J., Quadrat, J.-P.: Synchronization and Linearity: An Algebra for Discrete Event Systems. Wiley, Hoboken (1992)"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1016\/S0024-3795(02)00655-9","volume":"367","author":"P Butkovi\u010d","year":"2003","unstructured":"Butkovi\u010d, P.: Max-algebra: the linear algebra of combinatorics? Linear Algebra Appl. 367, 313\u2013335 (2003)","journal-title":"Linear Algebra Appl."},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/3-540-52148-8_17","volume-title":"Automatic Verification Methods for Finite State Systems","author":"DL Dill","year":"1990","unstructured":"Dill, D.L.: Timing assumptions and verification of finite-state concurrent systems. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol. 407, pp. 197\u2013212. Springer, Heidelberg (1990). https:\/\/doi.org\/10.1007\/3-540-52148-8_17"},{"issue":"6","key":"16_CR8","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/367766.368168","volume":"5","author":"RW Floyd","year":"1962","unstructured":"Floyd, R.W.: Algorithm 97: shortest path. Commun. ACM 5(6), 345 (1962)","journal-title":"Commun. ACM"},{"issue":"7","key":"16_CR9","doi-asserted-by":"publisher","first-page":"1085","DOI":"10.1016\/S0005-1098(01)00059-0","volume":"37","author":"W Heemels","year":"2001","unstructured":"Heemels, W., De Schutter, B., Bemporad, A.: Equivalence of hybrid dynamical models. Automatica 37(7), 1085\u20131091 (2001)","journal-title":"Automatica"},{"key":"16_CR10","volume-title":"Max Plus at Work: Modeling and Analysis of Synchronized Systems: A Course on Max-Plus Algebra and Its Applications","author":"B Heidergott","year":"2014","unstructured":"Heidergott, B., Olsder, G.J., Van der Woude, J.: Max Plus at Work: Modeling and Analysis of Synchronized Systems: A Course on Max-Plus Algebra and Its Applications. Princeton University Press, Princeton (2014)"},{"key":"16_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0346-0048-4","volume-title":"Tropical Algebraic Geometry","author":"I Itenberg","year":"2009","unstructured":"Itenberg, I., Mikhalkin, G., Shustin, E.I.: Tropical Algebraic Geometry, vol. 35. Springer, Basel (2009). https:\/\/doi.org\/10.1007\/978-3-0346-0048-4"},{"issue":"3","key":"16_CR12","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1016\/j.jlap.2011.10.004","volume":"81","author":"Q Lu","year":"2012","unstructured":"Lu, Q., Madsen, M., Milata, M., Ravn, S., Fahrenberg, U., Larsen, K.G.: Reachability analysis for timed automata using max-plus algebra. J. Logic Algebraic Program. 81(3), 298\u2013313 (2012)","journal-title":"J. Logic Algebraic Program."},{"key":"16_CR13","unstructured":"Mufid, M.S., Adzkiya, D., Abate, A.: Tropical abstractions of max-plus-linear systems (2018). arXiv:1806.04604"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-540-69738-1_20","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"M P\u00e9ron","year":"2007","unstructured":"P\u00e9ron, M., Halbwachs, N.: An abstract domain extending difference-bound matrices with disequality constraints. In: Cook, B., Podelski, A. (eds.) VMCAI 2007. LNCS, vol. 4349, pp. 268\u2013282. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-69738-1_20"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Pin, J.-E.: Tropical semirings. Idempotency, pp. 50\u201369 (1998)","DOI":"10.1017\/CBO9780511662508.004"},{"key":"16_CR16","doi-asserted-by":"publisher","unstructured":"Richards, A.: University of Oxford Advanced Research Computing (2015). Zenodo. https:\/\/doi.org\/10.5281\/zenodo.22558","DOI":"10.5281\/zenodo.22558"},{"issue":"2\u20133","key":"16_CR17","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1016\/j.laa.2006.02.038","volume":"421","author":"S Sergeev","year":"2007","unstructured":"Sergeev, S.: Max-plus definite matrix closures and their eigenspaces. Linear Algebra Appl. 421(2\u20133), 182\u2013201 (2007)","journal-title":"Linear Algebra Appl."}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00151-3_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T19:51:31Z","timestamp":1571773891000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00151-3_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030001506","9783030001513"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00151-3_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}