Temporal logic model predictive control for discrete time systems

AYDIN GÖL E. , Lazar M.

Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13, Philadelphia, Pennsylvania, USA, 8 - 11 Nisan 2013 identifier