Maximizing robustness of supervisors for partially observed discrete event systems.
type: Item
instance of: scholarly article
title: Maximizing robustness of supervisors for partially observed discrete event systems.
zbMATH Open document ID: 1036.93046
author: Shigemasa Takai
published in: Automatica
publication date: 2004-03-14T00:00:00Z
review text: A robust supervisory control problem first addressed by \textit{J. E. R. Cury} and \textit{B. H. Krogh} [IEEE Trans. Autom. Control 44, 376--379 (1999; Zbl 1056.93563)] is considered. The problem is to synthesize a supervisor for the nominal plant model which maximizes robustness. In the article the partial observation case is considered, and the specification is described by prefix-closed languages. First, a supervisor that maximizes robustness is synthesized. This result shows that robustness can be optimized under partial observation. Next, in a special case, where all the controllable events are observable, a problem of permissiveness is solved as well. In this case the maximally permissive supervisor for the nominal plant model which maximizes not only the robustness but also permissiveness for the maximal set of admissible plant variations is synthesized.
reviewed by: Alex V. Kolnogorov
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 93B35
zbMATH DE Number: 2056284
zbMATH Keywords: discrete event system
zbMATH Keywords: supervisory control
zbMATH Keywords: partial observation
zbMATH Keywords: robustness
zbMATH Keywords: maximally permissive supervisor
zbMATH Keywords: prefix-closed languages
describes a project that uses: UMDES
MaRDI profile type: Publication
full work available at URL: j.automatica.2003.11.006
OpenAlex ID: W2043344842
cites work: Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
cites work: Robust nonblocking supervisory control of discrete-event systems
cites work: Formulas for calculating supremal controllable and normal sublanguages
cites work: Q4719062
cites work: Supervisory control of discrete-event processes with partial observations
cites work: Robustness of supervisors for discrete-event systems
cites work: Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage
cites work: On-line control of partially observed discrete event systems
cites work: Extremal solutions of inequations over lattices with applications to supervisory control
cites work: Formulae relating controllability, observability, and co-observability
cites work: Robust and adaptive supervisory control of discrete event systems
cites work: On observability of discrete-event systems
cites work: Supervisory control of timed discrete-event systems under partial observation
cites work: Online supervisor synthesis for partially observed discrete-event systems
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: Robust supervisory control of a class of timed discrete event systems under partial observation
cites work: Synthesis of maximally permissive and robust supervisors for prefix-closed language specifications
DOI: 10.1016/J.AUTOMATICA.2003.11.006
Recommended article: Robust and fault-tolerant supervisory control of discrete event systems with partial observation and model uncertainty
Recommended article: Robust supervisory control of a class of timed discrete event systems under partial observation
Recommended article: Supervisory Control of Probabilistic Discrete Event Systems Under Partial Observation
Recommended article: Efficient robust supervisors for discrete event systems
Recommended article: Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
Recommended article: Robust nonblocking supervisory control of discrete-event systems under partial observation
Recommended article: Robust and nonblocking supervisor for discrete-event systems with model uncertainty under partial observation
Recommended article: Supervisory control of discrete-event processes with partial observations
Recommended article: Supervisory control of a class of concurrent discrete event systems under partial observation
Recommended article: Robust supervisory control of discrete event systems against intermittent loss of observations
description: scientific article; zbMATH DE number 2056284