SetExp: a method of transformation of timed automata into finite state automata
From MaRDI portal
Publication:601048
DOI10.1007/S11241-010-9103-8zbMATH Open1205.68210OpenAlexW2006984763MaRDI QIDQ601048FDOQ601048
Authors: Lucien Ouedraogo, Ahmed Khoumsi, Mustapha Nourelfath 
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
Recommendations
Cites Work
- Kronos: A verification tool for real-time systems
- A theory of timed automata
- Bisimilar linear systems.
- Title not available (Why is that?)
- Lectures on Concurrency and Petri Nets
- Symbolic model checking for real-time systems
- Supervisory Control of a Class of Discrete Event Processes
- Title not available (Why is that?)
- Diagnosability of discrete-event systems
- Analysis of timed systems using time-abstracting bisimulations
- Time-abstracted bisimulation: Implicit specifications and decidability
- Testing timed automata
- Title not available (Why is that?)
- Tools and Algorithms for the Construction and Analysis of Systems
- Supervisory control of timed discrete-event systems
- Grid automata and supervisory control of dense real-time discrete event systems
- Complete test graph synthesis for symbolic real-time systems
- A new method for transforming timed automata
- A framework for real-time discrete event control
- A new method for centralised and modular supervisory control of real-time discrete event systems
- A method for the modular synthesis of controllers for timed discrete-event systems
- A supervisory control method for ensuring the conformance of real-time discrete event systems
Cited In (2)
Uses Software
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)
