Modelling Chinese Smart Grid : A Stochastic Model Checking Case Study

Publication: ResearchReport – Annual report year: 2012

Documents

NullPointerException

View graph of relations

In this document, we consider a specific Chinese Smart Grid implementation and try to address the verification problem for certain quantitative properties including performance and battery consumption. We employ stochastic model checking approach and present our modelling and analysis study using PRISM model checker.
Original languageEnglish
Publication date2012
Place of publicationKgs. Lyngby, Denmark
PublisherTechnical University of Denmark, DTU Informatics, Building 321
Number of pages58
StatePublished
NameIMM-Technical Report-2012
Number02
ISSN (print)1601-2321
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

Download statistics

No data available

ID: 6639290