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

  • Cilt numarası: 7
  • Doi Numarası: 10.1145/2185632.2185649
  • Basıldığı Şehir: Beijing, China
  • Sayfa Sayıları: ss.320-322