onr:"swepub:oai:research.chalmers.se:d0c383f9-2a02-4fea-a2cc-ed8fdfec7fe2"
Search: onr:"swepub:oai:research.chalmers.se:d0c383f9-2a02-4fea-a2cc-ed8fdfec7fe2" > Efficient superviso...
- 1 of 1
- Previous record
- Next record
- To hitlist
- Vahidi, ArashChalmers tekniska högskola,Chalmers University of Technology (author)
Efficient supervisory synthesis of large systems
- Article/chapterEnglish2004
Publisher, publication year, extent ...
- 2004
Numbers
- LIBRIS-ID:oai:research.chalmers.se:d0c383f9-2a02-4fea-a2cc-ed8fdfec7fe2
- https://doi.org/10.1016/S1474-6670(17)30726-7DOI
- https://research.chalmers.se/publication/509977URI
- https://research.chalmers.se/publication/15227URI
Supplementary language notes
- Language:English
- Summary in:English
Part of subdatabase
- SwePubSwePub
Classification
Notes
- 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 and genre
- 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
- Supervisory control
- Symbolic computation
- Reachability search
Added entries (persons, corporate bodies, meetings, titles ...)
- Lennartson, Bengt,1956Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)l (author)
- Fabian, Martin,1960Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)fabian (author)
- Chalmers tekniska högskola (creator_code:org_t)
Related titles
- In:IFAC Proceedings Volumes (IFAC-PapersOnline)37:18, s. 81-861474-6670
Internet link
Find in a library
- IFAC Proceedings Volumes (IFAC-PapersOnline) (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Vahidi, Arash
- Lennartson, Beng ...
- Fabian, Martin, ...
- About the subject
-
- ENGINEERING AND TECHNOLOGY
- ENGINEERING AND ...
- and Electrical Engin ...
- and Robotics
-
- ENGINEERING AND TECHNOLOGY
- ENGINEERING AND ...
- and Electrical Engin ...
- and Control Engineer ...
-
- ENGINEERING AND TECHNOLOGY
- ENGINEERING AND ...
- and Electrical Engin ...
- and Computer Systems
- Articles in the publication
- IFAC Proceedings ...
- By the university
- Chalmers University of Technology
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
