Quantitatively nonblocking supervisory control of discrete-event systems
type: Item
instance of: scholarly article
title: Quantitatively nonblocking supervisory control of discrete-event systems
author: Renyuan Zhang
author: Jiahao Wang
author: Zenghui Wang
author: Kai Cai
published in: Automatica
publication date: 2024-11-04T00:00:00Z
Mathematics Subject Classification ID: 93A13
Mathematics Subject Classification ID: 93C65
zbMATH DE Number: 7938487
zbMATH Keywords: discrete-event systems
zbMATH Keywords: supervisory control
zbMATH Keywords: nonblockingness
zbMATH Keywords: automata
MaRDI profile type: Publication
cites work: Supervisory control of a rapid thermal multiprocessor
cites work: Q2733893
cites work: Supervisory control of timed discrete-event systems
cites work: Introduction to Discrete Event Systems
cites work: Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition
cites work: Multitasking supervisory control of discrete-event systems
cites work: Q4328483
cites work: Q4079524
cites work: STATE COMPLEXITY OF CONCATENATION AND COMPLEMENTATION
cites work: Nonblocking Supervisory Control of State Tree Structures
cites work: Q3992568
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: Progressive events in supervisory control and compositional verification
cites work: Supervisory control of discrete-event systems
cites work: The state complexities of some basic operations on regular languages
DOI: 10.1016/J.AUTOMATICA.2024.111879
description: scientific article; zbMATH DE number 7938487