{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:28:40Z","timestamp":1725568120454},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>A broad range of real-world systems can be defined using discrete-time hybrid systems,<\/jats:p><jats:p>e.g., chemical process plants and manufacturing systems. We characterize this application domain using a class of discrete-event systems, max-plus linear discrete-event systems,  which captures synchronization without concurrency or selection. The model framework of these hybrid systems  is non-linear in a conventional algebra, but  linear in the max-plus algebra,  thereby enabling linear-time inference. We use an observer-based framework for monitoring and diagnosing max-plus diagnostics models, and further improve computational efficiency by searching over only the most-likely space of behaviours. We illustrate our approach using a chemical process-control example.<\/jats:p>","DOI":"10.29007\/n87m","type":"proceedings-article","created":{"date-parts":[[2018,1,12]],"date-time":"2018-01-12T12:31:34Z","timestamp":1515760294000},"page":"37-21","source":"Crossref","is-referenced-by-count":0,"title":["An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems"],"prefix":"10.29007","volume":"4","author":[{"given":"Gregory","family":"Provan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"11545","event":{"name":"28th International Workshop on Principles of Diagnosis (DX'17)"},"container-title":["Kalpa Publications in Computing"],"original-title":[],"deposited":{"date-parts":[[2018,1,12]],"date-time":"2018-01-12T12:31:38Z","timestamp":1515760298000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/9Nth"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/n87m","relation":{},"ISSN":["2515-1762"],"issn-type":[{"type":"print","value":"2515-1762"}],"subject":[]}}