Sökning: id:"swepub:oai:research.chalmers.se:218bd416-f167-4800-8bad-eb224b12e7bb" >
Comparative Case St...
Comparative Case Studies of Reactive Synthesis and Supervisory Control
-
- Ramezani, Zahra, 1988 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Krook, Jonas, 1986 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Fei, Zhennan, 1984 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa fler...
-
- Fabian, Martin, 1960 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Åkesson, Knut, 1972 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa färre...
-
(creator_code:org_t)
- 2019
- 2019
- Engelska.
-
Ingår i: 2019 18th European Control Conference, ECC 2019. ; , s. 1752-1759
- Relaterad länk:
-
https://research.cha... (primary) (free)
-
visa fler...
-
https://doi.org/10.2...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Maskinteknik -- Teknisk mekanik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Mechanical Engineering -- Applied Mechanics (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
- Av författaren/redakt...
-
Ramezani, Zahra, ...
-
Krook, Jonas, 19 ...
-
Fei, Zhennan, 19 ...
-
Fabian, Martin, ...
-
Åkesson, Knut, 1 ...
- Om ämnet
-
- TEKNIK OCH TEKNOLOGIER
-
TEKNIK OCH TEKNO ...
-
och Maskinteknik
-
och Teknisk mekanik
-
- TEKNIK OCH TEKNOLOGIER
-
TEKNIK OCH TEKNO ...
-
och Elektroteknik oc ...
-
och Reglerteknik
- Artiklar i publikationen
- 2019 18th Europe ...
- Av lärosätet
-
Chalmers tekniska högskola