SetExp: a method of transformation of timed automata into finite state automata
From MaRDI portal
Publication:601048
DOI10.1007/s11241-010-9103-8zbMath1205.68210OpenAlexW2006984763MaRDI QIDQ601048
Mustapha Nourelfath, Lucien Ouedraogo, Ahmed Khoumsi
Publication date: 3 November 2010
Published in: Real-Time Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11241-010-9103-8
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A supervisory control method for ensuring the conformance of real-time discrete event systems
- A theory of timed automata
- Symbolic model checking for real-time systems
- Time-abstracted bisimulation: Implicit specifications and decidability
- Bisimilar linear systems.
- Kronos: A verification tool for real-time systems
- Grid automata and supervisory control of dense real-time discrete event systems
- A framework for real-time discrete event control
- A new method for centralised and modular supervisory control of real-time discrete event systems
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory control of timed discrete-event systems
- A method for the modular synthesis of controllers for timed discrete-event systems
- Diagnosability of discrete-event systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Lectures on Concurrency and Petri Nets
- Analysis of timed systems using time-abstracting bisimulations
- Testing timed automata
This page was built for publication: SetExp: a method of transformation of timed automata into finite state automata
