Verified Diagnosis of Safety Critical Dynamic Systems Based on Kaucher Interval Arithmetic
| Zugehörige Institution(en) am KIT | Institut für Regelungs- und Steuerungssysteme (IRS) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsdatum | 09.07.2017 |
| Sprache | Englisch |
| Identifikator | ISSN: 2405-8963 KITopen-ID: 1000076085 |
| Erschienen in | 20th IFAC World Congress, Toulouse, F, July 9-14, 2017 |
| Seiten | 13414-13421 |
| Serie | IFAC-PapersOnLine ; 50 |
| Schlagwörter | Fault detection, diagnosis, Bounded error identification, Closed loop identification |
| Nachgewiesen in | Dimensions |