This paper describes a simulation-based decision support system (DSS) to production control of a stochastic flexible job shop (SFJS) manufacturing system. The controller design approach is built around the theory of supervisory control based on discrete-event simulation with an event–condition–action (ECA) real-time rule-based system. The proposed controller constitutes the framework of an adap...

This article presents the design and implementation of a controller scheme for efficient resource management in Advanced Life Support Systems. In the proposed approach, a switching hybrid system model is used to represent the dynamics of the system components and their interactions. The operational specifications for the controller are represented by utility functions, and the corresponding res...

Model checkers for program verification have enjoyed considerable success in recent years. In the control systems domain, however, they suffer from an inability to account for the physical environment. For control systems, simulation is the most widely used approach for validating system designs. We present a new technique that uses a software model checker to perform a systematic simulation of...

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...

In this contribution, we propose a two-level hierarchical control strategy to solve the problem of minimising a cost function for a switched affine system under safety and liveness constraints. The constraints are handled on the lower level by a discrete supervisory controller designed using l-complete approximation. Its action can be represented as state invariants added to the plant model. In...

In today's competitive electric market, utilities are expected to provide highly reliable power supplies at the lowest possible cost. Distribution automation and remote control are recognized as ways for intelligently using appropriate technology to increase the reliability at reduced system operation cost, automated operations and service restoration can eliminate the need to send out the pers...

This paper describes the robust performance of fuzzy supervisory control (FSC) approach for the seismic response control of cable-stayed bridges. FSC is a hybrid control method with the hierarchical structure of several sub-controllers and fuzzy supervisor. Each sub-controller is preliminarily designed to reduce the selected response of the structure only, and a fuzzy supervisor is introduced t...

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...

Ab.macl The dimension of tbe guard lOne along with its bounds for the Generalised Learning Algorithm (P"thak and Pal. 1986) is determined 1'01' optimum learning. The dimension is found to be dynamic dependlllg on the input sequence and tbe current estimates of classification parameters. Incorporation of tbis higher-order knowledge in a supervisory program improves the system performance. The pe...