Computer Science – Logic in Computer Science
Scientific paper
2011-11-14
EPTCS 73, 2011, pp. 2-17
Computer Science
Logic in Computer Science
In Proceedings INFINITY 2011, arXiv:1111.2678
Scientific paper
10.4204/EPTCS.73.2
Classic distributed control problems have an interesting dichotomy: they are either trivial or undecidable. If we allow the controllers to fully synchronize, then synthesis is trivial. In this case, controllers can effectively act as a single controller with complete information, resulting in a trivial control problem. But when we eliminate communication and restrict the supervisors to locally available information, the problem becomes undecidable. In this paper we argue in favor of a middle way. Communication is, in most applications, expensive, and should hence be minimized. We therefore study a solution that tries to communicate only scarcely and, while allowing communication in order to make joint decision, favors local decisions over joint decisions that require communication.
Peled Doron
Schewe Sven
No associations
LandOfFree
Practical Distributed Control Synthesis does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Practical Distributed Control Synthesis, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Practical Distributed Control Synthesis will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-216667