Browse our site
About
People
Research Areas
Projects
Publications
Books
Book chapters
Journal articles
In proceedings
M. Sc. Dissertations
Ph. D. Dissertations
Technical reports
Seminars
News
You are here:
Home
Publications
View
Publication details
Go back
Publication details
Main information
Title:
Safe Reliability Assessment through Probabilistic Constraint Reasoning
Publication date:
September 2014
Citation:
ECB2014b
Abstract:
Reliability quantifies the ability of a system to perform its required function under variable conditions. The adequate functioning of a system is often represented by inequality constraints, and its reliability is the probability that such constraints are satisfied, given the uncertainty the variables are subject to. Since this computation is very hard, namely when the systems are modeled with nonlinear constraints, traditional methods adopt a number of approximations, thus computing a value that may be far from the exact one. Moreover, these methods do not provide any guarantees regarding the correctness of the computed results. In this paper, we use the Probabilistic Continuous Constraints framework to efficiently compute safe bounds for the reliability of a system, and illustrate it on a number of representative examples.
In proceedings
Authors:
Elsa Carvalho
,
Jorge Cruz
,
Pedro Barahona
Book title:
Proceedings of ESREL 2014 - XXIV European Safety and Reliability Conference, Wroclaw, Poland, September 14 - 18
Series:
Safety and Reliability: Methodology and Applications
Publisher:
CRC Press
Address:
-
Volume:
-
Pages:
2269-2277
ISBN:
978-1-138-02681-0
ISSN:
-
Note:
-
Url address:
-
Publication files
File #1:
- click here to download -
pdf 685 KB
Export formats
Plain text:
Elsa Carvalho and Jorge Cruz and Pedro Barahona, Safe Reliability Assessment through Probabilistic Constraint Reasoning, , Proceedings of ESREL 2014 - XXIV European Safety and Reliability Conference, Wroclaw, Poland, September 14 - 18, Safety and Reliability: Methodology and Applications, CRC Press, ISBN 978-1-138-02681-0, Pag. 2269-2277, September 2014.
HTML:
<a href="/people/members/view.php?code=8d1b2918d558af8e9308270b485b62a8" class="author">Elsa Carvalho</a>, <a href="/people/members/view.php?code=3f6f0c9973cdaeab1a3dd815682bb0ac" class="author">Jorge Cruz</a> and <a href="/people/members/view.php?code=7e27bc13fad97e99cd21ea6914d55659" class="author">Pedro Barahona</a>, <b>Safe Reliability Assessment through Probabilistic Constraint Reasoning</b>, <u>Proceedings of ESREL 2014 - XXIV European Safety and Reliability Conference, Wroclaw, Poland, September 14 - 18</u>, Safety and Reliability: Methodology and Applications, CRC Press, ISBN 978-1-138-02681-0, Pag. 2269-2277, September 2014.
BibTeX:
@inproceedings {ECB2014b, author = {Elsa Carvalho and Jorge Cruz and Pedro Barahona}, title = {Safe Reliability Assessment through Probabilistic Constraint Reasoning}, booktitle = {Proceedings of ESREL 2014 - XXIV European Safety and Reliability Conference, Wroclaw, Poland, September 14 - 18}, series = {Safety and Reliability: Methodology and Applications}, publisher = {CRC Press}, pages = {2269-2277}, isbn = {978-1-138-02681-0}, abstract = {Reliability quantifies the ability of a system to perform its required function under variable conditions. The adequate functioning of a system is often represented by inequality constraints, and its reliability is the probability that such constraints are satisfied, given the uncertainty the variables are subject to. Since this computation is very hard, namely when the systems are modeled with nonlinear constraints, traditional methods adopt a number of approximations, thus computing a value that may be far from the exact one. Moreover, these methods do not provide any guarantees regarding the correctness of the computed results. In this paper, we use the Probabilistic Continuous Constraints framework to efficiently compute safe bounds for the reliability of a system, and illustrate it on a number of representative examples.}, month = {September}, year = {2014}, }
Publication's urls
Full url:
/publications/view.php?code=13b5493ea93d0aa936e42da013b0ec60
Friendly url:
/publications/view.php?code=ECB2014b
Go back
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541