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...

Saved in:

書目詳細資料
Main Authors:	Han, Xiaoguang, Chen, Zengqiang, Su, Rong
其他作者:	School of Electrical and Electronic Engineering
格式:	Article
語言:	English
出版:	2020
主題:	Engineering::Electrical and electronic engineering Discrete Event Systems Supervisory Control
在線閱讀:	https://hdl.handle.net/10356/142044
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Nanyang Technological University
語言:	English

相似書籍

Bisimilarity control of nondeterministic discrete event systems
由: Liu, F., et al.
出版: (2014)

Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
由: Liu, F., et al.
出版: (2014)

What information really matters in supervisor reduction?
由: Su, Rong, et al.
出版: (2020)

Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
由: Su, Rong
出版: (2020)

Bisimilarity enforcing supervisory control for deterministic specifications
由: Sun, Y., et al.
出版: (2014)

Decentralized bisimilarity control of discrete event systems
由: Sun, Y., et al.
出版: (2014)

Synthesis of covert actuator and sensor attackers as supervisor synthesis
由: Lin, Liyong, et al.
出版: (2021)

A cyber attack model with bounded sensor reading alterations
由: Su, Rong
出版: (2020)

A general architecture for reliable decentralized supervisory control of discrete event systems
由: Liu, F., et al.
出版: (2014)

Reliable decentralized supervisory control of discrete event systems with communication delays
由: Liu, F., et al.
出版: (2014)

Supervisor synthesis for networked discrete event systems with delays against non-FIFO communication channels
由: Zhu, Yuting, et al.
出版: (2021)

On decidability of existence of nonblocking supervisors resilient to smart sensor attacks
由: Su, Rong
出版: (2023)

A discrete event formulation for multi-robot collision avoidance on pre-planned trajectories
由: Deplano, Diego, et al.
出版: (2021)

Synthesis of the supremal covert attacker against unknown supervisors by using observations
由: Tai, Ruochen, et al.
出版: (2023)

Designing communicating transaction processes by supervisory control theory
由: Feng, L., et al.
出版: (2013)

Enhanced supervisory control system design of an unmanned ground vehicle
由: Feng, X., et al.
出版: (2014)

Real-time supervisory control of a processor for non-preemptive execution of periodic tasks
由: Chen, P.C.Y., et al.
出版: (2014)

A General Framework for Robot Programming Using a Matrix-based Supervisory Controller
由: KOH NIAK WU
出版: (2010)

Multiq: A multi-tier multi-list based priority queue structure for stochastic discrete event simulation
由: Goh, R.S.M., et al.
出版: (2014)

Reliable supervisory control for general architecture of decentralized discrete event systems
由: Liu, F., et al.
出版: (2014)

A discrete-event approach to transcription control with dynamic event-controllability
由: Chen, P.C.Y.
出版: (2014)

Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
由: Su, Rong., et al.
出版: (2013)

Comparative study of discrete-event simulation and system dynamics for construction process planning
由: Han, S., et al.
出版: (2013)

Hybrid Formation Control of Unmanned Helicopters
由: ALI KARIMODDINI
出版: (2013)

Supervisory control of time-interval discrete event systems
由: Brandin, Bertil, et al.
出版: (2021)

Command and Control of Discrete-Event Systems: Towards Online Hierarchical Control Based on Feasible System Decomposition
由: Ngo, Quang Ha, et al.
出版: (2016)

Model checking in isomorphic module systems
由: Wang, Weilin, et al.
出版: (2020)

Discrete event command & control for networked teams with multiple missions1
由: Lewis, F.L., et al.
出版: (2014)

Privacy-preserving co-synthesis against sensor–actuator eavesdropping intruder
由: Tai, Ruochen, et al.
出版: (2023)

DYNAMIC DECISION MAKING IN AN AUTOMATED CONTAINER YARD BLOCK VIA OPTIMIZATION-EMBEDDED DISCRETE-EVENT-SIMULATION
由: JEAN-BAPTISTE CLAUDE GABRIEL BERERD
出版: (2024)

Synthesis of covert actuator and sensor attackers
由: Lin, Liyong, et al.
出版: (2022)

Synthesis of covert actuator attackers for free
由: Lin, Liyong, et al.
出版: (2022)

Major Life Events, Overconfidence, And New Venture Survival: A Resource-based View
由: Tan, Alex Tai Loong, et al.
出版: (2015)

An efficient method of matrix multiplication for heaps of pieces
由: Ware, Simon, et al.
出版: (2018)

New Exponential stability conditions for nonlinear impulsive discrete systems and nonlinear swith discrete systems with time delay
由: Jirapong Puangmalai
出版: (2018)

Synchronous composition of finite interval automata
由: Lin, Liyong, et al.
出版: (2020)

Visualization and simulation of fault-tolerant discrete event systems based on supervisor control
由: Wong, Choon Keat
出版: (2022)

Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates
由: Lin, Liyong, et al.
出版: (2020)

A distributed approach to robust control of multi-robot systems
由: Zhou, Yuan, et al.
出版: (2020)

Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach
由: Zhou, Yuan, et al.
出版: (2017)