575 search results - page 2 / 115 » Controller Synthesis for Probabilistic Systems |
DATE
2010
IEEE
13 years 11 months ago
2010
IEEE
There is a growing concern about the increasing vulnerability of future computing systems to errors in the underlying hardware. Traditional redundancy techniques are expensive for...
HYBRID
2010
Springer
13 years 10 months ago
2010
Springer
CDC
2008
IEEE
13 years 8 months ago
2008
IEEE
CDC
2008
IEEE
14 years 22 days ago
2008
IEEE
HYBRID
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuou...