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 April 2012, vol.7, pp.320-322 identifier identifier

  • Publication Type: Conference Paper / Full Text
  • Volume: 7
  • Doi Number: 10.1145/2185632.2185649
  • City: Beijing, China
  • Page Numbers: pp.320-322
  • Keywords: Linear temporal logic, Automata theory, Constrained control, Polytope-to-polytope control, Polyhedral Lyapunov functions