The Internet Archive has a preservation copy of this work in our general collections.
The file type is
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
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
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
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
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
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
Discrete Event Simulations
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
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. ...
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 ...
IFIP Advances in Information and Communication Technology
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
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
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
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
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. ...
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