Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
type: Item
instance of: scholarly article
title: Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems
zbMATH Open document ID: 1408.93138
author: Rong Su
author: Xiaoguang Han
author: Zengqiang Chen
published in: Systems \& Control Letters
publication date: 2019-02-27T00:00:00Z
Mathematics Subject Classification ID: 93E15
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 93B05
Mathematics Subject Classification ID: 93B50
Mathematics Subject Classification ID: 93B25
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 7030055
zbMATH Keywords: discrete event systems
zbMATH Keywords: supervisory control
zbMATH Keywords: stability and stabilization
zbMATH Keywords: Boolean semi-tensor product
MaRDI profile type: Publication
full work available at URL: j.sysconle.2018.10.014
OpenAlex ID: W2902957813
cites work: Supervisory Control of a Class of Discrete Event Processes
cites work: Optimal Supervisory Control of Discrete Event Dynamical Systems
cites work: Supervisory control of discrete event systems with communication delays and partial observations
cites work: Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
cites work: Supervisory control of switching control systems
cites work: Introduction to Discrete Event Systems
cites work: Stabilization of discrete-event processes
cites work: On optimal attraction in discrete-event processes
cites work: Stability and stabilizability of discrete event dynamic systems
cites work: Language Stability and Stabilizability of Discrete Event Dynamical Systems
cites work: Language convergence in controlled discrete-event systems
cites work: A framework for state attraction of discrete event systems under partial observation
cites work: State Attraction Under Language Specification for the Reconfiguration of Discrete Event Systems
cites work: A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
cites work: Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
cites work: Q3224871
cites work: Verification and Control of Hybrid Systems
cites work: Formal methods for discrete-time dynamical systems
cites work: Diagnosability of discrete-event systems
Wikidata QID: Q128876661
DOI: 10.1016/J.SYSCONLE.2018.10.014
description: scientific article; zbMATH DE number 7030055