On supervisory control of real-time discrete-event systems
type: Item
instance of: scholarly article
title: On supervisory control of real-time discrete-event systems
zbMATH Open document ID: 0664.93063
DOI: 10.1016/0020-0255(88)90048-5
author: Y. Li
author: W. Murray Wonham
published in: Information Sciences
publication date: 1988-01-01T00:00:00Z
review text: It is supposed that communications between plant G and supervisor S take place with zero time delay and that the simultaneity of events in distinct \(G_ i\) is ruled out in the theory of discrete-event systems by \textit{P. J. Ramadge} and \textit{W. M. Wonham} [SIAM J. Control Optimization 25, 206-230 (1987; Zbl 0618.93033)]. To accomodate these results with respect to real-time control constraints, the concepts of well posed supervisor and well posed language are defined. A problem is well posed if an arbitrary small change in the solution would result from a sufficiently small (but otherwise arbitrary) perturbation of the data. It is proved that centralized closed-loop supervisory control has correct real-time behaviour subject to communication delay and to simultaneity of events iff a supervisor is well posed with respect to time delay. A distributed real-time supervisor is discussed.
Mathematics Subject Classification ID: 93C99
Mathematics Subject Classification ID: 68N25
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68U20
Mathematics Subject Classification ID: 93B50
zbMATH DE Number: 4087560
zbMATH Keywords: simultaneity
zbMATH Keywords: discrete-event systems
zbMATH Keywords: well posed supervisor
zbMATH Keywords: well posed language
zbMATH Keywords: supervisory control
zbMATH Keywords: real-time behaviour
zbMATH Keywords: communication delay
reviewed by: Lubomír Bakule
MaRDI profile type: Publication
full work available at URL: 0020-0255(88)90048-5
OpenAlex ID: W2038341113
cites work: Q3777424
cites work: Decentralized supervisory control of discrete-event systems
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: Modular supervisory control of discrete-event systems
cites work: Q3681970
description: scientific article; zbMATH DE number 4087560