Related Experiment Video
Updated: Jul 7, 2026

Experimental Investigation of the Hierarchical Control in DC Microgrids Using a Real-time Simulator
Published on: February 14, 2025
Reliable decentralized supervisory control of discrete event systems
Abstract:
We consider a discrete event system controlled by a decentralized supervisor consisting of n local supervisors, and formulate a new decentralized supervisory control problem, called a reliable decentralized supervisory control problem. A decentralized supervisor is said to be k-reliable (1=k=n) if it exactly achieves a specification language under possible failures of any =n-k local supervisors. So, k denotes the minimal number of local supervisors required to achieve the specification. First, we present necessary and sufficient conditions for the existence of a k-reliable decentralized supervisor. Next, we consider the case that a k-reliable decentralized supervisor for a given specification language does not exist. We take two approaches in this case. In the first approach, we present an algorithm for computing a sublanguage of the specification that satisfies the existence conditions of a k-reliable decentralized supervisor. In the second one, we use a coordinator to synthesize a k-reliable decentralized supervisor without altering the specification.
Related Concept Videos
Distribution Reliability and Automation
Control Systems
At the heart...
Feedback control systems
Linear feedback systems are theoretical models that simplify analysis and design. These systems operate under the principle that their output is directly proportional to their input within certain ranges. For instance, an amplifier in a control system behaves linearly as long as the input signal remains within a specific range. However, most physical systems exhibit inherent nonlinearity...
Control Systems: Applications
In modern vehicles, control systems manage various functions to enhance performance and safety. The steering wheel and accelerator are primary inputs in a car's control system. The direction...
BIBO stability of continuous and discrete -time systems
To determine the BIBO stability, the convolution integral is utilized when a bounded continuous-time input is applied to a Linear Time-Invariant (LTI) system.
State Space Representation
Consider an RLC circuit, a...