Automata

Equivalence Checking of Sequential Quantum Circuits
Qisheng Wang, Riling Li, Mingsheng Ying
引用 DOI
Verify LTL with Fairness Assumptions Efficiently
Yong Li, Lei Song, Yuan Feng, Lijun Zhang
引用 DOI
Quantum Information-Flow Security: Noninterference and Access Control
Mingsheng Ying, Yuan Feng, Nengkun Yu
引用 DOI
Retraction and Generalized Extension of Computing With Words
Yongzhi Cao, Mingsheng Ying, Guoqing Chen
引用 DOI
State-Based Control of Fuzzy Discrete-Event Systems
Yongzhi Cao, Mingsheng Ying, Guoqing Chen
引用 DOI
Observability and decentralized control of fuzzy discrete-event systems
Yongzhi Cao, Mingsheng Ying
引用 DOI
Supervisory control of fuzzy discrete event systems
Yongzhi Cao, Mingsheng Ying
引用 DOI
Characterizations of quantum automata
We define q quantum finite automata (qQFAs) and q quantum regular grammars (qQRGs), and verify that they are exactly equivalent to …
Daowen Qiu, Mingsheng Ying
引用 DOI URL
A formal model of computing with words
引用 DOI