1578 search results - page 85 / 316 » Self-healing systems - survey and synthesis |
HYBRID
2009
Springer
14 years 2 months ago
2009
Springer
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— We consider the problem of designing controllers for spatially-varying interconnected systems distributed in one spatial dimension. The matrix structure of such systems can be ...
ATVA
2006
Springer
13 years 12 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...
COST
2008
Springer
13 years 10 months ago
2008
Springer
Articulatory synthesis of speech and singing aims for modeling the production process of speech and singing as human-like or natural as possible. The state of the art is described ...
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...