Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems

Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems

In this paper, we investigate stability-enforcing supervisory control of nondeterministic discrete event systems (DESs) from a brand-new angle. First, the dynamics of a discrete event system (DES) are converted into an algebraic equation in the framework of Boolean semi-tensor product. Using it, sev...

Full description

Saved in:
Bibliographic Details
Main Authors: Han, Xiaoguang, Chen, Zengqiang, Su, Rong
Other Authors: School of Electrical and Electronic Engineering
Format: Article
Language:English
Published: 2020
Subjects:
Engineering::Electrical and electronic engineering
Discrete Event Systems
Supervisory Control
Online Access:https://hdl.handle.net/10356/142044
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Nanyang Technological University
Language: English
Description
Summary:In this paper, we investigate stability-enforcing supervisory control of nondeterministic discrete event systems (DESs) from a brand-new angle. First, the dynamics of a discrete event system (DES) are converted into an algebraic equation in the framework of Boolean semi-tensor product. Using it, several necessary and sufficient conditions are presented to verify whether a DES is stable or not. Second, effective verification criteria are provided for the stabilization problem of DESs. Further, a cost function of disabling controllable events at corresponding states is defined. A matrix-based methodology of finding all minimally restrictive optimal stability-enforcing supervisors is presented. Finally, two examples are provided to illustrate the theoretical results.

Similar Items