Distributed Control of Discrete-Event Systems: A First Step

DOI10.1007/978-3-642-35179-2_2zbMath1377.68146MaRDI QIDQ4909348

Laurie Ricker, Philippe Darondeau

Publication date: 13 March 2013

Published in: Transactions on Petri Nets and Other Models of Concurrency VI (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35179-2_2

Mathematics Subject Classification ID

93C65: Discrete event control/observation systems

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

An Overview of Synchronous Communication for Control of Decentralized Discrete-Event Systems, Overview of networked supervisory control with imperfect communication channels, Distributed supervisory control of discrete-event systems with communication delay, Automated Synthesis of Distributed Controllers

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On observability of discrete-event systems
• A general architecture for decentralized supervisory control of discrete-event systems
• Distributing finite automata through Petri net synthesis
• Feedback control of Petri nets based on place invariants
• Undecidability in decentralized supervision
• Decentralized supervisory control with communicating controllers
• Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata
• On Communicating Finite-State Machines
• Supervisory Control of a Class of Discrete Event Processes
• Notes on finite asynchronous automata
• Think globally, act locally: decentralized supervisory control
• Communicating sequential processes
• Branching time and abstraction in bisimulation semantics
• Decentralized Supervisory Control of Discrete-Event Systems Over Communication Networks
• Minimization of Communication of Event Occurrences in Acyclic Discrete Event Systems
• On Solvability of a Decentralized Supervisory Control Problem With Communication
• Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
• Arbitration-free synchronization
• The theory of deadlock avoidance via discrete control
• Minimal communication in a distributed discrete-event system
• Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
• Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities
• Lectures on Concurrency and Petri Nets
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science