1. |
- Vahidi, Arash, et al.
(author)
-
Efficient supervisory synthesis of large systems
- 2004
-
In: IFAC Proceedings Volumes (IFAC-PapersOnline). - 1474-6670. ; 37:18, s. 81-86
-
Conference paper (peer-reviewed)abstract
- 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.
|
|