Results 261 to 270 of about 41,229 (313)

Supervisory control of software systems

IEEE Transactions on Computers, 2004
We present a new paradigm to control software systems based on the supervisory control theory (SCT). Our method uses the SCT to model the execution of a software application by restricting the actions of the OS with little or no modifications in the underlying OS.
Vir V. Phoha, Amit U. Nadgar, Asok Ray, Shashi Phoha   +3 more
openaire   +1 more source

Control situations in supervisory control

Cognition, Technology & Work, 2004
It is widely acknowledged that the safe and efficient supervisory control of complex dynamic systems requires that human operators are capable of checking the state of the controlled system against given performance criteria. In addition, it is important to consider how changes in the state of the controlled system and its environment influence the ...
openaire   +1 more source

Decentralized supervisory control with communicating controllers

IEEE Transactions on Automatic Control, 2000
Summary: The decentralized control problem for discrete-event systems addressed in this paper is that of several communicating supervisory controllers, each with different information, working in concert to exactly achieve a given legal sublanguage of the uncontrolled system's language model. A novel information structure model is presented for dealing
George Barrett, Stéphane Lafortune
openaire   +1 more source

Supervisory control after perturbation

SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166), 2002
Discrete event systems undergo perturbations, such as failures, that disrupt the control system and reduce the anticipation capacities of the future evolution of the process. Using the (max,+) algebra, processes modelled by a timed event graph may be represented by a linear model.
Philippe Declerck, Roland Guihur
openaire   +2 more sources

Distributed linear supervisory control

53rd IEEE Conference on Decision and Control, 2014
In this work, we propose a distributed version of the logic-based supervisory adaptive control scheme. Given a network of agents whose dynamics contain unknown parameters, the distributed supervisory control scheme is used to assist the agents to converge to a certain set-point without requiring them to have explicit knowledge of that set-point. Unlike
Ali Khanafer 0002, Tamer Basar, Daniel Liberzon   +2 more
openaire   +1 more source

On the Architectures in Decentralized Supervisory Control

Proceedings of the 44th IEEE Conference on Decision and Control, 2006
In this paper, we clarify the notion of architecture in decentralized control, in order to investigate the realizability problem: given a discrete-event system, a desired behavior and an architecture for a decentralized control, can the desired behavior be achieved by decentralized controllers in accordance with the given architecture?
Pinchinat, Sophie, Riedweg, Stéephane
openaire   +2 more sources

Design of supervisory machine control

2003 European Control Conference (ECC), 2003
This paper presents a basis for a framework for the design of supervisory machine control. Machine behaviour is described using the task resource system (TRS) paradigm. Analysis is performed to classify system descriptions leaving room for control choices up to a certain extent: selected untimed TRS, instantiated unselected TRS and TRS constraints.
Nieuwelaar, van den, N.J.M., Mortel-Fronczak, van de, J.M., Rooda, J.E.   +2 more
openaire   +2 more sources

Supervisory controls

Journal of Investment Compliance, 2004
The focus on supervision began in the 80’s when the insider trading scandal resulted in visions of Wall Street investment bankers in handcuffs being led away from their offices. The New York Stock Exchange was on the hot seat for perceived failings. The 90s were dominated by the “price‐fixing” scandal in the over‐the‐counter markets, with OTC traders ...
openaire   +1 more source

Synthesizing Deterministic Controllers in Supervisory Control

2007
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 ...
Andreas Morgenstern, Klaus Schneider 0001   +1 more
openaire   +1 more source

Supervisory control and data acquisition

Proceedings of the IEEE, 1987
The acquisition of data, the processing of those data for use by the operator, and operator control of remote devices are the fundamental building blocks upon which all modern utility control systems are based. The systems to accomplish these functions are known as Supervisory Control and Data Acquisition (SCADA) systems.
Dennis J. Gaushell, Henry T. Darlington
openaire   +1 more source