{"id":"https://openalex.org/W4311559137","doi":"https://doi.org/10.48550/arxiv.2212.06781","title":"Modelling and Validation of Power Electronics Converter Systems using Coloured Petri Nets","display_name":"Modelling and Validation of Power Electronics Converter Systems using Coloured Petri Nets","publication_year":2022,"publication_date":"2022-12-13","ids":{"openalex":"https://openalex.org/W4311559137","doi":"https://doi.org/10.48550/arxiv.2212.06781"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2212.06781","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2212.06781","pdf_url":"https://arxiv.org/pdf/2212.06781","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2212.06781","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076980896","display_name":"Vegard Steinsland","orcid":"https://orcid.org/0000-0001-5121-8622"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Steinsland, Vegard","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005213951","display_name":"Lars Michael Kristensen","orcid":"https://orcid.org/0000-0002-1465-5791"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kristensen, Lars Michael","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5100615526","display_name":"Shujun Zhang","orcid":"https://orcid.org/0000-0001-5699-2676"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Shujun","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9812999963760376,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9785000085830688,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7721508741378784},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7167435884475708},{"id":"https://openalex.org/keywords/power-electronics","display_name":"Power electronics","score":0.6273066401481628},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.589655876159668},{"id":"https://openalex.org/keywords/matlab","display_name":"MATLAB","score":0.4867994487285614},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4764959216117859},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.47171539068222046},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.4611961841583252},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.34761476516723633},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.22032085061073303},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1273665726184845},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.125665545463562}],"concepts":[{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7721508741378784},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7167435884475708},{"id":"https://openalex.org/C178911571","wikidata":"https://www.wikidata.org/wiki/Q593143","display_name":"Power electronics","level":3,"score":0.6273066401481628},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.589655876159668},{"id":"https://openalex.org/C2780365114","wikidata":"https://www.wikidata.org/wiki/Q169478","display_name":"MATLAB","level":2,"score":0.4867994487285614},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4764959216117859},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.47171539068222046},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.4611961841583252},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.34761476516723633},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.22032085061073303},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1273665726184845},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.125665545463562},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2212.06781","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2212.06781","pdf_url":"https://arxiv.org/pdf/2212.06781","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"doi:10.48550/arxiv.2212.06781","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2212.06781","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2212.06781","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2212.06781","pdf_url":"https://arxiv.org/pdf/2212.06781","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1551257573","https://openalex.org/W4230983483","https://openalex.org/W1980200158","https://openalex.org/W2132799268","https://openalex.org/W2154794415","https://openalex.org/W791317142","https://openalex.org/W2109094990","https://openalex.org/W1538101305","https://openalex.org/W3215330918","https://openalex.org/W2000675896"],"abstract_inverted_index":{"We":[0,95],"apply":[1],"Coloured":[2],"Petri":[3,92],"Nets":[4],"(CPNs)":[5],"and":[6,24,36,45,51,54,64,166,197,218],"the":[7,30,58,65,84,97,125,128,132,137,143,163,167,175,208,215],"CPN":[8,80,116,139,164,172,184],"Tools":[9],"to":[10,75,123,130,182,187],"develop":[11,76],"a":[12,21,77,91,104,109,152,191],"formal":[13],"model":[14,81,107,165,173],"of":[15,20,56,71,86,99,108,127,214],"an":[16,25,148],"embedded":[17,34],"system":[18,37],"consisting":[19],"power":[22,59,111],"converter":[23,60,112],"associated":[26],"controller.":[27],"Matlab/Simulink":[28],"is":[29,74,220],"de-facto":[31],"tool":[32],"for":[33,49,207],"control":[35,66,133,216],"design,":[38],"but":[39],"it":[40],"relies":[41],"on":[42,90],"informal":[43],"semantics":[44],"has":[46],"limited":[47],"support":[48],"transparent":[50],"integrated":[52,106,177],"specification":[53],"validation":[55,219],"both":[57],"electronics,":[61],"controller":[62,114,129],"(hardware),":[63],"logic":[67],"(software).":[68],"The":[69,157,203],"contribution":[70],"this":[72],"paper":[73],"timed":[78],"hierarchical":[79],"that":[82],"mitigates":[83],"shortcomings":[85],"Simulink":[87,168],"by":[88,102],"relying":[89],"net":[93],"formalisation.":[94],"demonstrate":[96],"application":[98],"our":[100,171],"approach":[101],"developing":[103],"fully":[105,176],"buck":[110],"with":[113,151,190,200],"in":[115,147,155,194],"Tools.":[117],"Furthermore,":[118],"we":[119,141,179],"perform":[120],"time-domain":[121],"simulation":[122,144,185],"verify":[124],"capability":[126],"serve":[131],"objectives.":[134],"To":[135],"validate":[136],"developed":[138],"model,":[140],"compare":[142,183,198],"results":[145,159,186,204],"obtained":[146,189],"open-loop":[149,201],"configuration":[150],"corresponding":[153,192],"implementation":[154,193],"Simulink.":[156],"experimental":[158],"show":[160,205],"correspondence":[161],"between":[162],"model.":[169],"As":[170],"reflects":[174],"system,":[178],"are":[180],"able":[181],"measurements":[188],"real":[195],"hardware/software":[196],"closed-loop":[199],"configuration.":[202],"alignment":[206],"steady":[209],"state":[210],"while":[211],"further":[212],"refinement":[213],"algorithm":[217],"required.":[221]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2022-12-27T00:00:00"}