Essays about: "Paul Rousse"

Found 1 essay containing the words Paul Rousse.

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

    University essay from KTH/Reglerteknik

    Author : Paul Rousse; [2017]
    Keywords : ;

    Abstract : 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. READ MORE