Tianhua Xu, Haifeng Wang, Tangming Yuan, MengChu Zhou. BDD-Based Synthesis of Fail-Safe Supervisory Controllers for Safety-Critical Discrete Event Systems. IEEE Transactions on Intelligent Transportation Systems, 17(9):2385-2394, 2016. [doi]
Abstract is missing.