When the process is highly uncertain, even linear minimum phase systems must sacrifice desirable feedback control benefits to avoid an excessive ‘cost of feedback’, while preserving the robust stability. In this paper, the problem of supervisory based switching Quantitative Feedback Theory (QFT) control is proposed for the control of highly uncertain plants. According to this strategy, the unce...

Reactive synthesis and supervisory control theory both provide a design methodology for the automatic and algorithmic design of digital systems from declarative specifications. The reactive synthesis approach originates in computer science, and seeks to synthesise a system that interacts with its environment over time and that, doing so, satisfies a prescribed specification. Here, the distingui...

This report presents an application of the recently developed theory of optimal Discrete Event Supervisory (DES) control that is based on a signed real measure of regular languages. The DES control techniques are validated on an aircraft gas turbine engine simulation test bed. The test bed is implemented on a networked computer system in which two computers operate in the client-server mode. Se...

This paper presents a way that fuzzy logic can be used in high level control functions. Specifically, we examine the use of fuzzy logic in supervisory control, for selecting discrete control actions, identifying the operating environment and evaluating controller performance. Proportional integral derivative (PID) controllers are widely used in excitation control of power systems, they exh ibit...

Supervisory control synthesis encounters with computational complexity. This can be reduced by decentralized supervisory control approach. In this paper, we define intrinsic control consistency for a pair of states of the plant. G-control consistency (GCC) is another concept which is defined for a natural projection w.r.t. the plant. We prove that, if a natural projection is output control cons...

Supervisory control theory for discrete event systems is based on finite state automata whose inputs are partitioned into controllable and uncontrollable events. Well-known algorithms used in the Ramadge-Wonham framework disable or enable controllable events such that it is finally possible to reach designated final states from every reachable state. However, as these algorithms compute the lea...

We present a model of the Wisconsin Card Sorting Test, a classical neuropsychological test frequently used to assess deficits in executive functioning. The model is grounded in a cognitive architecture based on the Supervisory System theory of Norman and Shallice (1986) and evaluated against data from control subjects and several groups of neurological patients as reported by Stuss et al. (2000...

This paper presents an introduction to and a formal connection between synthesis problems for discrete event systems that have been considered, largely separately, in the two research communities of supervisory control in control engineering and reactive synthesis in computer science. By making this connection mathematically precise in a paper that attempts to be as self-contained as possible, ...

The purpose of Supervisory Control Theory (SCT) is to synthesize a controller for a plant and a specification such that the desired closed-loop behavior is enforced. Effective solvers have been constructed in the past for the setting of plants and specifications modeled by Deterministic Finite Automata (DFA). We extend the domain of the specification to Deterministic Pushdown Automata (DPDA) an...

In reinforcement learning (RL), rewards have been considered the most important feedback in understanding the environment. However, recently there have been interesting forays into other modes such as using sporadic supervisory inputs. This brings into the learning process richer information about the world of interest. In this paper, we model these supervisory inputs as specific types of instr...