Comparative Case Studies of Reactive Synthesis and Supervisory Control
Paper in proceedings, 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.

Author

Zahra Ramezani

Chalmers, Electrical Engineering, Systems and control, Automation

Jonas Krook

Chalmers, Electrical Engineering, Systems and control, Automation

Zhennan Fei

Chalmers, Electrical Engineering, Systems and control, Automation

Martin Fabian

Chalmers, Electrical Engineering, Systems and control, Automation

Knut Åkesson

Chalmers, Electrical Engineering, Systems and control, Automation

2019 18TH EUROPEAN CONTROL CONFERENCE (ECC)

1752-1759

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

Subject Categories

Applied Mechanics

Control Engineering

DOI

10.23919/ECC.2019.8795696

More information

Latest update

8/12/2020