Prior Probability Model Development to Support System Safety Verification in the Presence of Anomalies

2006 ◽  
Author(s):  
S. Pullen ◽  
J. Rife ◽  
P. Enge
Keyword(s):  
Support System ◽  
Prior Probability ◽  
Probability Model ◽  
Model Development ◽  
System Safety ◽  
Safety Verification

A statistical approach to identifying closed object boundaries in images

1994 ◽  
Vol 26 (4) ◽  
pp. 831-854 ◽  
Author(s):  
Jeffrey D. Helterbrand ◽  
Noel Cressie ◽  
Jennifer L. Davidson
Keyword(s):  
Prior Probability ◽  
Statistical Approach ◽  
Transition Probability ◽  
Probability Model ◽  
Monte Carlo Algorithm ◽  
Structural Components ◽  
Stationary Model ◽  
Boundary Estimate ◽  
Image Domain ◽  
Statistical Approaches

In this research, we present a statistical theory, and an algorithm, to identify one-pixel-wide closed object boundaries in gray-scale images. Closed-boundary identification is an important problem because boundaries of objects are major features in images. In spite of this, most statistical approaches to image restoration and texture identification place inappropriate stationary model assumptions on the image domain. One way to characterize the structural components present in images is to identify one-pixel-wide closed boundaries that delineate objects. By defining a prior probability model on the space of one-pixel-wide closed boundary configurations and appropriately specifying transition probability functions on this space, a Markov chain Monte Carlo algorithm is constructed that theoretically converges to a statistically optimal closed boundary estimate. Moreover, this approach ensures that any approximation to the statistically optimal boundary estimate will have the necessary property of closure.

A Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification

2007 ◽  
Vol 15 (6) ◽  
pp. 1003-1017 ◽  
Author(s):  
Sonja Glavaski ◽  
Dharmashankar Subramanian ◽  
Kartik Ariyur ◽  
Ranjana Ghosh ◽  
Nitin Lamba ◽  
...  
Keyword(s):  
Dynamic Modeling ◽  
Support System ◽  
Life Support ◽  
Control Design ◽  
System Dynamic ◽  
Life Support System ◽  
Safety Verification ◽  
Nonlinear Hybrid

scholarly journals Key challenges in normal tissue complication probability model development and validation: towards a comprehensive strategy

2020 ◽  
Vol 148 ◽  
pp. 151-156
Author(s):  
Lisa Van den Bosch ◽  
Ewoud Schuit ◽  
Hans Paul van der Laan ◽  
Johannes B. Reitsma ◽  
Karel G.M. Moons ◽  
...  
Keyword(s):  
Normal Tissue ◽  
Probability Model ◽  
Model Development ◽  
Normal Tissue Complication Probability ◽  
Comprehensive Strategy ◽  
Development And Validation

Laser system safety investigations for PRA model development

2013 ◽  
Author(s):  
Brian K. Flemming ◽  
Laura M. Grieve ◽  
Daniel F. Huantes ◽  
Paul K. Kennedy ◽  
Matthew D. Flower
Keyword(s):  
Laser System ◽  
Model Development ◽  
System Safety
Sign in / Sign up

Export Citation Format

Share Document