Atıf İçin Kopyala
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
-
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