Formulae relating controllability, observability, and co-observability
type: Item
instance of: scholarly article
title: Formulae relating controllability, observability, and co-observability
zbMATH Open document ID: 0911.93020
DOI: 10.1016/S0005-1098(97)00164-7
author: Ratnesh Kumar
author: Mark A. Shayman
published in: Automatica
publication date: 1999-04-23T00:00:00Z
review text: In the context of supervisory control of discrete-event systems, the notion of controllability can be used to establish necessary and sufficient conditions for the existence of a supervisor that achieves a desired controlled behavior of a given discrete-event plant under complete observation of events. If the events are not completely observed by the supervisor, but rather their observations are filtered by an observation mask, then an additional condition of observability is needed to guarantee its existence. In the more general case of decentralized supervision, more than one supervisor control the plant; the uncontrollable event set for the \(i\)-th supervisor is \(\Sigma_{ui}\), and its observation is filtered through the mask \(M_i\). In this setting, the existence condition for co-observability has been established for the case when the controlled behaviour is given as a prefix-closed language; it can also be generalized to the non-prefix-closed case. In the paper under review, the authors first obtain a relationship between controllability, observability and co-observability. Given a plant \(G\) with event set \(\Sigma\), uncontrollable event sets \(\Sigma_{ui}\), and observation masks \(M_i\) for the \(i\)-th supervisor, they prove that the infimal, prefix-closed, \((L(G),\bigcap_i \Sigma_{ui})\)-controllable and \((L(G),\Sigma_{ui},M_i)\)-co-observable superlanguage of the specification language equals the intersection (taken over all \(i\)'s) of infimal prefix-closed \((L(G),\Sigma_{ui})\)-controllable and \((L(G),M_i)\)-observable superlanguages. This result can be used to obtain the individual supervisors for decentralized control, where the \(i\)-th supervisor generates the infimal prefix-closed, \((L(G),\Sigma_{ui})\)-controllable and \((L(G),M_i)\)-observable superlanguage of the given specification.
reviewed by: Miroslav Lovrić
Mathematics Subject Classification ID: 93B07
Mathematics Subject Classification ID: 93C30
Mathematics Subject Classification ID: 93B05
Mathematics Subject Classification ID: 93A14
Mathematics Subject Classification ID: 93A13
zbMATH DE Number: 1192920
zbMATH Keywords: discrete-event system
zbMATH Keywords: supervisory control
zbMATH Keywords: controllability
zbMATH Keywords: observability
zbMATH Keywords: centralized control
zbMATH Keywords: decentralized control
zbMATH Keywords: co-observability
MaRDI profile type: Publication
cites work: Supervisory control of discrete-event processes with partial observations
cites work: Q3862379
cites work: Q4840936
cites work: The infimal closed controllable superlanguage and its application in supervisory control
cites work: On observability of discrete-event systems
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: The computational complexity of decentralized discrete-event control problems
cites work: The infimal prefix-closed and observable superlanguage of a given language
cites work: Think globally, act locally: decentralized supervisory control
full work available at URL: s0005-1098(97)00164-7
OpenAlex ID: W2017692825
description: scientific article; zbMATH DE number 1192920