Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras

DOI10.1080/00207721.2020.1783590zbMath1483.93378OpenAlexW3040592832MaRDI QIDQ5026795

No author found.

Publication date: 8 February 2022

Published in: International Journal of Systems Science (Search for Journal in Brave)

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

zbMATH Keywords

controldiscrete event systemsbehaviour analysis(max, +) algebra(min, +) algebratimed automata with guards

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Algebraic methods (93B25) Max-plus and related algebras (15A80)

Uses Software

• Uppaal

Cites Work

• Unnamed Item
• Supervisory control of \((\max,+)\) automata: a behavioral approach
• A theory of timed automata
• New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems
• Supervisory Control of a Class of Discrete Event Processes
• Modeling and analysis of timed Petri nets using heaps of pieces
• Performance evaluation of (max,+) automata
• Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra

This page was built for publication: Formal analysis and control of timed automata with guards using (max, +) and (min, +) algebras