Sökning: "Paul Rousse"
Hittade 1 uppsats innehållade orden Paul Rousse.
1. Multi agent control with LTL specifications and abstraction with input memories
Master-uppsats, KTH/ReglerteknikSammanfattning : 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
Resultatsidor:
1