Practical distributed control synthesis

MaRDI QIDQ4965865zbMATHFDO

Authors Doron Peled, Sven Schewe

Publication date 10 March 2021

Full work available at URL https://arxiv.org/abs/1111.3106

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)

• Towards probabilistic synchronisation of local controllers
• scientific article; zbMATH DE number 1754607 (Why is no real title available?)
• Methods for knowledge based controlling of distributed systems
• Achieving distributed control through model checking
• 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)