A generic ellipsoid abstract domain for linear time invariant systems

Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche, Eric Feron. A generic ellipsoid abstract domain for linear time invariant systems. In Thao Dang, Ian M. Mitchell, editors, Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012. pages 105-114, ACM, 2012. [doi]

Authors

Pierre Roux

This author has not been identified. Look up 'Pierre Roux' in Google

Romain Jobredeaux

This author has not been identified. Look up 'Romain Jobredeaux' in Google

Pierre-Loïc Garoche

This author has not been identified. Look up 'Pierre-Loïc Garoche' in Google

Eric Feron

This author has not been identified. Look up 'Eric Feron' in Google