Related references
Note: Only part of the references are listed.Containment of rumor spread in complex social networks
Lan Yang et al.
INFORMATION SCIENCES (2020)
An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems
Liang Li et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2020)
Nonblocking Supervisory Control of State-Tree Structures With Conditional-Preemption Matrices
Deguang Wang et al.
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2020)
State-based fault diagnosis of discrete-event systems with partially observable outputs
Deguang Wang et al.
INFORMATION SCIENCES (2020)
Adaptive Consensus of Two Coupled Heterogeneous Networked Systems With Bidirectional Actions
Xiaobo Li et al.
IEEE ACCESS (2020)
On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets
Dajiang Sun et al.
IEEE ACCESS (2019)
Diagnosability of Vector Discrete-Event Systems Using Predicates
Qinrui Chen et al.
IEEE ACCESS (2019)
Supervisory control of discrete-event systems: A brief history
W. M. Wonham et al.
ANNUAL REVIEWS IN CONTROL (2018)
Petri nets and Automatic Control: A historical perspective
Alessandro Giua et al.
ANNUAL REVIEWS IN CONTROL (2018)
A mixed integer linear programming optimization approach for multi-cloud capacity allocation
Michele Ciavotta et al.
JOURNAL OF SYSTEMS AND SOFTWARE (2017)
Service net algebra based on logic Petri nets
Qiang Hu et al.
INFORMATION SCIENCES (2014)
A framework for state attraction of discrete event systems under partial observation
Klaus Werner Schmidt et al.
INFORMATION SCIENCES (2014)
Verification of initial-state opacity in security applications of discrete event systems
Anooshiravan Saboori et al.
INFORMATION SCIENCES (2013)
On the Computation of Natural Observers in Discrete-Event Systems
Lei Feng et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2010)
Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis
Rong Su et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2010)
Nonblocking Hierarchical Control of Decentralized Discrete Event Systems
Klaus Schmidt et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2008)
Supervisory control architecture for discrete-event systems
Lei Feng et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2008)
Compositional synthesis of maximally permissive supervisors using supervision equivalence
Hugo Flordal et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2007)
Nonblocking supervisory control of state tree structures
Chuan Ma et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2006)
Exploiting equivalence reduction and the sweep-line method for detecting terminal states
J Billington et al.
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS (2004)