2 papers
eess.SY2013
Credible Autocoding of Fault Detection Observers
Timothy Wang, Alireza Esna Ashari, Romain Jobredeaux +1
In this paper, we present a domain specific process to assist the verification of observer-based fault detection software. Observer-based fault detection systems, like control syst…
cs.SE2013
Formally expressing the semantics of observer-based fault detection software
Alireza Esna Ashari, Eric Feron
The aim is to create reliable and verifiable fault detection software to detect abrupt changes in safety-critical dynamic systems. Fault detection methods are implemented as softwa…