Supervisory control of (max,+) automata: extensions towards applications

DOI10.1080/00207179.2015.1048295zbMath1335.93088OpenAlexW2405175978MaRDI QIDQ2799292

Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond

Publication date: 8 April 2016

Published in: International Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207179.2015.1048295

zbMATH Keywords

supervisory controldiscrete event systems(\(\max,+\)) automatalogical and timed behaviors

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Cellular automata (computational aspects) (68Q80) Max-plus and related algebras (15A80)

Related Items (3)

A contribution to the determinization of max-plus automata ⋮ Modeling and analysis of switching max-plus linear systems with discrete-event feedback ⋮ Approximately global optimal control for max-plus linear systems and its application on load distribution

Cites Work

• Unnamed Item
• Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton
• Supervisory control of \((\max,+)\) automata: a behavioral approach
• On observability of discrete-event systems
• Interval analysis and dioid: application to robust controller design for timed event graphs
• Compositions of (max,+) automata
• Sequential?
• L¹group consensus of multi-agent systems with stochastic inputs under directed interaction topology
• Series which are both max-plus and min-plus rational are unambiguous
• The infimal closed controllable superlanguage and its application in supervisory control
• A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata
• Just-in-time control of time-varying discrete event dynamic systems in (max,+) algebra
• Supervisory control of timed discrete-event systems
• Modeling and analysis of timed Petri nets using heaps of pieces
• Internal model control and max-algebra: controller design
• Max-Plus Control Design for Temporal Constraints Meeting in Timed Event Graphs
• Model predictive control for max-plus-linear discrete event systems

This page was built for publication: Supervisory control of (max,+) automata: extensions towards applications