Robust and Abstraction-free Control of Dynamical Systems under Signal Temporal Logic Specifications

Tid: Fr 2018-05-25 kl 10.00

Plats: Q2, Osquldas väg 10, KTH, Stockholm

Ämnesområde: Electrical Engineering

Licentiand: Lars Lindemann , Automatic Control

Granskare: Professor Necmiye Ozay, University of Michigan, USA

Huvudhandledare: Professor Dimos Dimarogonas

2018-05-25T10:00 2018-05-25T10:00 Robust and Abstraction-free Control of Dynamical Systems under Signal Temporal Logic Specifications (Electrical Engineering) Robust and Abstraction-free Control of Dynamical Systems under Signal Temporal Logic Specifications (Electrical Engineering)
Till sidans topp