Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Demo: verisig - verifying safety properties of hybrid systems with neural network controllers., , , und . DESTION@CPSIoTWeek, Seite 62-63. ACM, (2019)ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants., , , , , , und . ARCH@CPSIoTWeek, Volume 61 von EPiC Series in Computing, Seite 103-119. EasyChair, (2019)Sensor attack detection in the presence of transient faults., , , , und . ICCPS, Seite 1-10. ACM, (2015)Continuous Estimation Using Context-Dependent Discrete Measurements., , , , , und . IEEE Trans. Automat. Contr., 64 (1): 235-250 (2019)Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults., , , , , und . TCPS, 1 (3): 15:1-15:23 (2017)Adaptive Transient Fault Model for Sensor Attack Detection., , , , , , und . CPSNA, Seite 59-65. IEEE Computer Society, (2016)Verisig: verifying safety properties of hybrid systems with neural network controllers., , , , und . CoRR, (2018)Attack-resilient sensor fusion., , und . DATE, Seite 1-6. European Design and Automation Association, (2014)Robust estimation using context-aware filtering., , , , und . Allerton, Seite 590-597. IEEE, (2015)Parameter-Invariant Design of Medical Alarms., , , , und . IEEE Design & Test, 32 (5): 9-16 (2015)