An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems

Gregory M. Provan

Abstract: A broad range of real-world systems can be defined using discrete-time hybrid systems, 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. Keyphrases : hybrid system diagnosis , max-plus algebra , Systems Modeling In : Marina Zanella , Ingo Pill and Alessandro Cimatti (editors). 28th International Workshop on Principles of Diagnosis (DX'17) , vol 4, pages 37--51 Links: https://easychair.org/publications/paper/9Nth https://doi.org/10.29007/n87m BibTeX entry @inproceedings{DX'17:An_Algebraic_Approach_for, author = {Gregory Provan}, title = {An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems}, booktitle = {28th International Workshop on Principles of Diagnosis (DX'17)}, editor = {Marina Zanella and Ingo Pill and Alessandro Cimatti}, series = {Kalpa Publications in Computing}, volume = {4}, pages = {37--51}, year = {2018}, publisher = {EasyChair}, bibsource = {EasyChair, https://easychair.org}, issn = {2515-1762}, url = {https://easychair.org/publications/paper/9Nth}, doi = {10.29007/n87m}}