{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T20:16:51Z","timestamp":1730233011317,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,11,21]],"date-time":"2022-11-21T00:00:00Z","timestamp":1668988800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,11,21]],"date-time":"2022-11-21T00:00:00Z","timestamp":1668988800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,11,21]]},"DOI":"10.1109\/iccais56082.2022.9990268","type":"proceedings-article","created":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T19:09:53Z","timestamp":1672427393000},"page":"377-384","source":"Crossref","is-referenced-by-count":0,"title":["Formal Modelling of Smart Grids: Configurability vs. Conventionality"],"prefix":"10.1109","author":[{"given":"Thang","family":"Bui","sequence":"first","affiliation":[{"name":"Ho Chi Minh City University of Technology (HCMUT), Vietnam National University - Ho Chi Minh City,Ho Chi Minh City,Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tuan","family":"Bui","sequence":"additional","affiliation":[{"name":"Ho Chi Minh City University of Technology (HCMUT), Vietnam National University - Ho Chi Minh City,Ho Chi Minh City,Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tuyen","family":"Nguyen","sequence":"additional","affiliation":[{"name":"Ho Chi Minh City University of Technology (HCMUT), Vietnam National University - Ho Chi Minh City,Ho Chi Minh City,Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anh","family":"Nguyen","sequence":"additional","affiliation":[{"name":"Ho Chi Minh City University of Technology (HCMUT), Vietnam National University - Ho Chi Minh City,Ho Chi Minh City,Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Liem","family":"Nguyen","sequence":"additional","affiliation":[{"name":"Ho Chi Minh City University of Technology (HCMUT), Vietnam National University - Ho Chi Minh City,Ho Chi Minh City,Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huan","family":"Luong","sequence":"additional","affiliation":[{"name":"Sai Gon University,Ho Chi Minh City,Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2015.7392719"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2018.8592802"},{"key":"ref3","article-title":"Probabilistic formal verification of communication network-based fault detection, isolation and service restoration system in smart grid","volume":"5","author":"Naseem","year":"2018","journal-title":"Journal of Applied Logics\u2014 IFCoLog Journal of Logics and their Applications"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2833258.2833298"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.21553\/rev-jec.138"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.18178\/JACN.2016.4.1.200"},{"key":"ref7","first-page":"329","article-title":"A framework for fast congestion detection in wireless sensor networks using clustering and petri-net-based verification","volume-title":"Proceedings of the International Workshop on Petri Nets and Software Engineering","volume":"1591","author":"Le","year":"2016"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.5120\/cae2017652602"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00255-7_6"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45237-0_40"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.32508\/stdj.v18i1.879"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s40595-016-0079-8"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1504\/ijwgs.2018.092579"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0035389"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.2139\/ssrn.2364804"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2009.07.021"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/PECON.2010.5697601"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.4156\/jcit.vol6.issue11.13"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2011.2160000"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.03.045"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2020.2964436"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/EIT.2015.7293374"}],"event":{"name":"2022 11th International Conference on Control, Automation and Information Sciences (ICCAIS)","start":{"date-parts":[[2022,11,21]]},"location":"Hanoi, Vietnam","end":{"date-parts":[[2022,11,24]]}},"container-title":["2022 11th International Conference on Control, Automation and Information Sciences (ICCAIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9989531\/9990030\/09990268.pdf?arnumber=9990268","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T10:35:41Z","timestamp":1706783741000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9990268\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,21]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/iccais56082.2022.9990268","relation":{},"subject":[],"published":{"date-parts":[[2022,11,21]]}}}