English

Max-algebraic hybrid automata: Modelling and equivalences

Formal Languages and Automata Theory 2021-11-22 v1 Systems and Control Systems and Control

Abstract

This article introduces the novel framework of max-algebraic hybrid automata as a hybrid modelling language in the max-plus algebra. We show that the modelling framework unifies and extends the switching max-plus linear systems framework and is analogous to the discrete hybrid automata framework in conventional algebra. In addition, we show that the framework serves as a bridge between automata-theoretic models in max-plus algebra and switching max-plus linear systems. In doing so, we formalise the relationship between max-plus automata and switching max-plus linear systems in a behavioural sense. This also serves as another step towards importing tools for analysis and optimal control from conventional time-driven hybrid systems to discrete-event systems in max-plus algebra.

Keywords

Cite

@article{arxiv.2111.10318,
  title  = {Max-algebraic hybrid automata: Modelling and equivalences},
  author = {A. Gupta and B. De Schutter and J. van der Woude and T. van den Boom},
  journal= {arXiv preprint arXiv:2111.10318},
  year   = {2021}
}

Comments

13 pages, 6 figures, submitted to Automatica

R2 v1 2026-06-24T07:45:07.438Z