Supervisory control of discrete event systems with distinguishers
type: Item
instance of: scholarly article
title: Supervisory control of discrete event systems with distinguishers
zbMATH Open document ID: 1323.93049
author: José E. R. Cury
author: Max H. de Queiroz
author: Gustavo Bouzon
author: M. C. M. Teixeira
published in: Automatica
publication date: 2015-11-05T00:00:00Z
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 93A13
Mathematics Subject Classification ID: 93B50
Mathematics Subject Classification ID: 93B30
zbMATH DE Number: 6505044
zbMATH Keywords: discrete event systems
zbMATH Keywords: supervisory control
zbMATH Keywords: distinguishers
zbMATH Keywords: approximations
describes a project that uses: UMDES
describes a project that uses: Supremica
MaRDI profile type: Publication
full work available at URL: j.automatica.2015.03.025
OpenAlex ID: W2052063212
cites work: Introduction to Discrete Event Systems
cites work: Supervisory control of discrete-event processes with partial observations
cites work: Hierarchical Supervisory Control Based on Discrete Event Systems With Flexible Marking
cites work: Supervisory Control Architecture for Discrete-Event Systems
cites work: Compositional Verification in Supervisory Control
cites work: Minimizing the cardinality of an events set for supervisors of discrete-event dynamical systems
cites work: Decentralized Control of Discrete-Event Systems When Supervisors Observe Particular Event Occurrences
cites work: Approximating the minimal sensor selection for supervisory control
cites work: On observability of discrete-event systems
cites work: Decentralized control and coordination of discrete-event systems with partial observation
cites work: A Framework for Compositional Synthesis of Modular Nonblocking Supervisors
cites work: Verification of Nonconflict of Supervisors Using Abstractions
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: Think globally, act locally: decentralized supervisory control
cites work: Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
cites work: Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction
cites work: Hierarchical control of discrete-event systems
cites work: A general architecture for decentralized supervisory control of discrete-event systems
cites work: NP-completeness of sensor selection problems arising in partially observed discrete-event systems
cites work: On the consistency of hierarchical supervision in discrete-event systems
DOI: 10.1016/J.AUTOMATICA.2015.03.025
description: scientific article; zbMATH DE number 6505044