A Generic Ellipsoid Abstract Domain for Linear Time Invariant Systems

Pierre Roux, Romain Jobredeaux, Pierre-Loic Garoche, Eric Feron
January 2012
PDF Cite DOI
Type
Conference paper
Publication
Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2012, Beijing, China, April 17-19, 2012
"own"
Pierre Roux
Pierre Roux
Researcher at Onera
Eric Feron
Eric Feron
Professor at KAUST (on leave from Georgia Tech)

Related