17 Hits in 3.4 sec

Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication

Jan Komenda, Tomáš Masopust
2017 Discrete event dynamic systems  
Namely, we extend observable events of local supervisors via communication and apply a fully decentralized computation of local supervisors. Coobservability is then guaranteed by construction.  ...  We construct a controllable and coobservable sublanguage of the specification by using additional communications between supervisors.  ...  The work was supported by RVO 67985840, by GAČR in project GA15-02532S and by the German Research Foundation (DFG) in Emmy Noether grant KR 4381/1-1 (DIAMOND).  ... 
doi:10.1007/s10626-017-0249-6 fatcat:nfaly3wj3rfg3mt2455g4b626u

Relative Observability and Coobservability of Timed Discrete-Event Systems

Kai Cai, Renyuan Zhang, W. M. Wonham
2016 IEEE Transactions on Automatic Control  
Recently we introduced relative coobservability [19] in decentralized supervisory control of untimed DES.  ...  (Rudie and Wonham, 1992 ) (Nomura and Takai, 2011) centralized/monolithic supervisory control of TDES decentralized supervisory control of TDES decentralized supervisors.  ...  Now let us consider a decentralized supervisory control problem described as follows.  ... 
doi:10.1109/tac.2015.2513370 fatcat:nvouhbh3vjesfpnwdy4iducmgy

Decentralized Supervisory Control with Communicating Supervisors Based on Top-Down Coordination Control [article]

Jan Komenda, Tomáš Masopust
2014 arXiv   pre-print
In this paper we present a new approach to decentralized supervisory control of large automata with communicating supervisors.  ...  We then apply the obtained constructive results of multilevel coordination control to decentralized supervisory control with communication, where local supervisors of subsystems within a group communicate  ...  The authors would like to thank Stéphane Lafortune and Feng Lin for a very fruitful discussion during their visit at the University of Michigan and Wayne State University.  ... 
arXiv:1403.5170v1 fatcat:jgynsvjypzbd5otdbenpeveaky

Supervisor Localization of Timed Discrete-Event Systems under Partial Observation and Communication Delay [article]

Renyuan Zhang, Kai Cai
2019 arXiv   pre-print
In this formulation, there exist multiple distinct observable event sets; thus we employ timed relative coobservability to synthesize partial-observation decentralized supervisors, and then localize these  ...  (as that of controllable events in the untimed case) but also "clock-preempting" action of forcible events.  ...  of K, and there is no existing algorithm that computes a coobservable sublanguage of K.  ... 
arXiv:1603.02023v3 fatcat:r2us67xlbjf7lgdmwgmxdypjbm

Decentralized supervisory control with communicating controllers

G. Barrett, S. Lafortune
2000 IEEE Transactions on Automatic Control  
The decentralized control problem for discrete-event systems addressed in this paper is that of several communicating supervisory controllers, each with different information, working in concert to exactly  ...  Existence results are given for the cases of when controllers do and do not anticipate future communications, and a synthesis procedure is given for the case when controllers do not anticipate communications  ...  H. van Schuppen, and D. Teneketzis for stimulating discussions on the topics of decentralized information and decentralized control with communication.  ... 
doi:10.1109/9.880613 fatcat:loa6sjmv3ndk5nq6muecucwmpu

Overview of Networked Supervisory Control with Imperfect Communication Channels [article]

Yuting Zhu and Liyong Lin and Ruochen Tai and Rong Su
2020 arXiv   pre-print
setup and the decentralized supervisory control setup.  ...  Data losses in communication channels are also considered.  ...  large number of publications on modular control and decentralized/distributed control, where a target system is comprised of a set of local agents, interacting with each other via specific synchronization  ... 
arXiv:2010.11491v1 fatcat:jiiv2f5kszbirob67jkvo7ws4q

Language Equations for Maximal Decompositions in Coordination Control

Jan Komenda, Feng Lin, Jan H. van Schuppen
2017 IFAC-PapersOnLine  
Modular supervisory control is shown to benefit from the proposed approach.  ...  Modular supervisory control is shown to benefit from the proposed approach. Abstract: The problem considered is to construct all solutions of an equation for a tuple of languages.  ...  The solution will also be useful for decentralized control problems, where larger coobservable sublanguages can be obtained. Appendix A.  ... 
doi:10.1016/j.ifacol.2017.08.2303 fatcat:qye5rtnjwrbv7alrhejrdv4qtq

Control of Modular and Distributed Discrete-Event Systems [chapter]

Jan Komenda, Jan H. van Schuppen
2006 Lecture Notes in Computer Science  
Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems.  ...  The modular control synthesis has a much lower computational complexity than the corresponding global control synthesis for the respective sublanguages.  ...  Acknowledgements Partial financial support of the Grant GA AV No. B100190609 and of the Academy of Sciences of the Czech Republic, Institutional Research Plan No.  ... 
doi:10.1007/11804192_3 fatcat:sdifcssuyvaa7frbqltzzmn7hi

