Fingerprint
Dive into the research topics of 'BDD-Based Synthesis of Fail-Safe Supervisory Controllers for Safety-Critical Discrete Event Systems'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
BDD-Based Synthesis of Fail-Safe Supervisory Controllers for Safety-Critical Discrete Event Systems
Tianhua Xu, Haifeng Wang, Tangming Yuan, Meng Chu Zhou
Research output: Contribution to journal › Article › peer-review
17
Scopus
citations