575 search results - page 14 / 115 » Controller Synthesis for Probabilistic Systems |
128
Voted
AAAI
1998
15 years 4 months ago
1998
Manyimportant physical phenomena,such as temperature distribution, air flow, and acoustic waves,are describedas continuous,distributed parameterfields. Analyzingandcontrolling the...
110
Voted
ISPD
1997
ACM
15 years 7 months ago
1997
ACM
136
Voted
FSEN
2009
Springer
15 years 7 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 7 months ago
1995
Springer
140
Voted
ECAI
2010
Springer
15 years 4 months 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...