Exogenous Quantum Markov Chains and Reachability Analysis
Author:
Affiliation:

Clc Number:

Fund Project:

National Natural Science Foundation of China (11271237, 61228305); Natural Science Foundation of Fujian Province of China (2016J01283); The Young and Middle-Aged Education and Scientific Research Foundation of Fujian Educational Committee(JA13115)

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    Abstract:

    In order to describe quantum properties of open quantum system, it is necessary to extend the existing quantum Markov chains. In this paper, Exogenous quantum Markov chains is introduced through building Exogenous quantum operator logic. For this new type of quantum Markov chain, the paper focuses on four reachability formulas, gives the solution of their satisfiability problems, and analyzes their decidability problems. As an application, an example is provided to show that the termination of the generalized quantum loop program corresponds to the future reachability of Exogenous quantum Markov chains, and therefore can be decided by checking satisfaction of quantum formulas.

    Reference
    Related
    Cited by
Get Citation

林运国,李永明. Exogenous量子马尔可夫链及其可达性分析.软件学报,2016,27(12):2994-3002

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:December 08,2014
  • Revised:
  • Adopted:
  • Online: November 12,2015
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063