Language guided controller synthesis for discrete time linear systems


AYDIN GÖL E., Lazar M., Belta C.

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12, Beijing, China, 17 - 19 Nisan 2012, cilt.7, ss.320-322 identifier identifier

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Cilt numarası: 7
  • Doi Numarası: 10.1145/2185632.2185649
  • Basıldığı Şehir: Beijing, China
  • Sayfa Sayıları: ss.320-322
  • Anahtar Kelimeler: Linear temporal logic, Automata theory, Constrained control, Polytope-to-polytope control, Polyhedral Lyapunov functions
  • Orta Doğu Teknik Üniversitesi Adresli: Evet