Practical distributed control synthesis

zbMATH Open1457.68168arXiv1111.3106MaRDI QIDQ4965865FDOQ4965865

Authors: Doron Peled, Sven Schewe 

Publication date: 10 March 2021

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

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

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)

Cited In (4)

• Distributed synthesis for well-connected architectures
• Achieving distributed control through model checking
• Methods for knowledge based controlling of distributed systems
• Title not available (Why is that?)

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)