SetExp: a method of transformation of timed automata into finite state automata
From MaRDI portal
(Redirected from Publication:601048)
Recommendations
Cites work
- scientific article; zbMATH DE number 1337733 (Why is no real title available?)
- scientific article; zbMATH DE number 2102690 (Why is no real title available?)
- scientific article; zbMATH DE number 938070 (Why is no real title available?)
- A framework for real-time discrete event control
- A method for the modular synthesis of controllers for timed discrete-event systems
- A new method for centralised and modular supervisory control of real-time discrete event systems
- A new method for transforming timed automata
- A supervisory control method for ensuring the conformance of real-time discrete event systems
- A theory of timed automata
- Analysis of timed systems using time-abstracting bisimulations
- Bisimilar linear systems.
- Complete test graph synthesis for symbolic real-time systems
- Diagnosability of discrete-event systems
- Grid automata and supervisory control of dense real-time discrete event systems
- Kronos: A verification tool for real-time systems
- Lectures on Concurrency and Petri Nets
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory control of timed discrete-event systems
- Symbolic model checking for real-time systems
- Testing timed automata
- Time-abstracted bisimulation: Implicit specifications and decidability
- Tools and Algorithms for the Construction and Analysis of Systems
Cited in
(2)
This page was built for publication: SetExp: a method of transformation of timed automata into finite state automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q601048)
