575 search results - page 21 / 115 » Controller Synthesis for Probabilistic Systems |
ATVA
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— We explore the control synthesis problem for a robot dynamically manipulating an object in the presence of multiple frictional contacts. Contacts occur both between the object ...
LATIN
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We introduce distributed games over asynchronous transition systems to model a distributed controller synthesis problem. A game involves two teams and is not turn-based: ...
FDL
2005
IEEE
14 years 1 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
FASE
2009
Springer
14 years 2 months ago
2009
Springer
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...