Recent literature has introduced and validated a signed real measure of regular languages for quantitative analysis and synthesis of discrete-event supervisory (DES) control systems, where all events are assumed to be observable. This paper presents a modification of the language measure for supervisory control under partial observation and shows how to generalize the analysis when some of the ...

An observational study of solving discrete-event supervisory control problems is described. Five graduate students with knowledge of discrete-event system control were asked to think aloud while solving two supervisory control problems. The problem-solving sessions were recorded using audio and video equipment, and subsequently analysed using protocol analysis. Patterns and strategies in solvin...

Supervisory control deals with automated synthesis of controllers based on models of the uncontrolled system and the control requirements. In this paper we share the lessons learned from synthesizing controllers for a patient support system of an MRI scanner regarding the specification of the control requirements. We learned that strictly following the philosophy of supervisory control, which p...

This research study advances the body of knowledge of leadership studies by examining the impact of prayer on the relationship between supervisory support and employee perception of organizational equity. Studies have shown a positive correlation between prayer and motivation. Equity theory is an organizational development theory which focuses on the employee perception of workplace fairness an...

The current review focuses on how exposure to linguistic input, and count nouns in particular, affect performance on various cognitive tasks, including individuation, categorization and category learning, and inductive inference. We review two theoretical accounts of effects of words. Proponents of one account argue that words have top-down effects on cognitive tasks, and, as such, function as ...

A supervisory Adaptive Network‐based Fuzzy Inference System (SANFIS) is proposed for the empirical control of a mobile robot. This controller includes an ANFIS controller and a supervisory controller. The ANFIS controller is off‐line tuned by an adaptive fuzzy inference system, the supervisory controller is designed to compensate for the approximation error bet...

Behavioral models of human operators engaged in complex, time-critical high-risk domains, such as those typical in Human Supervisory Control (HSC) settings, are of great value because of the high cost of operator failure. We propose that Hidden Semi-Markov Models (HSMMs) can be employed to model behaviors of operators in HSC settings where there is some intermittent human interaction with a sys...

Supervisory control theory deals with problems related to the existence and the synthesis of supervisors. The role of a supervisor in a system is to control and restrict the behavior of this system in order to realize a specific behavior. When there are multiple supervisors, such systems are in fact multi-agent systems. The results of supervisory control theory are usually expressed in terms of...

This paper discusses concepts for constructing self-organizing hierarchies of agents to realize intelligent systems. Several hierarchies are introduced, including goal, model, control, and supervisory. Prior literature developed many essential components, but not general methods for organizing them into complete agents. We propose an architecture for extracting and organizing usable knowledge f...

In the Model-Based Engineering (MBE) paradigm, models are the core elements in the design process of a system from its requirements to the actual implementation of the system. By means of Supervisory Control Theory (SCT), supervisory controllers (supervisors) can be synthesized instead of designing themmanually. In this paper, a framework based on the Compositional Interchange Format for hybrid...