SetExp: a method of transformation of timed automata into finite state automata

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

zbMATH Keywords

modelingtimed automatadiscrete event systemsreal-time systemfinite state automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

State feedback control of real-time discrete event systems with infinite states

Uses Software

• Kronos
• Uppaal

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