{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:39:22Z","timestamp":1729654762909,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/acc.2012.6314945","type":"proceedings-article","created":{"date-parts":[[2014,7,16]],"date-time":"2014-07-16T17:55:22Z","timestamp":1405533322000},"page":"721-726","source":"Crossref","is-referenced-by-count":4,"title":["Abstraction and verification of autonomous Max-Plus-Linear systems"],"prefix":"10.1109","author":[{"given":"D.","family":"Adzkiya","sequence":"first","affiliation":[]},{"given":"B.","family":"De Schutter","sequence":"additional","affiliation":[]},{"given":"A.","family":"Abate","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/3-540-52148-8_17","article-title":"Timing assumptions and verification of finite-state concurrent systems","volume":"407","author":"dill","year":"1990","journal-title":"Automatic Verification Methods for Finite State Systems"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/S0024-3795(02)00655-9"},{"key":"12","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":"3","first-page":"791","article-title":"Reachability and invariance problems in maxplus algebra","volume":"294","author":"gaubert","year":"2003","journal-title":"Positive Systems"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/9.8644"},{"key":"1","first-page":"415","article-title":"Recursive equations and basic properties of timed Petri nets","volume":"1","author":"baccelli","year":"1992","journal-title":"Discrete Event Dynamic Systems Theory and Applications"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1287\/moor.24.2.414"},{"journal-title":"Max Plus at Work- Modeling and Analysis of Synchronized Systems A Course on Max-Plus Algebra and Its Applications","year":"2006","author":"heidergott","key":"7"},{"journal-title":"The SPIN Model Checker Primer and Reference Manual","year":"2003","author":"holzmann","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.890478"},{"key":"9","first-page":"699","article-title":"Numerical computation of spectral elements in max-plus algebra","author":"cochet-terrasson","year":"1998","journal-title":"Proceedings of the IFAC Conference on System Structure and Control"},{"journal-title":"Synchronization and Linearity An Algebra for Discrete Event Systems","year":"1992","author":"baccelli","key":"8"}],"event":{"name":"2012 American Control Conference - ACC 2012","start":{"date-parts":[[2012,6,27]]},"location":"Montreal, QC","end":{"date-parts":[[2012,6,29]]}},"container-title":["2012 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6297579\/6314593\/06314945.pdf?arnumber=6314945","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T12:50:34Z","timestamp":1498135834000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6314945\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/acc.2012.6314945","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}