Results 261 to 270 of about 9,445,647 (302)
Some of the next articles are maybe not open access.
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
An algebraic approach to supervisory control
Mathematics of Control, Signals, and Systems, 1992zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
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 +2 more sources
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 +2 more sources
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 +4 more sources
Supervisory Control with Partial Observations
2013In discrete-event systems it is often not realistic to assume that all events of such a system are observable. This is either because some events are typically not directly observable from their very nature (such as failure events, internal hidden events, etc.) or it is too costly to have sensors and observe every event that can occur in the system ...
openaire +2 more sources
Supervisory control and remote metering
Electrical Engineering, 1936Supervisory control and remote metering installations on the electrified section of the Pennsylvania Railroad are outlined herein. A brief history of the growth of electrification on this railroad, and of the supervisory control and remote metering installations which accompanied the electrification is given, together with the locations at which the ...
openaire +1 more source