KIT | KIT-Bibliothek | Impressum

Examples on Verified Diagnosis of Safety Critical Dynamic Systems Based on Kaucher Interval Arithmetik

Schwab, Stefan; Stark, Oliver; Hohmann, Soeren



Zugehörige Institution(en) am KIT Institut für Regelungs- und Steuerungssysteme (IRS)
Publikationstyp Vortrag
Jahr 2017
Sprache Englisch
Identifikator KITopen ID: 1000076086
Erschienen in 10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership Applications, Reliability and Theory. (SWIM - SMART 2017), Manchester, UK, June 14 - 16, 2017
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page