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

• scientific article; zbMATH DE number 1927560
• scientific article; zbMATH DE number 1754607
• 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)

• Distributed synthesis for well-connected architectures
• Achieving distributed control through model checking
• Methods for knowledge based controlling of distributed systems
• Towards probabilistic synchronisation of local controllers
• scientific article; zbMATH DE number 1754607 (Why is no real title available?)

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)