Filters








23,742 Hits in 6.8 sec

Similarity-Based Supervisory Control of Discrete Event Systems [article]

Yongzhi Cao, Mingsheng Ying
2005 arXiv   pre-print
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

Y. Cao, M. Ying
2006 IEEE Transactions on Automatic Control  
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

Yongzhi Cao
2008 European Journal of Control  
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"

Yongzhi Cao
2008 European Journal of Control  
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

Aida Rashidinejad, Patrick van der Graaf, Michel Reniers, Martin Fabian
2020 IFAC-PapersOnLine  
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

Pedram Mahdavinezhad, Peyman Gohari, Amir G. Aghdam
2007 American Control Conference (ACC)  
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]

Ali Afzalian, M Noorbakhsh, M. W.
2010 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

Page 6529 of Mathematical Reviews Vol. , Issue 89K [page]

1989 Mathematical Reviews  
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  
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]

J. R. Silva, R. L. C. B. Ramos, P. E. Miyagi
1996 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

Special issue on recent trends in discrete event systems

Jörg Raisch, Alessandro Giua, Thomas Moor, Stéphane Lafortune
2012 Discrete event dynamic systems  
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

Jasen Markovski
2012 Electronic Proceedings in Theoretical Computer Science  
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

Sahar Mohajerani, Rômulo Meira-Góes, Stéphane Lafortune
2020 IFAC-PapersOnLine  
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  
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

J. Raisch, S.D. O'Young
1998 IEEE Transactions on Automatic Control  
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