6 citations · 6 across the 3 of their papers we have counts for
4 papers
Credible Autocoding of Convex Optimization Algorithms
Timothy Wang, Romain Jobredeaux, Marc Pantel +3
The efficiency of modern optimization methods, coupled with increasing computational resources, has led to the possibility of real-time optimization algorithms acting in safety cri…
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…
Verifiable Control System Development for Gas Turbine Engines
Mehrdad Pakmehr, Timothy Wang, Romain Jobredeaux +2
A control software verification framework for gas turbine engines is developed. A stability proof is presented for gain scheduled closed-loop engine system based on global lineariz…
From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems
Timothy Wang, Romain Jobredeaux, Heber Herencia +4
This article describes a fully automated, credible autocoding chain for control systems. The framework generates code, along with guarantees of high level functional properties whi…