Comparative Case Studies of Reactive Synthesis and Supervisory Control
Paper i proceeding, 2019

Reactive Synthesis and Supervisory Control Theory are both systematic approaches for the automatic construction of controllers from requirements. However, their underlying technicalities differ significantly. This paper provides an empirical comparison between these two approaches from the modelling perspective through case studies. Using the synthesis tools TuLiP and Supremica, two examples are modelled in the typical modelling formalism supported by each tool, and the algorithms are applied to synthesize controllers. Based on the obtained models and experiences, we compare how the models are derived, and how the characteristics of the examples and the underlying synthesis algorithms influence the modelling choices.

Författare

Zahra Ramezani

Chalmers, Elektroteknik, System- och reglerteknik, Automation

Jonas Krook

Chalmers, Elektroteknik, System- och reglerteknik, Automation

Zhennan Fei

Chalmers, Elektroteknik, System- och reglerteknik, Automation

Martin Fabian

Chalmers, Elektroteknik, System- och reglerteknik, Automation

Knut Åkesson

Chalmers, Elektroteknik, System- och reglerteknik, Automation

2019 18TH EUROPEAN CONTROL CONFERENCE (ECC)

1752-1759

18th European Control Conference (ECC)
Neapel, Italy,

Ämneskategorier

Teknisk mekanik

Reglerteknik

DOI

10.23919/ECC.2019.8795696

Mer information

Senast uppdaterat

2020-06-05