An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems

15 pages•Published: January 6, 2018

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