• Publications
  • Influence
Supervisory control of fuzzy discrete event systems
TLDR
This work considers the problem of supervisory control for a class of discrete event systems modeled by fuzzy automata, and presents a necessary and sufficient condition for a fuzzy language to be controllable.
Floyd--hoare logic for quantum programs
  • M. Ying
  • Computer Science
    TOPL
  • 1 December 2011
TLDR
It is proved that this logic is (relatively) complete by exploiting the power of weakest precond conditions and weakest liberal preconditions for quantum programs.
Parameter Estimation of Quantum Channels
TLDR
It is found that programmable parameters obey the standard quantum limit strictly; hence, no speedup is possible in its estimation and a class of nonunitary quantum channels is constructed whose parameter can be estimated in a way that thestandard quantum limit is broken.
Topology in process calculus - approximate correctness and infinite evolution of concurrent programs
TLDR
Bisimulation and Trace Limits of Agents and Near Bisimulations Defined by Closures: A Review of the Literature.
Compactness in fuzzifying topology
  • M. Ying
  • Computer Science
  • 9 April 1993
A Logic for Approximate Reasoning
  • M. Ying
  • Philosophy
    J. Symb. Log.
  • 1 September 1994
Automata Theory Based on Quantum Logic II
TLDR
The pumping lemma in automata theory based on quantum logic is established and the equivalence between the recognizabilty by the product and union of orthomodular lattice-valued automata is shown to be equivalent to the distributivity of meet over union in the truth-value set.
...
1
2
3
4
5
...