Download PDFOpen PDF in browser

An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems

15 pagesPublished: 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.

BibTeX entry
@inproceedings{DX'17:Algebraic_Approach_Diagnosing_Discrete,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/9Nth},
  doi       = {10.29007/n87m},
  pages     = {37-51},
  year      = {2018}}
Download PDFOpen PDF in browser