Skip to main content

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

Export to calendar