Related Experiment Videos
Reliable Decentralized Control of Fuzzy Discrete-Event Systems and a Test Algorithm
IEEE Transactions on Cybernetics
|August 8, 2012
Summary
This study introduces k-reliable decentralized control for fuzzy discrete-event systems (FDESs) to ensure performance despite supervisor failures. A new condition for k-reliability is presented, enabling efficient verification of decentralized control systems.
Area of Science:
- Control Systems Engineering
- Fuzzy Logic Systems
- Discrete-Event Systems
Background:
- Decentralized control of fuzzy discrete-event systems (FDESs) has been established.
- This work extends previous research to address supervisor failures in FDESs.
- The concept of k-reliability is introduced for decentralized supervisors.
Purpose of the Study:
- To develop a framework for reliable decentralized control of FDESs facing supervisor failures.
- To define and establish conditions for k-reliable decentralized supervisors.
- To provide an efficient method for verifying the existence of such supervisors.
Main Methods:
- Introduction of M̃uc-controllability and k-reliable coobservability concepts.
- Development of a necessary and sufficient condition for k-reliable decentralized supervisors.
- Design of a polynomial-time algorithm to test k-reliable coobservability.
Main Results:
- A necessary and sufficient condition for the existence of k-reliable decentralized supervisors is established.
- A constructive methodology leads to a polynomial-time algorithm for testing k-reliable coobservability.
- The complexity of checking for k-reliable decentralized supervisors is shown to be polynomial.
Conclusions:
- The proposed framework enables the design of robust decentralized control for FDESs.
- The developed conditions and algorithms facilitate the verification of reliable decentralized control.
- This research contributes to the practical implementation of fault-tolerant FDES control.
Related Concept Videos
SFG Algebra
In Signal Flow Graph (SFG) algebra, the value a node represents is determined by the sum of all signals entering that node. This summed value is then transmitted through every branch leaving the node, making the SFG a powerful tool for visualizing and analyzing control systems.
Each node in an SFG corresponds to a variable, and the interactions between nodes are represented by branches with associated gains. When multiple branches lead into a node, the value at that node is the sum of the...
Each node in an SFG corresponds to a variable, and the interactions between nodes are represented by branches with associated gains. When multiple branches lead into a node, the value at that node is the sum of the...
Control Systems
Control systems are everywhere in contemporary society, influencing diverse applications from aerospace to automated manufacturing. These systems can be found naturally within biological processes, such as blood sugar regulation and heart rate adjustment in response to stress, as well as in man-made systems like elevators and automated vehicles. A control system is essentially a network of subsystems and processes that collaboratively convert specific inputs into desired outputs.
At the heart...
At the heart...
Feedback control systems
Feedback control systems are categorized in various ways based on their design, analysis, and signal types.
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...
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...
Distribution Reliability and Automation
Distribution reliability in electrical power systems is critical for ensuring an uninterrupted power supply to consumers at minimal cost. According to IEEE Standard Terms, reliability is the probability that a device will function without failure over a specified time period or amount of usage. For electric power distribution, this translates to maintaining continuous power supply and addressing customer concerns over power outages. Several indices, as defined by IEEE Standard 1366-2012, are...
BIBO stability of continuous and discrete -time systems
System stability is a fundamental concept in signal processing, often assessed using convolution. For a system to be considered bounded-input bounded-output (BIBO) stable, any bounded input signal must produce a bounded output signal. A bounded input signal is one where the modulus does not exceed a certain constant at any point in time.
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.
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.
Transient and Steady-state Response
In control systems, test signals are essential for evaluating performance under various conditions. The ramp function is effective for systems undergoing gradual changes, while the step function is suitable for assessing systems facing sudden disturbances. For systems subjected to shock inputs, the impulse function is the most appropriate test signal.
These test signals are integral in designing control systems to exhibit two key performance aspects: transient response and steady-state response.
These test signals are integral in designing control systems to exhibit two key performance aspects: transient response and steady-state response.