Results 271 to 280 of about 41,229 (313)
Some of the next articles are maybe not open access.
Supervisory Control with Complete Observations
2013Supervisory control is control of a behavior or, equivalently, of a discrete-event system in this chapter modeled as an automaton. Supervisory control is exerted by specifying after each observation the set of enabled events. The automaton then chooses an event from the subset of enabled events, makes a transition and produces the observed event, after
Masopust, T. (Tomáš) +1 more
openaire +3 more sources
On the supervisory control of marked graphs
2008 IEEE International Conference on Industrial Engineering and Engineering Management, 2008This paper presents a control synthesis approach for discrete event systems modeled by marked graphs with uncontrollable and / or unobservable transitions. It solves forbidden state problems characterized by a set of General Mutual Exclusion Constraints.
Achour, Zied +2 more
openaire +2 more sources
Compositional Verification in Supervisory Control
SIAM Journal on Control and Optimization, 2009This paper proposes a compositional approach to verifying whether a large discrete event system is nonblocking. The new approach avoids computing the synchronous product of a large set of finite-state machines. Instead, the synchronous product is computed gradually, and intermediate results are simplified using conflict-preserving abstractions based on
Hugo Flordal, Robi Malik
openaire +1 more source
Supervisory control of timed automata
1999 European Control Conference (ECC), 1999Based on the framework of Ramadge and Wonham theory, this paper presents a methodology for the design of a supervisory control for timed discrete event systems. Timed automata in dense time domain are used as models. They are successively extended to region automata and r-region automata in which passing of time is considered as an event, either ...
Alexia Gouin +2 more
openaire +2 more sources
Supervisory control of hybrid systems
Proceedings of the IEEE, 2000In this paper, the supervisory control of hybrid systems is introduced and discussed at length. Such control systems typically arise in the computer control of continuous processes, for example, in manufacturing and chemical processes, in transportation systems, and in communication networks.
Xenofon D. Koutsoukos +3 more
openaire +1 more source
Supervisory Control of a Database Unit
Proceedings of the 44th IEEE Conference on Decision and Control, 2006To effectively enhance service availability, this paper proposes a redundancy configuration for a database unit residing in a command and control (C2) system that supports air operations. The results of modeling, supervisory control, and performance analysis of the database unit are presented.
N. Eva Wu +2 more
openaire +1 more source
Supervisory Control of Blockchain Networks
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2020Blockchain is an open distributed ledger technology that enables ledger-maintainers on a network to collaboratively synchronize and update their own distributed copies of a single global ledger, with the goal of keeping the ledger copies consistent. This paper presents a theoretical control-model formulation of the founding Satoshi Nakamoto blockchain,
openaire +1 more source
Modular Supervisory Control and Hierarchical Supervisory Control of Fuzzy Discrete-Event Systems
IEEE Transactions on Automation Science and Engineering, 2012This paper establishes modular and hierarchical supervisory control theories of Fuzzy Discrete-Event Systems (FDES). It aims to resolve the horizontal and vertical complexities present in large-scale event-driven systems, which are affected by uncertainties in their event and state representations.
Awantha Jayasiri +2 more
openaire +1 more source
Blocking and controllability of Petri nets in supervisory control
IEEE Transactions on Automatic Control, 1994Summary: This note discusses the use of Petri net languages in supervisory control theory. First it is shown that the trimming of an unbounded Petri net is not always possible and a new class of Petri net languages, that may be generated by nonblocking nets, is defined.
GIUA, ALESSANDRO, DICESARE F.
openaire +3 more sources
Model-Based Supervisory Control in Telerobotics
Presence: Teleoperators and Virtual Environments, 1996Model-based approaches can be used to confront several of the challenging performance issues in teleoperation. This paper describes a model-based supervisory control technique for telerobotics. A human-machine interface (HMI) was developed for online, interactive task segmentation and planning utilizing a world model of the telerobotic working ...
Theodore Blackmon, Lawrence W. Stark
openaire +2 more sources