Essays about: "Lindemann Lars"

Found 1 essay containing the words Lindemann Lars.

  1. 1. Robust Model Predictive Control of Linear Systems under Signal Temporal Logic specifications

    University essay from KTH/Skolan för elektro- och systemteknik (EES)

    Author : Lindemann Lars; [2016]
    Keywords : ;

    Abstract : Correct-by-construction control systems that fulfill formal specifications are an active research area, especially for motion and task planning of multi-agent systems. Recent methods suffer from state explosion problems which make them inconvenient to use in practice. READ MORE