"Verifiable optimization for real-time processes."

"Verifiable optimization for real-time processes"

Eric Feron: (MIT, LIDS)

As computing power rapidly increases, there is an increased opportunity to use optimization tools, such as linear programming, for on-line control of one or many devices, ranging from household applications to space systems. Together with this opportunity comes the need to offer guarantees on algorithm execution and on-time delivery of optimal solutions. This talk will detail some of these applications and outline approaches towards guaranteeing on-line algorithm performance.