575 search results - page 9 / 115 » Controller Synthesis for Probabilistic Systems |
HYBRID
2010
Springer
13 years 9 months ago
2010
Springer
This paper considers off-line synthesis of stabilizing static feedback control laws for discrete-time piecewise affine (PWA) systems. Two of the problems of interest within this f...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— We consider the problem of designing controllers for spatially-varying interconnected systems distributed in one spatial dimension. The matrix structure of such systems can be ...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
ATVA
2004
Springer
14 years 1 months ago
2004
Springer
— This paper considers the state feedback control of parameterized discrete event systems consisting of N similar processes for the problem of maintaining a predicate on the stat...
ECRTS
2002
IEEE
2002
IEEE
Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis
14 years 25 days ago
Real-time control systems are complex to design, and automation support is important. We are interested in systems with multiple tasks, each with multiple modes, implementing a fu...