Model checking PV energy system with remote reprogramming function

Sihan Wu; Kai Zheng; Xin Huang

doi:10.1109/ITME.2016.0143

Model checking PV energy system with remote reprogramming function

Sihan Wu
, Kai Zheng
, Xin Huang

School of Advanced Technology

Xi'an Jiaotong-Liverpool University

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

1 Citation (Scopus)

Abstract

With the energy problems becoming serious, photovoltaic (PV) energy system attracts more and more attention. With the need of flexible control, the reliability of performance of the systems becomes more significant. In this paper, two models of the system with reprogramming function have been proposed. However, how to verify the reliability of the designed systems is a challenge. Thus this paper presents the probabilistic model checking technique with the tool of PRISM for the verification. The experimental results are expected to suggest the further improvements on distributed energy system construction.

Original language	English
Title of host publication	Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016
Editors	Ying Dai, Shaozi Li, Yun Cheng
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	606-610
Number of pages	5
ISBN (Electronic)	9781509039050
DOIs	https://doi.org/10.1109/ITME.2016.0143
Publication status	Published - 12 Jul 2017
Event	8th International Conference on Information Technology in Medicine and Education, ITME 2016 - Fuzhou, China Duration: 23 Dec 2016 → 25 Dec 2016

Publication series

Name	Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016

Conference

Conference	8th International Conference on Information Technology in Medicine and Education, ITME 2016
Country/Territory	China
City	Fuzhou
Period	23/12/16 → 25/12/16

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 7 Affordable and Clean Energy

Keywords

Internet of Things (IoT)
Model checking
PRISM
PV energy system
Remote reprogramming

Access to Document

10.1109/ITME.2016.0143

Cite this

Wu, S., Zheng, K., & Huang, X. (2017). Model checking PV energy system with remote reprogramming function. In Y. Dai, S. Li, & Y. Cheng (Eds.), Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016 (pp. 606-610). Article 7976557 (Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ITME.2016.0143

Wu, Sihan ; Zheng, Kai ; Huang, Xin. / Model checking PV energy system with remote reprogramming function. Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016. editor / Ying Dai ; Shaozi Li ; Yun Cheng. Institute of Electrical and Electronics Engineers Inc., 2017. pp. 606-610 (Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016).

@inproceedings{b051e1c4b8f34baf949cb4088f468e01,

title = "Model checking PV energy system with remote reprogramming function",

abstract = "With the energy problems becoming serious, photovoltaic (PV) energy system attracts more and more attention. With the need of flexible control, the reliability of performance of the systems becomes more significant. In this paper, two models of the system with reprogramming function have been proposed. However, how to verify the reliability of the designed systems is a challenge. Thus this paper presents the probabilistic model checking technique with the tool of PRISM for the verification. The experimental results are expected to suggest the further improvements on distributed energy system construction.",

keywords = "Internet of Things (IoT), Model checking, PRISM, PV energy system, Remote reprogramming",

author = "Sihan Wu and Kai Zheng and Xin Huang",

note = "Publisher Copyright: {\textcopyright} 2016 IEEE.; 8th International Conference on Information Technology in Medicine and Education, ITME 2016 ; Conference date: 23-12-2016 Through 25-12-2016",

year = "2017",

month = jul,

day = "12",

doi = "10.1109/ITME.2016.0143",

language = "English",

series = "Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "606--610",

editor = "Ying Dai and Shaozi Li and Yun Cheng",

booktitle = "Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016",

}

Wu, S, Zheng, K & Huang, X 2017, Model checking PV energy system with remote reprogramming function. in Y Dai, S Li & Y Cheng (eds), Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016., 7976557, Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016, Institute of Electrical and Electronics Engineers Inc., pp. 606-610, 8th International Conference on Information Technology in Medicine and Education, ITME 2016, Fuzhou, China, 23/12/16. https://doi.org/10.1109/ITME.2016.0143

Model checking PV energy system with remote reprogramming function. / Wu, Sihan; Zheng, Kai; Huang, Xin.
Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016. ed. / Ying Dai; Shaozi Li; Yun Cheng. Institute of Electrical and Electronics Engineers Inc., 2017. p. 606-610 7976557 (Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016).

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

TY - GEN

T1 - Model checking PV energy system with remote reprogramming function

AU - Wu, Sihan

AU - Zheng, Kai

AU - Huang, Xin

PY - 2017/7/12

Y1 - 2017/7/12

N2 - With the energy problems becoming serious, photovoltaic (PV) energy system attracts more and more attention. With the need of flexible control, the reliability of performance of the systems becomes more significant. In this paper, two models of the system with reprogramming function have been proposed. However, how to verify the reliability of the designed systems is a challenge. Thus this paper presents the probabilistic model checking technique with the tool of PRISM for the verification. The experimental results are expected to suggest the further improvements on distributed energy system construction.

AB - With the energy problems becoming serious, photovoltaic (PV) energy system attracts more and more attention. With the need of flexible control, the reliability of performance of the systems becomes more significant. In this paper, two models of the system with reprogramming function have been proposed. However, how to verify the reliability of the designed systems is a challenge. Thus this paper presents the probabilistic model checking technique with the tool of PRISM for the verification. The experimental results are expected to suggest the further improvements on distributed energy system construction.

KW - Internet of Things (IoT)

KW - Model checking

KW - PRISM

KW - PV energy system

KW - Remote reprogramming

UR - https://www.scopus.com/pages/publications/85027684455

U2 - 10.1109/ITME.2016.0143

DO - 10.1109/ITME.2016.0143

M3 - Conference Proceeding

AN - SCOPUS:85027684455

T3 - Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016

SP - 606

EP - 610

BT - Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016

A2 - Dai, Ying

A2 - Li, Shaozi

A2 - Cheng, Yun

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 8th International Conference on Information Technology in Medicine and Education, ITME 2016

Y2 - 23 December 2016 through 25 December 2016

ER -

Wu S, Zheng K, Huang X. Model checking PV energy system with remote reprogramming function. In Dai Y, Li S, Cheng Y, editors, Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016. Institute of Electrical and Electronics Engineers Inc. 2017. p. 606-610. 7976557. (Proceedings - 2016 8th International Conference on Information Technology in Medicine and Education, ITME 2016). doi: 10.1109/ITME.2016.0143

Model checking PV energy system with remote reprogramming function

Abstract

Publication series

Conference

UN SDGs

Keywords

Access to Document

Other files and links

Fingerprint

Cite this