Distributed Control of Discrete-Event Systems: A First Step

DOI10.1007/978-3-642-35179-2_2zbMATH Open1377.68146OpenAlexW152427756MaRDI QIDQ4909348FDOQ4909348

Authors: 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

Recommendations

• Coordination control of distributed discrete-event systems
• Coordination control of distributed discrete-event systems
• Control of Modular and Distributed Discrete-Event Systems
• On decentralized and distributed control of partially-observed discrete event systems
• Control of discrete-event systems with modular or distributed structure
• Discrete event systems. Modelling and control of distributed systems
• Supervisory control of distributed discrete-event systems
• scientific article; zbMATH DE number 2150202
• Decentralized supervisory control of discrete-event systems
• scientific article; zbMATH DE number 2217847

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• On Communicating Finite-State Machines
• Correct-by-construction asynchronous implementation of modular synchronous specifications
• Supervisory Control of a Class of Discrete Event Processes
• Communicating sequential processes
• Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities
• Branching time and abstraction in bisimulation semantics
• Notes on finite asynchronous automata
• Feedback control of Petri nets based on place invariants
• A general architecture for decentralized supervisory control of discrete-event systems
• Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems
• Optimal Zielonka-type construction of deterministic asynchronous automata
• Think globally, act locally: decentralized supervisory control
• Minimal communication in a distributed discrete-event system
• Title not available (Why is that?)
• On observability of discrete-event systems
• The theory of deadlock avoidance via discrete control
• Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
• Undecidability in decentralized supervision
• Decentralized supervisory control with communicating controllers
• 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
• Title not available (Why is that?)
• Lectures on Concurrency and Petri Nets
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Distributing finite automata through Petri net synthesis
• Arbitration-free synchronization

Cited In (6)

• Automated synthesis of distributed controllers
• Partial order techniques for distributed discrete event systems: why you cannot avoid using them
• Overview of networked supervisory control with imperfect communication channels
• A control method for distributed continuous mono-T-semiflow Petri nets
• Distributed supervisory control of discrete-event systems with communication delay
• An overview of synchronous communication for control of decentralized discrete-event systems

This page was built for publication: Distributed Control of Discrete-Event Systems: A First Step

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4909348)