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
-
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