Robust and Abstraction-free Control of Dynamical Systems under Signal Temporal Logic Specifications
Time: Fri 2018-05-25 10.00
Location: Q2, Osquldas väg 10, KTH, Stockholm
Subject area: Electrical Engineering
Doctoral student: Lars Lindemann , Automatic Control
Opponent: Professor Necmiye Ozay, University of Michigan, USA
Supervisor: Professor Dimos Dimarogonas