A supervisory control method for ensuring the conformance of real-time discrete event systems
type: Item
instance of: scholarly article
title: A supervisory control method for ensuring the conformance of real-time discrete event systems
zbMATH Open document ID: 1101.93049
author: Ahmed Khoumsi
published in: Discrete Event Dynamic Systems
publication date: 2006-02-23T00:00:00Z
Mathematics Subject Classification ID: 93C65
zbMATH DE Number: 5009070
zbMATH Keywords: supervisory control
zbMATH Keywords: real-time discrete event systems (RTDES)
zbMATH Keywords: timed automata
zbMATH Keywords: Set-Exp-Automata
describes a project that uses: Kronos
MaRDI profile type: Publication
full work available at URL: s10626-005-4059-x
OpenAlex ID: W2028436354
cites work: A theory of timed automata
cites work: Q4036557
cites work: Reachability analysis of dynamical systems having piecewise-constant derivatives
cites work: A method for the synthesis of controllers to handle safety, liveness, and real-time constraints
cites work: Computer Aided Verification
cites work: Supervisory control of timed discrete-event systems
cites work: Q4736872
cites work: Q4942008
cites work: Ensuring the conformance of reactive discrete-event systems by means of supervisory control
cites work: A new method for transforming timed automata
cites work: On the synthesis of discrete controllers for timed systems
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: Q4896913
DOI: 10.1007/S10626-005-4059-X
description: scientific article; zbMATH DE number 5009070