Search: onr:"swepub:oai:research.chalmers.se:d0c383f9-2a02-4fea-a2cc-ed8fdfec7fe2" >
Efficient superviso...
Efficient supervisory synthesis of large systems
-
- Vahidi, Arash (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Lennartson, Bengt, 1956 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Fabian, Martin, 1960 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- 2004
- 2004
- English.
-
In: IFAC Proceedings Volumes (IFAC-PapersOnline). - 1474-6670. ; 37:18, s. 81-86
- Related links:
-
https://doi.org/10.1...
-
show more...
-
https://research.cha...
-
https://research.cha...
-
show less...
Abstract
Subject headings
Close
- In this paperefficient computation of controllers in the context of Supervisory Control Theory (SCT) is discussed. A simple algorithm for efficient reachability search is presented to significantly improve controller synthesis performance. as the reachability search is t he bottleneck of a controller synthesis algorithm. Simple measures to identify" hard" vs " easy" problems are also discussed and it is shown that a large state space is not always a guarantee for hardness' It is further demonstrated that well known handmade benchmark models that have been used over the years , can in fact be classified as easy, while hard problems often arise in real-world industrial systems.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Robotteknik och automation (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Robotics (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Keyword
- Supervisory control
- Symbolic computation
- Reachability search
Publication and Content Type
- kon (subject category)
- ref (subject category)
Find in a library
To the university's database