Conference Papers

Model Falsification Using SVOs for a Class of Discrete-Time Dynamic Systems: A Coprime Factorization Approach

Proc. of CDC - ECC 2011 - 50th IEEE Conference on Decision and Control and European Control Conference, Orlando, USA