Application of quantifier elimination to robust reliability under severe uncertainty conditions by using the info-gap decision theory (IGDT)

• Main Author: Ioakimidis, Nikolaos
• Other Authors: Ιωακειμίδης, Νικόλαος
• Language: English
• Published: Αυτο-έκδοση 2021
• Subjects: Severe uncertainty; Info-gap; Information-gap; IGDT; Decision theory; Models; Non-probabilistic methods; Robust reliability; Reliability region; Robustness; Opportuneness; Opportunity; Hertzian contact; Spring; Stiffness; Project; Activity paths; Activity durations; Gap-closing electrostatic actuator; Quantifier elimination; Quantifier-free formulae; Mathematica; Σοβαρή αβεβαιότητα; Κενό πληροφοριών; Πληροφοριακό κενό; Θεωρία αποφάσεων; Μοντέλα; Μη πιθανοτικές μέθοδοι; Ισχυρή αξιοπιστία; Περιοχή αξιοπιστίας; Ανθεκτικότητα; Επιτευξιμότητα; Ευκαιρία; Επαφή τύπου Hertz; Ελατήριο; Σταθερά ελατηρίου; Έργο; Διαδρομές δραστηριότητας; Διάρκειες δραστηριότητας; Ηλεκτροστατικός ενεργοποιητής κλεισίματος κενού; Απαλοιφή ποσοδεικτών; Τύποι χωρίς ποσοδείκτες

Ben-Haim's info-gap (or information-gap) decision theory (IGDT) constitutes a very interesting and popular method for the study of problems in engineering and in many other scientific disciplines under severe uncertainty conditions. On the other hand, quantifier elimination constitutes an equal...