575 search results - page 14 / 115 » Controller Synthesis for Probabilistic Systems |
AAAI
1998
15 years 11 days ago
1998
Manyimportant physical phenomena,such as temperature distribution, air flow, and acoustic waves,are describedas continuous,distributed parameterfields. Analyzingandcontrolling the...
ISPD
1997
ACM
15 years 3 months ago
1997
ACM
FSEN
2009
Springer
15 years 2 months ago
2009
Springer
This note aims at providing a concise and precise Travellers Guide, Phrase Book or Reference Manual to the timed automata modeling formalism introduced by Alur and Dill [7, 8]. The...
STACS
1995
Springer
15 years 2 months ago
1995
Springer
96
Voted
ECAI
2010
Springer
15 years 3 days ago
2010
Springer
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...