63 search results - page 1 / 13 » Distributed Controller Synthesis for Local Specifications |
ICALP
2001
Springer
13 years 9 months ago
2001
Springer
CDC
2009
IEEE
13 years 9 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 4 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 8 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 9 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...