A generic ellipsoid abstract domain for linear time invariant systems.

Pierre Roux Romain Jobredeaux Pierre-Loïc Garoche Eric Feron

Published in: HSCC (2012)

Keyphrases

optimization algorithm
domain specific
feedback control
high level
cooperative
markov random field