| ชื่อเรื่อง | : | Remarks on the difficulty of top-down supervisor synthesis. |
| นักวิจัย | : | Lin, Liyong. , Su, Rong. , Stefanescu, Alin. |
| คำค้น | : | DRNTU::Engineering::Electrical and electronic engineering. |
| หน่วยงาน | : | Nanyang Technological University, Singapore |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2555 |
| อ้างอิง | : | Lin, L., Su, R., & Stefanescu, A. (2012). Remarks on the difficulty of top-down supervisor synthesis. 2012 12th International Conference on Control Automation Robotics & Vision (ICARCV), 270-275. , http://hdl.handle.net/10220/11738 , http://dx.doi.org/10.1109/ICARCV.2012.6485170 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | 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 of the undecidability result of Trace Closed Subset problem. Essentially, it is in general not possible to decide in finite amount of time whether there exists a string in a regular language such that all those strings indistinguishable from it are contained in the same language. We bring these results to the attention of control community and investigate the decidability status of some other related problems. |
| บรรณานุกรม | : |
Lin, Liyong. , Su, Rong. , Stefanescu, Alin. . (2555). Remarks on the difficulty of top-down supervisor synthesis..
กรุงเทพมหานคร : Nanyang Technological University, Singapore. Lin, Liyong. , Su, Rong. , Stefanescu, Alin. . 2555. "Remarks on the difficulty of top-down supervisor synthesis.".
กรุงเทพมหานคร : Nanyang Technological University, Singapore. Lin, Liyong. , Su, Rong. , Stefanescu, Alin. . "Remarks on the difficulty of top-down supervisor synthesis.."
กรุงเทพมหานคร : Nanyang Technological University, Singapore, 2555. Print. Lin, Liyong. , Su, Rong. , Stefanescu, Alin. . Remarks on the difficulty of top-down supervisor synthesis.. กรุงเทพมหานคร : Nanyang Technological University, Singapore; 2555.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
