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

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Doi Numarası: 10.1145/2461328.2461379
  • Basıldığı Şehir: Philadelphia, Pennsylvania, USA