{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T06:40:02Z","timestamp":1749192002704,"version":"3.41.0"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2025,4,22]],"date-time":"2025-04-22T00:00:00Z","timestamp":1745280000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,4,22]],"date-time":"2025-04-22T00:00:00Z","timestamp":1745280000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2025,6]]},"DOI":"10.1007\/s10626-025-00413-w","type":"journal-article","created":{"date-parts":[[2025,4,22]],"date-time":"2025-04-22T13:38:54Z","timestamp":1745329134000},"page":"69-85","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["SMT-based and fixed-point approaches for state estimation in max-plus linear systems"],"prefix":"10.1007","volume":"35","author":[{"given":"Guilherme","family":"Espindola-Winck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Hardouin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehdi","family":"Lhommeau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,4,22]]},"reference":[{"key":"413_CR1","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 (2015) Computational techniques for reachability analysis of max-plus-linear systems. Automatica 53:293\u2013302. https:\/\/doi.org\/10.1016\/j.automatica.2015.01.002","journal-title":"Automatica"},{"key":"413_CR2","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/s00454-012-9469-6","volume":"49","author":"X Allamigeon","year":"2013","unstructured":"Allamigeon X, Gaubert S, Goubault E (2013) Computing the vertices of tropical polyhedra using directed hypergraphs. Discret Comput Geom 49:247\u2013279. https:\/\/doi.org\/10.1007\/s00454-012-9469-6","journal-title":"Discret Comput Geom"},{"key":"413_CR3","volume-title":"Synchronization and linearity","author":"F Baccelli","year":"1992","unstructured":"Baccelli F, Cohen G, Olsder GJ, Quadrat J-P (1992) Synchronization and linearity, vol 1. Wiley, New York"},{"key":"413_CR4","doi-asserted-by":"crossref","unstructured":"Barrett C, Tinelli C (2018) Satisfiability modulo theories. Handarticle of model checking, pp 305\u2013343. Springer","DOI":"10.1007\/978-3-319-10575-8_11"},{"key":"413_CR5","unstructured":"Blyth TS, Janowitz MF (1972) Residuation theory. Pergamon press"},{"key":"413_CR6","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/0166-218X(85)90073-3","volume":"11","author":"P Butkovi\u010d","year":"1985","unstructured":"Butkovi\u010d P (1985) A condition for the strong regularity of matrices in the minimax algebra. Discrete Appl Math 11:209\u2013222","journal-title":"Discrete Appl Math"},{"key":"413_CR7","first-page":"203","volume":"20","author":"P Butkovi\u010d","year":"1984","unstructured":"Butkovi\u010d P, Hegedus G (1984) An elimination method for finding all solutions of the system of linear equations over an extremal algebra. Mat Obzor 20:203\u2013215","journal-title":"Mat Obzor"},{"key":"413_CR8","doi-asserted-by":"publisher","unstructured":"Candido RMF, Hardouin L, Lhommeau M, Mendes RS (2020) An algorithm to compute the inverse image of a point with respect to a nondeterministic max plus linear system. IEEE Trans Autom Control 1\u20131. https:\/\/doi.org\/10.1109\/TAC.2020.2998726","DOI":"10.1109\/TAC.2020.2998726"},{"key":"413_CR9","doi-asserted-by":"crossref","unstructured":"Candido RMF, Mendes RS, Hardouin L, Maia CA (2013) Particle filter for max-plus systems. European Control Conference, ECC 2013","DOI":"10.23919\/ECC.2013.6669397"},{"key":"413_CR10","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1016\/j.automatica.2017.11.030","volume":"94","author":"RMF Candido","year":"2018","unstructured":"Candido RMF, Hardouin L, Lhommeau M, Mendes RS (2018) Conditional reachability of uncertain max plus linear systems. Automatica 94:426\u2013435. https:\/\/doi.org\/10.1016\/j.automatica.2017.11.030","journal-title":"Automatica"},{"key":"413_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(02)00228-1","volume":"293","author":"RA Cuninghame-Green","year":"2003","unstructured":"Cuninghame-Green RA, Butkovic P (2003) The equation a$$\\otimes $$x=b$$\\otimes $$x over (max, +). Theor Comput Sci 293:3\u201312","journal-title":"Theor Comput Sci"},{"key":"413_CR12","doi-asserted-by":"publisher","unstructured":"De\u00a0Moura L, Bj\u00f8rner N (2008) Z3: an efficient SMT solver, vol 4963, pp 337\u2013340. https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24. Tools and algorithms for the construction and analysis of systems","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"413_CR13","doi-asserted-by":"publisher","unstructured":"Dill DL (1990) Timing assumptions and verification of finite-state concurrent systems, vol 407, pp 197\u2013212. https:\/\/doi.org\/10.1007\/3-540-52148-8_17","DOI":"10.1007\/3-540-52148-8_17"},{"issue":"5\u20137","key":"413_CR14","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1016\/j.LAA.2009.03.039","volume":"431","author":"L Hardouin","year":"2009","unstructured":"Hardouin L, Cottenceau B, Lhommeau M, Le Corronc E (2009) Interval systems over idempotent semiring. Linear Algebra Appl 431(5\u20137):855\u2013862. https:\/\/doi.org\/10.1016\/j.LAA.2009.03.039","journal-title":"Linear Algebra Appl"},{"issue":"1","key":"413_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1561\/2600000013","volume":"6","author":"L Hardouin","year":"2018","unstructured":"Hardouin L, Cottenceau B, Shang Y, Raisch J et al (2018) Control and state estimation for max-plus linear systems. Found Trends\u00ae Syst Control 6(1):1\u2013116","journal-title":"Found Trends\u00ae Syst Control"},{"key":"413_CR16","doi-asserted-by":"crossref","unstructured":"Heidergott B, Olsder GJ, Woude JW (2006) Max plus at work: modeling and analysis of synchronized systems: a course on max-plus algebra and its applications (vol 13). Princeton University Press","DOI":"10.1515\/9781400865239"},{"key":"413_CR17","unstructured":"Kroening D, Strichman O (2008) Decision procedures: an algorithmic point of view. Springer Publishing Company, Incorporated"},{"issue":"5","key":"413_CR18","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1023\/A:1011487725803","volume":"7","author":"GL Litvinov","year":"2001","unstructured":"Litvinov GL, Sobolevskii AN (2001) Idempotent interval analysis and optimization problems. Reliable Comput 7(5):353\u2013377. https:\/\/doi.org\/10.1023\/A:1011487725803","journal-title":"Reliable Comput"},{"issue":"9","key":"413_CR19","doi-asserted-by":"publisher","first-page":"3706","DOI":"10.1109\/TAC.2018.2887353","volume":"64","author":"RS Mendes","year":"2019","unstructured":"Mendes RS, Hardouin L, Lhommeau M (2019) Stochastic filtering of max-plus linear systems with bounded disturbances. IEEE Trans Autom Control 64(9):3706\u20133715. https:\/\/doi.org\/10.1109\/TAC.2018.2887353","journal-title":"IEEE Trans Autom Control"},{"key":"413_CR20","doi-asserted-by":"publisher","unstructured":"Min\u00e9 A (2001) A new numerical abstract domain based on difference-bound matrices, vol 2053, pp 155\u2013172. https:\/\/doi.org\/10.1007\/3-540-44978-7_10","DOI":"10.1007\/3-540-44978-7_10"},{"key":"413_CR21","doi-asserted-by":"publisher","unstructured":"Mufid MS, Adzkiya D, Abate A (2020) Symbolic reachability analysis of high dimensional max-plus linear systems. IFAC-PapersOnLine 53(4):459\u2013465. https:\/\/doi.org\/10.1016\/j.ifacol.2021.04.060. 15th IFAC Workshop on Discrete Event Systems WODES 2020","DOI":"10.1016\/j.ifacol.2021.04.060"},{"issue":"6","key":"413_CR22","doi-asserted-by":"publisher","first-page":"2700","DOI":"10.1109\/TAC.2021.3090525","volume":"67","author":"MS Mufid","year":"2022","unstructured":"Mufid MS, Adzkiya D, Abate A (2022) SMT-based reachability analysis of high dimensional interval max-plus linear systems. IEEE Trans Autom Control 67(6):2700\u20132714. https:\/\/doi.org\/10.1109\/TAC.2021.3090525","journal-title":"IEEE Trans Autom Control"},{"issue":"2","key":"413_CR23","doi-asserted-by":"publisher","first-page":"26","DOI":"10.21105\/joss.00026","volume":"1","author":"C Sanderson","year":"2016","unstructured":"Sanderson C, Curtin R (2016) Armadillo: a template-based c++ library for linear algebra. J Open Source Softw 1(2):26","journal-title":"J Open Source Softw"},{"key":"413_CR24","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1090\/conm\/495\/09704","volume":"14","author":"S Sergeev","year":"2009","unstructured":"Sergeev S (2009) Multiorder, kleene stars and cyclic projectors in the geometry of max cones. Contemp Math 14:317","journal-title":"Contemp Math"},{"key":"413_CR25","doi-asserted-by":"crossref","unstructured":"Shoaei MR, Kov\u00e1cs L, Lennartson B (2014) Supervisory control of discrete-event systems via ic3, pp 252\u2013266. Springer","DOI":"10.1007\/978-3-319-13338-6_19"},{"key":"413_CR26","doi-asserted-by":"publisher","unstructured":"Winck GE, Hardouin L, Lhommeau M (2022a) Max-plus polyhedra-based state characterization for umpl systems, pp 1037\u20131042. https:\/\/doi.org\/10.23919\/ECC55457.2022.9838188. 2022 European Control Conference (ECC)","DOI":"10.23919\/ECC55457.2022.9838188"},{"key":"413_CR27","doi-asserted-by":"publisher","unstructured":"Winck GE, Candido RMF, Hardouin L, Lhommeau M (2022b) Efficient state-estimation of uncertain max-plus linear systems with high observation noise. IFAC-PapersOnLine 55(28):228\u2013235. https:\/\/doi.org\/10.1016\/j.ifacol.2022.10.347. 16th IFAC Workshop on Discrete Event Systems WODES 2022","DOI":"10.1016\/j.ifacol.2022.10.347"},{"key":"413_CR28","doi-asserted-by":"publisher","unstructured":"Winck GE, Hardouin L, Lhommeau M, Mendes RS (2022c) Stochastic filtering scheme of implicit forms of uncertain max-plus linear systems. IEEE Trans Autom Control 67(8):4370\u20134376. https:\/\/doi.org\/10.1109\/TAC.2022.3176841","DOI":"10.1109\/TAC.2022.3176841"},{"key":"413_CR29","doi-asserted-by":"publisher","unstructured":"Winck GE, Hardouin L, Lhommeau M (2024) Comparing disjunctive and concise approaches for set-guaranteed estimation in max-plus linear systems. IFAC-PapersOnLine 58(1):36\u201341. https:\/\/doi.org\/10.1016\/j.ifacol.2024.07.007. 17th IFAC Workshop on discrete Event Systems WODES 2024","DOI":"10.1016\/j.ifacol.2024.07.007"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-025-00413-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-025-00413-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-025-00413-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T06:21:42Z","timestamp":1749190902000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-025-00413-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,22]]},"references-count":29,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2025,6]]}},"alternative-id":["413"],"URL":"https:\/\/doi.org\/10.1007\/s10626-025-00413-w","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2025,4,22]]},"assertion":[{"value":"4 September 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 April 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 April 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare that this manuscript received no funding.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing Interests"}}]}}