A Generic Ellipsoid Abstract Domain for Linear Time Invariant Systems

Publication
Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2012, Beijing, China, April 17-19, 2012
Avatar
Pierre Roux
Researcher at Onera

Related