• Publications
  • Influence
Supervisory control of fuzzy discrete event systems: a formal approach
  • Daowen Qiu
  • Computer Science
    IEEE Transactions on Systems, Man, and…
  • 1 February 2005
TLDR
A general computing method is presented for checking whether or not the fuzzy controllability condition holds, if max-min automata are used to model fuzzy DESs, and by means of this method it can search for all possible fuzzy states reachable from initial fuzzy state in max-Min automata.
Two-Tape Finite Automata with Quantum and Classical States
TLDR
This paper studies 2TFA and proposes a new computing model called two-way two-tape finite automata with quantum and classical states (2TQCFA), and gives efficient 2T FA algorithms for identifying languages which can be recognized by 2TCFA.
Security analysis and improvements of arbitrated quantum signature schemes
TLDR
This work presents another AQS scheme without utilizing entangled states in the signing phase and the verifying phase, which has three advantages: it does not utilize entangled states and it preserves all merits in the existing schemes; the signature can avoid being disavowed by the receiver; and it provides a higher efficiency in transmission and reduces the complexity of implementation.
Fuzzy Discrete-Event Systems Under Fuzzy Observability and a Test Algorithm
TLDR
This paper establishes the supervisory control theory of FDESs with partial observations in which both the observability and controllability of events are fuzzy instead, and formalizes the notions of fuzzy controllable condition and fuzzy observability condition.
Semiquantum key distribution without invoking the classical party’s measurement capability
TLDR
It is proved that the proposed SQKD protocol is completely robust against joint attacks, and the number of the quantum states sent by Alice and Bob is decreased.
Diagnosability of Fuzzy Discrete-Event Systems: A Fuzzy Approach
TLDR
An approach to deal with the problem of diagnosability for both crisp DESs and FDESs is proposed, and a method for checking the fuzzy diagnOSability for FDESS is proposed.
Characterizations of fuzzy finite automata
  • Daowen Qiu
  • Computer Science
    Fuzzy Sets Syst.
  • 1 February 2004
...
...