{"id":"https://openalex.org/W2059616149","doi":"https://doi.org/10.1080/10798587.2006.10642912","title":"Formal Verification Analysis of Load-Voltage Power Control","display_name":"Formal Verification Analysis of Load-Voltage Power Control","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W2059616149","doi":"https://doi.org/10.1080/10798587.2006.10642912","mag":"2059616149"},"language":"en","primary_location":{"id":"doi:10.1080/10798587.2006.10642912","is_oa":false,"landing_page_url":"https://doi.org/10.1080/10798587.2006.10642912","pdf_url":null,"source":{"id":"https://openalex.org/S40639465","display_name":"Intelligent Automation & Soft Computing","issn_l":"1079-8587","issn":["1079-8587","2326-005X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Intelligent Automation & Soft Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021912284","display_name":"Mark Moulin","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"M. Moulin","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091146273","display_name":"L. Gluhovsky","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"L. Gluhovsky","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5051124038","display_name":"Daniel Geist","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"D. Geist","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5021912284"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12858271,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"12","issue":"1","first_page":"23","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9976999759674072,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9894000291824341,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8917627334594727},{"id":"https://openalex.org/keywords/voltage","display_name":"Voltage","score":0.49352705478668213},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.49278905987739563},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.4623158872127533},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3659796714782715},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.275396466255188},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10581779479980469}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8917627334594727},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.49352705478668213},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.49278905987739563},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.4623158872127533},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3659796714782715},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.275396466255188},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10581779479980469},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/10798587.2006.10642912","is_oa":false,"landing_page_url":"https://doi.org/10.1080/10798587.2006.10642912","pdf_url":null,"source":{"id":"https://openalex.org/S40639465","display_name":"Intelligent Automation & Soft Computing","issn_l":"1079-8587","issn":["1079-8587","2326-005X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Intelligent Automation & Soft Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W295317498","https://openalex.org/W2142785340","https://openalex.org/W2320397327","https://openalex.org/W2913459036","https://openalex.org/W6684644128","https://openalex.org/W6751116710"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2],"introduces":[3],"an":[4],"application":[5],"of":[6,26,37,45,79,84,99,126,151],"a":[7,18,31,38,54,70,94,100,153],"Formal":[8,82,120],"Verification":[9,83],"(or":[10],"model":[11,25,60,98],"checking)":[12],"technique":[13],"to":[14,92,109],"improve":[15],"performance":[16],"in":[17,117],"voltage":[19],"collapse":[20],"power":[21,47,142],"control":[22,28,75,86,143],"system.":[23,102],"The":[24,59,141],"the":[27,46,50,90,135,149],"system":[29,87,113,137,144],"has":[30],"hybrid":[32,80,85],"character":[33],"and":[34,53,77,131],"is":[35,61,107],"comprised":[36],"continuous-time":[39],"load":[40,51],"dynamics":[41],"model,":[42],"algebraic":[43],"equations":[44],"balance":[48],"on":[49,89],"bus,":[52],"discrete":[55],"tap":[56],"changer":[57],"controller.":[58],"developed":[62],"by":[63],"ABB":[64],"Schweiz":[65],"AG":[66],"Corporate":[67],"Research":[68],"as":[69],"test":[71],"case":[72],"intended":[73],"for":[74],"synthesis":[76],"analysis":[78],"systems.":[81],"relies":[88],"possibility":[91],"construct":[93],"(mite":[95],"state":[96],"transition":[97],"discretized":[101],"An":[103],"efficient":[104],"search":[105],"procedure":[106],"used":[108],"check":[110,133],"whether":[111,134],"desired":[112],"properties":[114,138,145],"hold":[115],"true":[116],"that":[118],"model.":[119],"verification":[121,155],"methods":[122],"provide":[123],"full":[124],"coverage":[125],"all":[127],"possible":[128],"cases":[129],"(scenarios),":[130],"thereby":[132],"specified":[136],"are":[139],"satisfied.":[140],"were":[146],"verified":[147],"with":[148],"help":[150],"RuleBase,":[152],"formal":[154],"...":[156]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}