63 search results - page 1 / 13 » Distributed Controller Synthesis for Local Specifications |
ICALP
2001
Springer
13 years 10 months ago
2001
Springer
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
— In this paper we present a gradient method to iteratively update local controllers of a distributed linear system driven by stochastic disturbances. The control objective is to...
AUTOMATICA
2008
13 years 6 months ago
2008
The paper presents sufficient conditions for modular (supervisory) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synth...
CONCUR
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
ICRA
2002
IEEE
13 years 11 months ago
2002
IEEE
We consider the task of assembling a large number of self controlled parts (or robots) into copies of a prescribed assembly (or formation). In particular, we introduce a way to sy...