Decentralized Similarity Control of Composite Nondeterministic Discrete Event Systems with Local Specifications

[1]  Rong Su,et al.  Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis , 2010, IEEE Transactions on Automatic Control.

[2]  Mark A. Shayman,et al.  Nonblocking supervisory control of nondeterministic systems via prioritized synchronization , 1996, IEEE Trans. Autom. Control..

[3]  Shigemasa Takai,et al.  Bisimilarity Control of Nondeterministic Discrete Event Systems under Event and State Observations , 2014, IEICE Trans. Inf. Syst..

[4]  Jan Komenda,et al.  Supervisory control of modular systems with global specification languages , 2008, Autom..

[5]  A. Overkamp.  Supervisory control using failure semantics and partial specifications , 1997 .

[6]  Weilin Deng,et al.  State-Based Decentralized Diagnosis of Bi-Fuzzy Discrete Event Systems , 2017, IEEE Transactions on Fuzzy Systems.

[7]  Feng Lin,et al.  Modeling and control of fuzzy discrete event systems , 2002, IEEE Trans. Syst. Man Cybern. Part B.

[8]  P. Ramadge,et al.  On the supermal controllable sublanguage of a given language , 1987 .

[9]  Walter Murray Wonham,et al.  Decentralized supervisory control of discrete-event systems , 1987, Inf. Sci..

[10]  Mark A. Shayman,et al.  Supervisory Control of Nondeterministic Systems with Driven Events via Prioritized Synchronization and Trajectory Models , 1995 .

[11]  Ratnesh Kumar,et al.  Control of nondeterministic discrete-event systems for bisimulation equivalence , 2007, IEEE Transactions on Automatic Control.

[12]  Weilin Deng,et al.  Bifuzzy Discrete Event Systems and Their Supervisory Control Theory , 2015, IEEE Transactions on Fuzzy Systems.

[13]  Ratnesh Kumar,et al.  A small model theorem for bisimilarity control under partial observation , 2005, Proceedings of the 2005, American Control Conference, 2005..

[14]  Michael Heymann,et al.  Discrete-event control of nondeterministic systems , 1998 .

[15]  Shigemasa Takai,et al.  Inference-Based Ambiguity Management in Decentralized Decision-Making: Decentralized Control of Discrete Event Systems , 2005, IEEE Transactions on Automatic Control.

[16]  Daowen Qiu,et al.  Supervisory control of fuzzy discrete event systems: a formal approach , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[17]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[18]  C. Desclaux,et al.  Supervisory control of discrete-event processes with partial observations , 1988 .

[19]  R. Kumar,et al.  Control of Nondeterministic Discrete Event Systems for Simulation Equivalence , 2007, IEEE Transactions on Automation Science and Engineering.

[20]  Michael Heymann,et al.  Supervisory control of concurrent discrete-event systems , 1991 .

[21]  Stéphane Lafortune,et al.  A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems , 2002, Discret. Event Dyn. Syst..

[22]  Shengbing Jiang,et al.  Decentralized control of discrete event systems with specializations to local control and concurrent systems , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[23]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[24]  Fuchun Liu,et al.  Decentralized supervisory control of fuzzy discrete event systems , 2007, 2007 European Control Conference (ECC).

[25]  Shengbing Jiang,et al.  Supervisory control of nondeterministic discrete-event systems with driven events via masked prioritized synchronization , 2002, IEEE Trans. Autom. Control..

[26]  Shigemasa Takai,et al.  Maximally Permissive Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems under Event and State Observations , 2014, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

[27]  Hai Lin,et al.  Bisimilarity enforcing supervisory control for deterministic specifications , 2014, Autom..

[28]  Weilin Deng,et al.  Supervisory Control of Fuzzy Discrete-Event Systems for Simulation Equivalence , 2015, IEEE Transactions on Fuzzy Systems.