SCIRP Mobile Website
Paper Submission

Why Us? >>

  • - Open Access
  • - Peer-reviewed
  • - Rapid publication
  • - Lifetime hosting
  • - Free indexing service
  • - Free promotion service
  • - More citations
  • - Search engine friendly

Free SCIRP Newsletters>>

Add your e-mail address to receive free newsletters from SCIRP.


Contact Us >>

WhatsApp  +86 18163351462(WhatsApp)
Paper Publishing WeChat
Book Publishing WeChat

Article citations


Cheng, D. and Xu, X. (2013) Bi-Decomposition of Multi-Valued Logical Functions and Its Applications. Automatica, 49, 1979-1985.

has been cited by the following article:

  • TITLE: Verification of Real-Time Pricing Systems Based on Probabilistic Boolean Networks

    AUTHORS: Koichi Kobayashi, Kunihiko Hiraishi

    KEYWORDS: Model Checking, Probabilistic Boolean Networks, Real-Time Pricing

    JOURNAL NAME: Applied Mathematics, Vol.7 No.15, September 16, 2016

    ABSTRACT: In this paper, verification of real-time pricing systems of electricity is considered using a probabilistic Boolean network (PBN). In real-time pricing systems, electricity conservation is achieved by manipulating the electricity price at each time. A PBN is widely used as a model of complex systems, and is appropriate as a model of real-time pricing systems. Using the PBN-based model, real-time pricing systems can be quantitatively analyzed. In this paper, we propose a verification method of real-time pricing systems using the PBN-based model and the probabilistic model checker PRISM. First, the PBN-based model is derived. Next, the reachability problem, which is one of the typical verification problems, is formulated, and a solution method is derived. Finally, the effectiveness of the proposed method is presented by a numerical example.