Distributed Control of Discrete-Event Systems: A First Step

DOI10.1007/978-3-642-35179-2_2MaRDI QIDQ4909348zbMATHOpenAlexFDO

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

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)

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

Cites work

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

Cited in

(6)

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

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)