Sciweavers

575 search results - page 1 / 115
» Controller Synthesis for Probabilistic Systems
Sort
View
AUTOMATICA
2002
80views more  AUTOMATICA 2002»
13 years 4 months ago
Robust control of nonlinear systems with parametric uncertainty
Probabilistic robustness analysis and synthesis for nonlinear systems with uncertain parameters are presented. Monte Carlo simulation is used to estimate the likelihood of system ...
Qian Wang, Robert F. Stengel
IFIP
2004
Springer
13 years 10 months ago
Controller Synthesis for Probabilistic Systems
Christel Baier, Marcus Größer, Martin L...
FOSSACS
2012
Springer
12 years 16 days ago
Synthesizing Probabilistic Composers
Synthesis from components is the automated construction of a composite system from a library of reusable components such that the system satisfies the given specification. This i...
Sumit Nain, Moshe Y. Vardi
FMCO
2005
Springer
116views Formal Methods» more  FMCO 2005»
13 years 10 months ago
Control of Modular and Distributed Discrete-Event Systems
Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems....
Jan Komenda, Jan H. van Schuppen
ICASSP
2011
IEEE
12 years 8 months ago
Prosodic control of unit-selection speech synthesis: A probabilistic approach
One problem in concatenative speech synthesis is how to incorporate prosodic factors in the unit selection. Imposing a predicted prosodic target is error-prone and does not benefi...
Christophe Veaux, Xavier Rodet