7 citations · 21 across the 8 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
eess.SY2014
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…
eess.SY2013★ 4 cited
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…