Input design using cylindrical algebraic decomposition

Publication
Proceedings 50th IEEE Conference on Decision and Control