575 search results - page 5 / 115 » Controller Synthesis for Probabilistic Systems |
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
This paper proposes a new multiagent planning approach to coordination synthesis that views distributed agents as discrete-event processes. The connection between discreteevent co...
DAC
2009
ACM
14 years 9 months ago
2009
ACM
At runtime, an embedded control system can switch between alternative functional modes. In each mode, the system operates by using a schedule and controllers that exploit the avai...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
Many embedded control systems comprise several control loops that are closed over a network of computation nodes. In such systems, complex timing behavior and communication lead t...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— In modern robust control, control synthesis may be cast as an interpolation problem where the interpolant relates to robustness and performance criteria. In particular, robustn...
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...