{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:20:10Z","timestamp":1762521610610},"reference-count":33,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2013,12,1]],"date-time":"2013-12-01T00:00:00Z","timestamp":1385856000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/tac.2013.2273299","type":"journal-article","created":{"date-parts":[[2013,7,15]],"date-time":"2013-07-15T18:04:20Z","timestamp":1373911460000},"page":"3039-3053","source":"Crossref","is-referenced-by-count":19,"title":["Finite Abstractions of Max-Plus-Linear Systems"],"prefix":"10.1109","volume":"58","author":[{"given":"Dieky","family":"Adzkiya","sequence":"first","affiliation":[]},{"given":"Bart","family":"De Schutter","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Abate","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2050001"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58468-4_180"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-3-540-78929-1_21","volume":"4981","author":"kloetzer","year":"2008","journal-title":"Proc Hybrid Syst Computation and Control (HSCC'08)"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.2307\/1910129"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.890478"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0024-3795(00)00013-6"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2003.07.003"},{"key":"ref13","author":"milner","year":"1989","journal-title":"Communication and Concurrency"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.1981.1102596"},{"key":"ref15","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/3-540-52148-8_17","volume":"407","author":"dill","year":"1990","journal-title":"Automatic Verification Methods for Finite State Systems"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2072530"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1016\/S0005-1098(01)00059-0","article-title":"Equivalence of hybrid dynamical models","volume":"37","author":"heemels","year":"2001","journal-title":"Automatica"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/367766.368168"},{"key":"ref4","author":"heidergott","year":"2006","journal-title":"Max Plus at Work-Modeling and Analysis of Synchronized Systems A Course on Max-Plus Algebra and Its Applications"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/9.8644"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69738-1_20"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377701"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1090\/qam\/102435","article-title":"On a routing problem","volume":"16","author":"bellman","year":"1958","journal-title":"Q Appl Math"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582196"},{"key":"ref8","author":"baccelli","year":"1992","journal-title":"Synchronization and Linearity An Algebra for Discrete Event Systems"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2012.03.007"},{"key":"ref2","first-page":"415","article-title":"Recursive equations and basic properties of timed Petri nets","volume":"1","author":"baccelli","year":"1992","journal-title":"Discrete Event Dynam Syst Theory Appl"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-44928-7_4"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6314945"},{"key":"ref20","first-page":"53","volume":"2075","author":"abdulla","year":"2001","journal-title":"Applications and Theory of Petri Nets"},{"key":"ref22","first-page":"253","volume":"8054","author":"adzkiya","year":"2013","journal-title":"Proc Int Conf Quantitative Evaluation of Syst (QEST'13)"},{"key":"ref21","author":"holzmann","year":"2003","journal-title":"The SPIN Model Checker Primer and Reference Manual"},{"key":"ref24","first-page":"699","article-title":"Numerical computation of spectral elements in max-plus algebra","author":"cochet-terrasson","year":"1998","journal-title":"Proc IFAC Conf Syst Structure and Control"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/0165-0114(91)90130-I"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1287\/moor.24.2.414"},{"key":"ref25","article-title":"On the transience of linear max-plus dynamical systems","volume":"abs 1111 4600","author":"charron-bost","year":"2011","journal-title":"CoRR"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/6670077\/06558835.pdf?arnumber=6558835","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:36:48Z","timestamp":1638218208000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6558835\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":33,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tac.2013.2273299","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,12]]}}}