575 search results - page 3 / 115 » Controller Synthesis for Probabilistic Systems |
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract-- In a first paper we studied system theoretic properties of patterned systems and solved classical control synthesis problems with the added requirement to preserve the s...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper addresses the computational overhead involved in probabilistic reachability computations for a general class of controlled stochastic hybrid systems. An approximate ...
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
ICCAD
1994
IEEE
14 years 2 hour ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
HYBRID
2000
Springer
13 years 11 months ago
2000
Springer
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...