Decentralized supervisory control of discrete-event systems

F. Lin,W. Wonham

Published 1987 in Information Sciences

ABSTRACT

No abstract is available for this paper.

PUBLICATION RECORD

Publication year
1987
Venue
Information Sciences
Publication date
1987-07-01
Fields of study
Computer Science, Engineering
Identifiers
DOI 10.1016/0020-0255(88)90002-3
External record
Open on Semantic Scholar
Source metadata
Semantic Scholar

CITATION MAP

EXTRACTION MAP

CLAIMS

No claims are published for this paper.

CONCEPTS

No concepts are published for this paper.

REFERENCES

Theories of Programming Languages: Communicating Sequential Processes
1998cited by this paper
The control of discrete event systems
1989cited by this paper
Modular Supervisory Control of Discrete Event Systems
1988cited by this paper
Analysis and Optimization of Systems
1988cited by this paper
Modular feedback logic for discrete event systems
1987cited by this paper
Supervisory control of a class of discrete event processes
1987cited by this paper
Computational and combinatorial methods in systems theory
1986cited by this paper
Synchronization of Parallel Programs
1985cited by this paper
Multifacetted Modelling and Discrete Event Simulation
1984cited by this paper
On the supremal controllable sublanguage of a given language
1984cited by this paper
Concepts for Distributed Systems Design
1983cited by this paper
A Calculus of Communicating Systems
1980cited by this paper

CITED BY

