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

DOI10.1080/00207721.2020.1783590zbMATH Open1483.93378OpenAlexW3040592832MaRDI QIDQ5026795FDOQ5026795

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

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

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)

Cites Work

• A theory of timed automata
• 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
• Supervisory control of \((\max,+)\) automata: a behavioral approach
• Title not available (Why is that?)
• New representations for (max,+) automata with applications to performance evaluation and control of discrete event systems
• Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra

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

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)