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, (Tam Metin Bildiri)

• 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