Sökning: "Paul Rousse"

Hittade 1 uppsats innehållade orden Paul Rousse.

  1. 1. Multi agent control with LTL specifications and abstraction with input memories

    Master-uppsats, KTH/Reglerteknik

    Författare :Paul Rousse; [2017]
    Nyckelord :;

    Sammanfattning : Formal controller synthesis methods with temporal logic specications tryto guarantee the correctness of given specications with a system that mighthave complex behaviour. Most often, discrete abstractions of a continuoussystem are used in order to reduce the size of the problem. LÄS MER