SetExp: a method of transformation of timed automata into finite state automata
type: Item
instance of: scholarly article
title: SetExp: a method of transformation of timed automata into finite state automata
zbMATH Open document ID: 1205.68210
author: Lucien Ouedraogo
author: Ahmed Khoumsi
author: Mustapha Nourelfath
published in: Real-Time Systems
publication date: 2010-11-03T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5809954
zbMATH Keywords: modeling
zbMATH Keywords: discrete event systems
zbMATH Keywords: real-time system
zbMATH Keywords: timed automata
zbMATH Keywords: finite state automata
describes a project that uses: Uppaal
describes a project that uses: Kronos
MaRDI profile type: Publication
full work available at URL: s11241-010-9103-8
OpenAlex ID: W2006984763
cites work: Q4817528
cites work: A theory of timed automata
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Lectures on Concurrency and Petri Nets
cites work: Q4264103
cites work: Supervisory control of timed discrete-event systems
cites work: Symbolic model checking for real-time systems
cites work: A method for the modular synthesis of controllers for timed discrete-event systems
cites work: Complete test graph synthesis for symbolic real-time systems
cites work: A supervisory control method for ensuring the conformance of real-time discrete event systems
cites work: A new method for transforming timed automata
cites work: Time-abstracted bisimulation: Implicit specifications and decidability
cites work: Grid automata and supervisory control of dense real-time discrete event systems
cites work: A framework for real-time discrete event control
cites work: A new method for centralised and modular supervisory control of real-time discrete event systems
cites work: Bisimilar linear systems.
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: Diagnosability of discrete-event systems
cites work: Testing timed automata
cites work: Q4896913
cites work: Analysis of timed systems using time-abstracting bisimulations
cites work: Kronos: A verification tool for real-time systems
DOI: 10.1007/S11241-010-9103-8
description: scientific article; zbMATH DE number 5809954