245 search results - page 1 / 49 » Parametric probabilistic transition systems for system desig... |
FAC
2007
13 years 4 months ago
2007
Abstract. We develop a model of Parametric Probabilistic Transition Systems, where probabilities associated with transitions may be parameters. We show how to find instances of th...
AUTOMATICA
2002
13 years 4 months ago
2002
Probabilistic robustness analysis and synthesis for nonlinear systems with uncertain parameters are presented. Monte Carlo simulation is used to estimate the likelihood of system ...
EWC
2010
13 years 2 months ago
2010
Tensegrity structures are lightweight structures composed of cables in tension and struts in compression. Since tensegrity systems exhibit geometrically nonlinear behavior, findin...
SOFSEM
2007
Springer
13 years 11 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
SIAMSC
2008
13 years 4 months ago
2008
A model-constrained adaptive sampling methodology is proposed for reduction of large-scale systems with high-dimensional parametric input spaces. Our model reduction method uses a ...