Formal synthesis of control strategies for dynamical systems

Calin Belta. Formal synthesis of control strategies for dynamical systems. In 55th IEEE Conference on Decision and Control, CDC 2016, Las Vegas, NV, USA, December 12-14, 2016. pages 3407-3431, IEEE, 2016. [doi]

Abstract

Abstract is missing.