Complexity of Infimal Observable Superlanguages [article]

Tomáš Masopust
2017 arXiv   pre-print
The infimal prefix-closed, controllable and observable superlanguage plays an essential role in the relationship between controllability, observability and co-observability -- the central notions of supervisory  ...  Our construction further shows that such a DFA can be computed in time O(2^n). The construction involves NFAs and a computation of the supremal prefix-closed sublanguage.  ...  We have further illustrated its relevance to decentralized supervisory control with communication [7] and to coordination control [8] .  ... 
arXiv:1703.05016v1 fatcat:j2th53g4zbb6hlyeb5wuzpa4ie

Hierarchical Interface-Based decentralized Supervisory Control

Huailiang Liu, Ryan J. Leduc, S. L. Ricker
2015 2015 54th IEEE Conference on Decision and Control (CDC)  
In decentralized control, agents have only a partial view and partial control of the system and must cooperate to achieve the control objective.  ...  Finally, we provide and prove the necessary and sufficient conditions iv for supervisory control existence in the HIDSC framework and illustrate our approach with an example.  ...  Literature Review In supervisory control of DES, the computation and complexity for many of the control solutions entail only polynomial effort in the model's state size.  ... 
doi:10.1109/cdc.2015.7402454 dblp:conf/cdc/LiuLR15 fatcat:6q674auyurf2lonjy5lnczrbtq

Observability and decentralized control of fuzzy discrete-event systems

Yongzhi Cao, Mingsheng Ying
2006 IEEE transactions on fuzzy systems  
Moreover, the infimal controllable and observable fuzzy superlanguage, and the supremal controllable and normal fuzzy sublanguage are also discussed.  ...  In this paper, we are concerned with the supervisory control problem for fuzzy discrete event systems with partial observation.  ...  Such a status of diagnosis and treatment can be logically modelled via a fuzzy DES with supervisory control, in which the drugs and the negative symptoms are thought of as events.  ... 
doi:10.1109/tfuzz.2005.864085 fatcat:keqbfvmxujfmlhiohwkepzscsu

Observability and Decentralized Control of Fuzzy Discrete Event Systems [article]

Yongzhi Cao, Mingsheng Ying
2005 arXiv   pre-print
Moreover, the infimal controllable and observable fuzzy superlanguage, and the supremal controllable and normal fuzzy sublanguage are also discussed.  ...  In this paper, we are concerned with the supervisory control problem for fuzzy discrete event systems with partial observation.  ...  DECENTRALIZED CONTROL In this section, we turn our attention to the decentralized supervisory control of a fuzzy DES that is physically distributed.  ... 
arXiv:cs/0405068v2 fatcat:aay2bbfnpjcstkhwnwvg5wi2gq

Centralized and Decentralized Supervisory Control of Nondeterministic Systems Under Partial Observation

Ratnesh Kumar, Mark A. Shayman
1997 SIAM Journal of Control and Optimization  
On the other hand, our work on decentralized control is based on a new relation between controllability, observability, coobservability, and PSC that we derive in this paper.  ...  In this paper we extend our earlier work on supervisory control of nondeterministic systems using prioritized synchronization as the mechanism of control and trajectory model as the modeling formalism  ...  In Section 4 we study the supervisory control problem under partial observation in the proposed framework and apply it for achieving mutually exclusive usage of a shared communication channel in a communication  ... 
doi:10.1137/s0363012994272903 fatcat:4isfc2dkpneczocgxrwps7o2ee

2005 Index

2005 IEEE Transactions on Automatic Control  
., + , T-AC Dec 05 2048-2053 coobservable langs. and formulas for their super/sublanguages, charactn.  ...  Yu-Chi Ho, T-AC Apr 05 537-538 computationally tractable stoch. power control laws, wireless communs.  ... 
doi:10.1109/tac.2005.862435 fatcat:e6xa5p5kmrchdkutmekl3gcmme

Coordination control of discrete-event systems revisited

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
2014 Discrete event dynamic systems  
In this paper, we revise and further investigate the coordination control approach proposed for supervisory control of distributed discrete-event systems with synchronous communication based on the Ramadge-Wonham  ...  The notions of conditional decomposability, conditional controllability, and conditional closedness ensuring the existence of a solution are carefully revised and simplified.  ...  In addition, the first author was supported by the Grant Agency of the Czech Republic under grant P103/11/0517 and the second author by the Grant Agency of the Czech Republic under grant P202/11/P028.  ... 
doi:10.1007/s10626-013-0179-x fatcat:4f7gvrrq4nfk5icp6uqlktehs4
« Previous Showing results 1 — 15 out of 17 results