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

DOI10.1080/00207721.2020.1783590MaRDI QIDQ5026795zbMATH OpenOpenAlexFDO

Authors

Publication date 8 February 2022

Published in International Journal of Systems Science. Principles and Applications of Systems and Integration (Search for Journal in Brave)

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

zbMATH Keywords

controlbehaviour analysisdiscrete event systems(max, +) algebra(min, +) algebratimed automata with guards

Mathematics Subject Classification ID

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

Recommendations

• Reachability analysis for timed automata using max-plus algebra
• Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• On Continuous Timed Automata with Input-Determined Guards
• scientific article; zbMATH DE number 1956585
• Guarded autonomous transitions increase conciseness and expressiveness of timed automata
• An algebraic specification for CTL with time constraints
• Time-triggered conversion of guards for reachability analysis of hybrid automata

Cites work

• scientific article; zbMATH DE number 176728 (Why is no real title available?)
• A theory of timed automata
• Modeling and analysis of timed Petri nets using heaps of pieces
• Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra
• New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems
• Performance evaluation of (max,+) automata
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of \((\max,+)\) automata: a behavioral approach

Cited in

(2)

• Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra
• New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems

Describes a project that uses

Uses Software

• Uppaal

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5026795)