Name
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
2019 | 10.23919/ECC.2019.8795696 | 2019 18TH EUROPEAN CONTROL CONFERENCE (ECC) |
Field | DocType | Citations |
Empirical comparison,Comparative case,Supervisory control,Computer science,Supervisory control theory,Reactive synthesis,Control engineering,Formalism (philosophy) | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Zahra Ramezani | 1 | 1 | 1.70 |
| Jonas Krook | 2 | 0 | 0.34 |
| Zhennan Fei | 3 | 0 | 0.34 |
| Martin Fabian | 4 | 204 | 27.91 |
| Knut Åkesson | 5 | 0 | 0.68 |