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


Zhao, Y. and Cheng, D. (2012) Controllability and Stabilizability of Probabilistic Logical Control Networks. Proceedings of the 51st IEEE Conference on Decision and Control, Maui, USA, 10-13 December 2012, 6729-6734.

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.