Please use this identifier to cite or link to this item: http://localhost/handle/Hannan/597514
Title: BDD-Based Synthesis of Fail-Safe Supervisory Controllers for Safety-Critical Discrete Event Systems
Authors: Tianhua Xu;Haifeng Wang;Tangming Yuan;MengChu Zhou
subject: Fail-safe supervisor|net condition/event system|safety-critical discrete event system|binary decision diagram
Year: 2016
Publisher: IEEE
Abstract: Sophisticated hardware/software and harsh environment in safety-critical discrete event systems may cause system failures that can lead to catastrophic consequences. Therefore, keeping the system in a safe mode even after the occurrence of a fault is critically important. This paper addresses the problem by first extending net condition/event systems with uncontrollable transitions that allows one to well represent controllable and uncontrollable events and cater for modeling normal and abnormal events in safety-critical systems. A binary decision diagram-based symbolic supervisor synthesis method is proposed to ensure time and space efficiency when dealing with a practical supervisory control problem. As a case study, a high-speed railway station is used to illustrate the proposed concepts and method.
URI: http://localhost/handle/Hannan/177581
http://localhost/handle/Hannan/597514
ISSN: 1524-9050
1558-0016
volume: 17
issue: 9
Appears in Collections:2016

Files in This Item:
File Description SizeFormat 
7458841.pdf2.14 MBAdobe PDFThumbnail
Preview File
Title: BDD-Based Synthesis of Fail-Safe Supervisory Controllers for Safety-Critical Discrete Event Systems
Authors: Tianhua Xu;Haifeng Wang;Tangming Yuan;MengChu Zhou
subject: Fail-safe supervisor|net condition/event system|safety-critical discrete event system|binary decision diagram
Year: 2016
Publisher: IEEE
Abstract: Sophisticated hardware/software and harsh environment in safety-critical discrete event systems may cause system failures that can lead to catastrophic consequences. Therefore, keeping the system in a safe mode even after the occurrence of a fault is critically important. This paper addresses the problem by first extending net condition/event systems with uncontrollable transitions that allows one to well represent controllable and uncontrollable events and cater for modeling normal and abnormal events in safety-critical systems. A binary decision diagram-based symbolic supervisor synthesis method is proposed to ensure time and space efficiency when dealing with a practical supervisory control problem. As a case study, a high-speed railway station is used to illustrate the proposed concepts and method.
URI: http://localhost/handle/Hannan/177581
http://localhost/handle/Hannan/597514
ISSN: 1524-9050
1558-0016
volume: 17
issue: 9
Appears in Collections:2016

Files in This Item:
File Description SizeFormat 
7458841.pdf2.14 MBAdobe PDFThumbnail
Preview File
Title: BDD-Based Synthesis of Fail-Safe Supervisory Controllers for Safety-Critical Discrete Event Systems
Authors: Tianhua Xu;Haifeng Wang;Tangming Yuan;MengChu Zhou
subject: Fail-safe supervisor|net condition/event system|safety-critical discrete event system|binary decision diagram
Year: 2016
Publisher: IEEE
Abstract: Sophisticated hardware/software and harsh environment in safety-critical discrete event systems may cause system failures that can lead to catastrophic consequences. Therefore, keeping the system in a safe mode even after the occurrence of a fault is critically important. This paper addresses the problem by first extending net condition/event systems with uncontrollable transitions that allows one to well represent controllable and uncontrollable events and cater for modeling normal and abnormal events in safety-critical systems. A binary decision diagram-based symbolic supervisor synthesis method is proposed to ensure time and space efficiency when dealing with a practical supervisory control problem. As a case study, a high-speed railway station is used to illustrate the proposed concepts and method.
URI: http://localhost/handle/Hannan/177581
http://localhost/handle/Hannan/597514
ISSN: 1524-9050
1558-0016
volume: 17
issue: 9
Appears in Collections:2016

Files in This Item:
File Description SizeFormat 
7458841.pdf2.14 MBAdobe PDFThumbnail
Preview File