English
Related papers

Related papers: Supervisory Control of Modular Discrete-Event Syst…

200 papers

Supervisor reduction procedure can be used to construct the reduced supervisor with a reduced number of states in discrete-event systems. The main concepts which are used in this procedure are control consistency of states, control cover,…

Systems and Control · Computer Science 2017-03-06 Vahid Saeidi , Ali A. Afzalian , Davood Gharavian

In this paper we present a new approach to decentralized supervisory control of large automata with communicating supervisors. We first generalize the recently developed top-down architecture of multilevel coordination control with a…

Optimization and Control · Mathematics 2014-03-21 Jan Komenda , Tomáš Masopust

We investigate deterministic and nonblocking supervisory control of discrete event systems under cyber-attacks using the ALTER (Attack Language for Transition-basEd Replacement) model. While prior works consider supervisory control that…

Systems and Control · Electrical Eng. & Systems 2026-05-26 Feng Lin , Caisheng Wang , Jun Chen , Xiang Yin

Semi-supervised learning improves the performance of supervised machine learning by leveraging methods from unsupervised learning to extract information not explicitly available in the labels. Through the design of a system that enables a…

Robotics · Computer Science 2020-07-27 Simón C. Smith , Subramanian Ramamoorthy

In discrete-event system control, the worst-case time complexity for computing a system's observer is exponential in the number of that system's states. This results in practical difficulties since some problems require calculating multiple…

Systems and Control · Electrical Eng. & Systems 2022-09-22 Richard Hugh Moulton , Behnam Behinaein Hamgini , Zahra Abedi Khouzani , Rômulo Meira-Góes , Fei Wang , Karen Rudie

In this paper, we study two kinds of singular optimal controls (SOCs for short) problems where the systems governed by forward-backward stochastic differential equations (FBSDEs for short), in which the control has two components: the…

Optimization and Control · Mathematics 2020-12-22 Liangquan Zhang

This paper investigates the problem of distributed nonblocking supervisory control for timed discrete-event systems (DESs). The distributed supervisors communicate with each other over networks subject to nondeterministic communication…

Systems and Control · Electrical Eng. & Systems 2023-09-06 Yunfeng Hou , Qingdu Li

This paper investigates the problem of consensus-based distributed control of linear time-invariant multi-channel systems subject to unknown inputs. A distributed observer-based control framework is proposed, within which observer nodes and…

Systems and Control · Electrical Eng. & Systems 2025-12-02 Ganghui Cao , Xunyuan Yin

An established trend in software engineering insists on using components (sometimes also called services or packages) to encapsulate a set of related functionalities or data. By defining interfaces specifying what functionalities they…

Software Engineering · Computer Science 2015-07-29 Daniel Ricardo dos Santos , Silvio Ranise , Serena Elisa Ponta

A general model of decentralized stochastic control called partial history sharing information structure is presented. In this model, at each step the controllers share part of their observation and control history with each other. This…

Systems and Control · Computer Science 2012-09-11 Ashutosh Nayyar , Aditya Mahajan , Demosthenis Teneketzis

We propose a new model predictive control (MPC) approach which is completely based on an observer for the state system. For this, we show semiglobally practically asymptotic stability of the closed loop for an abstract observer and…

Optimization and Control · Mathematics 2011-05-18 Jürgen Pannek , Marcus von Lossow

Optimal control provides a principled framework for transforming dynamical system models into intelligent decision-making, yet classical computational approaches are often too expensive for real-time deployment in dynamic or uncertain…

Optimization and Control · Mathematics 2026-01-01 Wuzhe Xu , Jiequn Han , Rongjie Lai

This paper investigates the structural functional observability (SFO) and structural output controllability (SOC) of a class of systems with generically diagonalizable state matrices and explores the associated minimal sensor and actuator…

Systems and Control · Electrical Eng. & Systems 2024-09-26 Yuan Zhang , Tyrone Fernando , Mohamed Darouach

This paper focuses on the problem of cyber attacks for discrete event systems under supervisory control. In more detail, the goal of the supervisor, who has a partial observation of the system evolution, is that of preventing the system…

Systems and Control · Electrical Eng. & Systems 2020-05-04 Qi Zhang , Carla Seatzu , Zhiwu Li , Alessandro Giua

In this paper, we investigate joint sensor-actuator cyber attacks in discrete event systems. We assume that attackers can attack some sensors and actuators at the same time by altering observations and control commands. Because of the…

Systems and Control · Electrical Eng. & Systems 2023-01-12 Shengbao Zheng , Shaolong Shu , Feng Lin

In this paper, new characterizations for functional observability, functional detectability, and structural functional observability (SFO) are developed, and based on them, the related optimal sensor placement problems are investigated. A…

Systems and Control · Electrical Eng. & Systems 2024-09-18 Yuan Zhang , Tyrone Fernando , Mohamed Darouach

A universal controller for any robot morphology would greatly improve computational and data efficiency. By utilizing contextual information about the properties of individual robots and exploiting their modular structure in the…

Artificial Intelligence · Computer Science 2025-09-09 Laurens Engwegen , Daan Brinks , Wendelin Böhmer

Network partitioning has gained recent attention as a pathway to enable decentralized operation and control in large-scale systems. This paper addresses the interplay between partitioning, observability, and sensor placement (SP) in dynamic…

Systems and Control · Electrical Eng. & Systems 2025-11-03 Mohamad H. Kazma , Ahmad F. Taha

Cascading failures in power systems caused by sequential tripping of components are a serious concern as they can lead to complete or partial shutdowns, disrupting vital services and causing damage and inconvenience. In prior work, we…

Systems and Control · Electrical Eng. & Systems 2026-03-12 Wasseem Al-Rousan , Caisheng Wang , Feng Lin

This paper presents an overview of the networked supervisory control framework for discrete event systems with imperfect communication networks, which can be divided into the centralized supervisory control setup and the decentralized…

Systems and Control · Electrical Eng. & Systems 2020-10-23 Yuting Zhu , Liyong Lin , Ruochen Tai , Rong Su