Supervisory control of extended timed event graphs
type: Item
instance of: scholarly article
title: Supervisory control of extended timed event graphs
zbMATH Open document ID: 1064.93029
author: Zhibing Zhuo
author: Wende Chen
published in: Acta Mathematicae Applicatae Sinica. English Series
publication date: 2004-09-22T00:00:00Z
review text: The dioid formalism is used for exploring the dynamics of extended timed event graphs (ETEGs) related to place delay. The approach to supervisory control of ETEGs yields a necessary and sufficient condition for the ideals of the set of firing time sequences of transitions to be controllable. The paper also shows that all the strongly controllable subsets of the set of firing time sequences of transitions form a complete lattice.
reviewed by: Octavian Pastravanu
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 93A13
Mathematics Subject Classification ID: 93B05
zbMATH DE Number: 2101815
zbMATH Keywords: supervisory control
zbMATH Keywords: timed event graphs
zbMATH Keywords: dioids
zbMATH Keywords: strong controllability
zbMATH Keywords: complete lattice
MaRDI profile type: Publication
full work available at URL: s10255-003-0103-5
OpenAlex ID: W2111404599
cites work: Q4304869
cites work: Supervisory control of real-time discrete-event systems using lattice theory
cites work: Minimax algebra
cites work: Q5650690
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: A characterization of realizable behavior in supervisory control of timed event graphs
cites work: Formulas for the extremal controllable sequences in timed-event graphs
DOI: 10.1007/S10255-003-0103-5
description: scientific article; zbMATH DE number 2101815