Article-Journal

Supervisory control of fuzzy discrete event systems
Yongzhi Cao, Mingsheng Ying
引用 DOI
The existence of quantum entanglement catalysts
Xiaoming Sun, Runyao Duan, Mingsheng Ying
引用 DOI
Unambiguous discrimination between mixed quantum states
Yuan Feng, Runyao Duan, Mingsheng Ying
引用 DOI URL
When catalysis is useful for probabilistic entanglement transformation
Yuan Feng, Runyao Duan, Mingsheng Ying
引用 DOI URL
Process algebra approach to reasoning about concurrent actions
A reasonable transition rule is proposed for synchronized actions and some equational properties of bisimilarity and weak bisimilarity …
引用 DOI URL
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
Comparability of multipartite entanglement
We prove, in a multipartite setting, that it is always feasible to exactly transform a genuinely m-partite entangled pure state with …
引用 DOI URL
Generalized Region Connection Calculus
The Region Connection Calculus (RCC) is one of the most widely referenced system of high-level (qualitative) spatial reasoning. RCC …
Sanjiang Li, Mingsheng Ying
引用 DOI URL
Local discrimination of maximally entangled states in canonical form
It is shown that two copies are enough to distinguish a complete basis of maximally entangled states in canonical form by constructing …
Hongen Cao, Mingsheng Ying
引用 DOI URL
Quantum operation, quantum Fourier transform and semi-definite programming
We analyze a class of quantum operations based on a geometrical representation of d-level quantum system (or qudit for short). A …
引用 DOI URL