Remarks on the difficulty of top-down supervisor synthesis

• Main Authors: Lin, Liyong., Su, Rong., Stefanescu, Alin.
• Other Authors: School of Electrical and Electronic Engineering
• Format: Conference or Workshop Item
• Language: English
• Published: 2013
• Subjects: DRNTU::Engineering::Electrical and electronic engineering
• Online Access: https://hdl.handle.net/10356/84647; http://hdl.handle.net/10220/11738
• Institution: Nanyang Technological University

This paper shows that language based top-down supervisor synthesis of Ramadge-Wonham supervisory control theory is in general not feasible. We show this as a direct consequence of the undecidability result of Decomposable Subset problem (and its prefix closed version), which in turn is a corollary o...