The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Filters
Similarity-Based Supervisory Control of Discrete Event Systems
[article]
2005
arXiv
pre-print
Preserved Fulltext
Other Versions
Due to the appearance of uncontrollable events in discrete event systems, one may wish to replace the behavior leading to the uncontrollability of pre-specified language by some quite similar one. ...
To capture this similarity, we introduce metric to traditional supervisory control theory and generalize the concept of original controllability to -controllability, where indicates the similarity degree ...
The purpose of this paper is to introduce the idea of similarity-based supervisory control, and we only concentrate on some basic aspects of λ-controllability. ...
arXiv:cs/0410031v2
fatcat:sq77dybxajbojjxgchwiocb5b4
Similarity-Based Supervisory Control of Discrete-Event Systems
2006
IEEE Transactions on Automatic Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
To capture this similarity, we introduce metric to traditional supervisory control of discrete event systems. ...
Due to the appearance of uncontrollable events in discrete event systems, one may wish to replace the behavior leading to the uncontrollability of pre-specified language by some quite similar one. ...
a systematic approach to controlling discrete event systems (DES). ...
doi:10.1109/tac.2005.863515
fatcat:h3ni2z46zbf3hj6ehij6lfcvai
Discussion on: Decentralized Supervisory Control of Fuzzy Discrete Event Systems
2008
European Journal of Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In addition, event-based control is highly dependent on the history of a system. ...
Main Ideas and Contributions The paper by Liu and Qiu is concerned with the decentralized supervisory control problem for fuzzy discrete event systems (FDESs) with partial and fuzzy observations. ...
doi:10.3166/ejc.14.244-246
fatcat:twyalmo2wne2fnkb3szfdeuppm
Discussion on: "Decentralized Supervisory Control of Fuzzy Discrete Event Systems"
2008
European Journal of Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In addition, event-based control is highly dependent on the history of a system. ...
Main Ideas and Contributions The paper by Liu and Qiu is concerned with the decentralized supervisory control problem for fuzzy discrete event systems (FDESs) with partial and fuzzy observations. ...
doi:10.1016/s0947-3580(08)70767-2
fatcat:n45kam3xyzcgxoey2w2mgzh7i4
Non-blocking Supervisory Control of Timed Automata using Forcible Events
2020
IFAC-PapersOnLine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Supervisory Control of Timed Automata using Forcible Events IFAC-PapersOnLine, 53(4): 356-362 http://dx. ...
The algorithm works by (iteratively) strengthening the guards of edges labeled by controllable events and invariants of locations where time progress can be preempted by forcible events. ...
Keywords: Automata, forcible event, real-time, non-blocking, supervisory control, synthesis.
INTRODUCTION Discrete-event systems (DES) are event-driven systems with a set of discrete states. ...
doi:10.1016/j.ifacol.2021.04.035
fatcat:e5veazupbfetpakpdmuvkqoiye
Supervisory Control of Discrete-Event Systems with Output: Application to Hybrid Systems
2007
American Control Conference (ACC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
of supervisory control of DES and hybrid systems so that supervisory control framework can be used to design discrete-event supervisors for hybrid systems. ...
TTCT TTCT software is used for verification and synthesis of supervisory control of discrete-event systems. ...
doi:10.1109/acc.2007.4282912
dblp:conf/acc/MahdavinezhadGA07
fatcat:3auntrmhjnburoyjkd25bifaii
Supervisory Control for Under-Load Tap-Changing Transformers Using Discrete-Event Systems
[chapter]
2010
Discrete Event Simulations
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The supervisory control of discrete-event systems can be designed to be hierarchically structured. ...
Supervisory Control of DES The supervisory control problem for a discrete-event system is formulated by modeling the plant as well as its control logic (specifications) as finite automata. ...
Supervisory Control for Under-Load Tap-Changing Transformers Using Discrete-Event Systems, Discrete Event Simulations, Aitor Goti (Ed.), ISBN: 978-953-307-115-2, InTech, Available from: http://www.intechopen.com ...
doi:10.5772/9904
fatcat:swk47ii5ebbalii2savvwfkqjy
Page 6529 of Mathematical Reviews Vol. , Issue 89K
[page]
1989
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
One of the authors has recently proposed a model of discrete- event systems based on the utilization of formal languages. He focuses here on the supervisory control of such systems. ...
M. (3-TRNT-D)
On supervisory control of real-time discrete-event systems.
Inform. Sci. 46 (1988), no. 3, 159-183. ...
Page 6670 of Mathematical Reviews Vol. , Issue 2004h
[page]
2004
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Summary: “We propose an algorithm for the hierarchical decom- position of a large automaton-based discrete-event system. ...
In the theory of supervisory control of discrete-event systems introduced by Ramadge and Wonham a process or plant is represented by a deterministic finite state automaton over an alphabet of events, which ...
Supervisory Control of Integrated Building Systems: A Balanced Approach
[chapter]
1996
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
The methodology is based on the supervisory control theory introduced by Ramadge and Wonham, through an input/output interpretation. ...
The model obtained allows the analysis of behavioral and structural properties of the supervisory control system, including reachability, liveness, invariants and synchronic distances. ...
THE SUPERVISORY CONTROL THEORY The supervisory control theory provides a suitable formal framework for the control of discrete event systems. ...
doi:10.1007/978-0-387-35065-3_6
fatcat:pgv5vaxaunbezif2bgniuu2v5i
Special issue on recent trends in discrete event systems
2012
Discrete event dynamic systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
inception, WODES has been one of the most influential series of international meetings devoted to various aspects of discrete event systems. ...
The proceedings of WODES 2010 have been published by IFAC, the International Federation of Automatic Control, and are available online at http://www.ifac-papersonline.net. ...
Lawford characterises a pseudometric for optimal supervisory control of probabilistic discrete events systems, which is employed to measure the behavioural similarity between systems. The paper by S. ...
doi:10.1007/s10626-012-0147-x
fatcat:bpmoiyet75bnxk37glr7nosn2q
Communicating Processes with Data for Supervisory Coordination
2012
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We employ supervisory controllers to safely coordinate high-level discrete(-event) behavior of distributed components of complex systems. ...
Supervisory controllers observe discrete-event system behavior, make a decision on allowed activities, and communicate the control signals to the involved parties. ...
This gave rise to supervisory control theory of discrete-event systems [20, 8] that studies automatic synthesis of (discrete-event) models of supervisory control software. ...
doi:10.4204/eptcs.91.7
fatcat:rhvxbvqfhrhp5aymg25snttz6u
Efficient Synthesis of Sensor Deception Attacks Using Observation Equivalence-Based Abstraction
2020
IFAC-PapersOnLine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The construction of the AIDA is based on the discrete model of the system and the supervisor that contains admissible control decisions and differentiates normal/abnormal behavior. ...
This paper investigates the synthesis of successful sensor deception attack functions in supervisory control using abstraction methods to reduce computational complexity. ...
SYSTEM AND ATTACK MODEL
Supervisory Control System Model Discrete system behaviors can be modeled by deterministic or nondeterministic automata. Definition 1. ...
doi:10.1016/j.ifacol.2021.04.069
fatcat:62imq55i2nev7dqdqq75clozne
Page 8743 of Mathematical Reviews Vol. , Issue 2002K
[page]
2002
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Control 47 (2002), no. 1, 37-52.
The authors consider supervisory controllers for discrete event systems. ...
In this paper the authors develop a hierarchical con- trol theory for discrete event systems based on state aggregation. ...
Discrete approximation and supervisory control of continuous systems
1998
IEEE Transactions on Automatic Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Index Terms-Discrete approximation of continuous systems, hybrid control systems, timed supervisory control. ...
Supervisory control theory for discrete-event systems (DES) is then applied to find the optimal controller which enforces the specifications. ...
Hence, this unacceptable phenomenon could not be suppressed by a control strategy based on the discrete approximation-the approximation would be useless for the purposes of control systems design. ...
doi:10.1109/9.664160
fatcat:zplu3goirbh5npldjsdoj4q4qi
« Previous
Showing results 1 — 15 out of 23,742 results