Practical distributed control synthesis

MaRDI QIDQ4965865zbMATH OpenFDO

Authors Doron Peled, Sven Schewe

Publication date 10 March 2021

Full work available at URL https://arxiv.org/abs/1111.3106, http://eptcs.web.cse.unsw.edu.au/paper.cgi?INFINITY2011.2

zbMATH Keywords

Petri nets

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A decidable class of asynchronous distributed controllers
• Distributed controller synthesis for local specifications
• Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge
• An overview of synchronous communication for control of decentralized discrete-event systems
• Distributed synthesis for acyclic architectures

Cited in

(5)

• Towards probabilistic synchronisation of local controllers
• Distributed controller synthesis for local specifications
• Achieving distributed control through model checking
• Methods for knowledge based controlling of distributed systems
• Distributed synthesis for well-connected architectures

This page was built for publication: Practical distributed control synthesis

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