Optimal investment and reinsurance in an entropy-regularised multidimensional reinforcement learning model
2026cites this paper
Asynchronous Supervisory Control of DESs With Intermittent Faults Using Labeled Petri Nets
2026influential citation
Decentralized Supervisory Control of Discrete-Event Systems in Canonical Temporal Logic
2025cites this paper
Overview and Performance Evaluation of Supervisory Controller Synthesis with Eclipse ESCET v4.0
2025cites this paper
A new algorithm for supervisor reduction/localisation of discrete-event systems
2024cites this paper
Deterministic Decentralized Supervisors for Bisimilarity Control of Nondeterministic Discrete Event Systems
2024cites this paper
Modeling and state estimation for supervisory control of networked timed discrete-event systems and their application in supervisor synthesis
2023cites this paper
Language-Based Opacity Verification in Partially Observed Petri Nets through Linear Constraints
2023cites this paper
Supervisor Synthesis for Multi-Agent Systems With Mutually Exclusive Resources
2023cites this paper
Large Language Models and Adversarial Reinforcement Learning to Automate PLCs Programming: A Preliminary Investigation
2023cites this paper
State Estimation for Decentralized Supervisory Control of Discrete-Event Systems with Communication Delays
2023cites this paper
A Fault-Tolerant and Reconfigurable Control Framework: Modeling, Design, and Synthesis
2023cites this paper
Distributed Nonblocking Supervisory Control of Timed Discrete-Event Systems with Communication Delays and Losses
2023cites this paper
A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems
2023cites this paper
Online control of discrete-event systems: A survey
2022cites this paper
A General Intersection-Based Architecture for Decentralized Supervisory Control of Discrete Event Systems
2022cites this paper
A Novel Modeling Framework for Decentralized Supervisory Control of Discrete Event Systems with Communication Delays and Losses
2022cites this paper
Deterministic supervisory control with flexible upper-bounds on observation delay and control delay
2022cites this paper
Online State Estimation for Supervisor Synthesis in Discrete-Event Systems With Communication Delays and Losses
2022cites this paper
New Approaches for Verification of Delay Coobservability of Discrete Event Systems
2021cites this paper
A New Approach for Verification of Delay Co-observability of Discrete-Event Systems
2021cites this paper
Using Subobservers to Synthesize Opacity-Enforcing Supervisors
2021cites this paper
On efficient relabeling of symmetric discrete‐event systems
2021cites this paper
An O(n2) Algorithm for Supervisor Reduction/Localization of Discrete-Event Systems
2020cites this paper
Natural Projection as Partial Model Checking
2020cites this paper
A new Petri Net Model of Working Memory to Predict the Root Causes of Attention Deficit Disorder Symptoms
2020cites this paper
Supervisors of Petri Nets
2019cites this paper
Deterministic pushdown automata as specifications for discrete event supervisory control in Isabelle
2019cites this paper
Discrete-Event Systems Supervisory Control for a Custom Power Park
2019cites this paper
An implementation method for the supervisory control of time-driven systems applied to high-voltage direct current transmission grids
2019cites this paper
Automatic Generation of Optimal Reductions of Distributions
2018cites this paper
Detectability Of Fuzzy Discrete Event Systems
2018cites this paper
Control of Robots Using Discrete Event System Theory
2018cites this paper
Composite supervisory control for symmetric discrete-event systems
2018cites this paper
Decentralized Control of Timed Discrete Event Systems with Conditional Decisions for Enforcement of Forcible Events
2018cites this paper
Ein Ansatz zur vernetzten Steuerung ereignisdiskreter Systeme
2018cites this paper
From Natural Projection to Partial Model Checking and Back
2018cites this paper
Decentralized and Distributed Supervision of Discrete-Event Systems
2018cites this paper
Commande sûre de fonctionnement et diagnostic des systèmes à événements discrets : vers une intégration de l'humain au coeur de l'industrie du futur
2018cites this paper
Feedback and Control II: Modern Methodologies
2018cites this paper
Detectability of networked discrete event systems
2018cites this paper
Local Modular Supervisory Control of Timed Discrete-Event Systems
2017cites this paper
Synthesis and implementation of logic controllers - A review
2017cites this paper
Reduction of distributions and its applications
2017cites this paper
Distributed Observability of Regular Languages is Undecidable
2017cites this paper
Supervisory Control of Networked Timed Discrete Event Systems and Its Applications to Power Distribution Networks
2017cites this paper
Application of Discrete-Event Dynamic Systems in Plant Analysis and Control
2017cites this paper
Maîtrise des Emissions Conduites des Electroniques de Puissance
2017cites this paper
Supervisory Control for High-Voltage Direct Current Transmission Systems
2017cites this paper
Fuzzy detectabilities for fuzzy discrete event systems
2017cites this paper
Decentralized supervisory control of discrete event systems without loss of information
2017cites this paper
Failsafe Mechanism Design of Multicopters Based on Supervisory Control Theory
2017cites this paper
Reduction of Distributions: Definitions, Properties, and Applications
2017cites this paper
Safety of feedback discrete event systems with unknown controllers
2017cites this paper
Supervisor localisation for large-scale discrete-event systems under partial observation
2017cites this paper
Decentralized Similarity Control of Composite Nondeterministic Discrete Event Systems with Local Specifications
2017cites this paper
Decentralized Optimal Control of Distributed Interdependent Automata With Priority Structure
2017cites this paper
Development of concurrent structural decentralised discrete event system using bisimulation concept
2016cites this paper
Analysis of Parameterized-Chain Networks: The Dependency Graph and Its Full, Consistent Subgraphs
2016cites this paper
A method for the synchronisation of networked discrete-event systems
2016cites this paper
Reliable conditional-coobservability for decentralized supervisory control of discrete event systems with conditional decisions
2016cites this paper
Robust Networked Control of Discrete Event Systems
2016cites this paper
On Distributed and Parameterized Supervisor Synthesis Problems
2016cites this paper
Knowledge-based construction of distributed constrained systems
2015cites this paper
Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
2015cites this paper
Decentralized control of distributed discrete event systems with linear dependency structure
2015cites this paper
Uma abordagem local para o controle supervisório modular de sistemas a eventos discretos temporizados
2015cites this paper
Hierarchical Interface-Based decentralized Supervisory Control
2015cites this paper
Inference-Based and Modular Decentralized Control of Manufacturing Systems with Event-Driven Dynamics
2014cites this paper
Weak invariant simulation and analysis of parameterized networks
2014cites this paper
A framework for state attraction of discrete event systems under partial observation
2014cites this paper
Supervisory Control for a Class of Discrete Event Systems for Optimal Throughput
2014cites this paper
Decentralized supervisory control of discrete event systems moving decisions closer to actions
2014cites this paper
Distributed Implementation of Constrained Systems Based on Knowledge
2014cites this paper
Opacity Of Discrete Event Systems: Analysis And Control
2014influential citation
Control of Networked Discrete Event Systems: Dealing with Communication Delays and Losses
2014cites this paper
The synthesis and PLC implementation of hybrid modular supervisors for real time control of an experimental manufacturing system
2014cites this paper
Robustness of synchronous communication protocols with delay for decentralized discrete-event control
2014cites this paper
Organizational Control of Discrete-Event Systems: A Hierarchical Multiworld Supervisor Design
2014cites this paper
Towards decentralized synthesis: Decomposable sublanguage and Joint Observability Problems
2014cites this paper
Verification of initial-state opacity in security applications of discrete event systems
2013cites this paper
Knowledge for the Distributed Implementation of Constrained Systems
2013cites this paper
Formal Verification Strategy for Statechart based Design of Reconfigurable Control of High Integrity Reactive Systems
2013cites this paper
Reinforcement Learning of Optimal Supervisor for Discrete Event Systems with Different Preferences
2013cites this paper
Robust supervisory control of networked discrete event systems
2013cites this paper
Delayed Detectability of Discrete Event Systems
2013cites this paper
Supervisory Control of Distributed Discrete-Event Systems
2013cites this paper
On analysis of deadlock and blocking freeness in isomorphic module systems
2013cites this paper
I-Detectability of Discrete-Event Systems
2013cites this paper
Supervisory control of extended finite automata using transition projection
2012cites this paper
On modeling of fuzzy hybrid systems
2012cites this paper
Generalizing the Decentralized Control of Fuzzy Discrete Event Systems
2012cites this paper
Modular Supervisory Control and Hierarchical Supervisory Control of Fuzzy Discrete-Event Systems
2012cites this paper
Control of networked discrete event systems
2012cites this paper
The Chair of the Doctoral Program
2012cites this paper
cc ) 1993 by IBFI GmbH , Schloß Dagstuhl , 66667 Wadern , Germany
2012cites this paper
Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems
2012cites this paper
Decentralized Supervisory Control of Timed Discrete Event Systems Using a Partition of the Forcible Event Set
2012cites this paper
Chapter 1 Supervisory Control of Distributed Discrete-Event Systems
2012cites this paper
On computation of coordinator in blocking decentralized supervisory control of state tree structures
2012cites this paper