{"id":"https://openalex.org/W1747412957","doi":"https://doi.org/10.23919/ecc.2013.6669190","title":"An integrated systems engineering framework for supervisor synthesis, verification, and performance evaluation","display_name":"An integrated systems engineering framework for supervisor synthesis, verification, and performance evaluation","publication_year":2013,"publication_date":"2013-07-01","ids":{"openalex":"https://openalex.org/W1747412957","doi":"https://doi.org/10.23919/ecc.2013.6669190","mag":"1747412957"},"language":"en","primary_location":{"id":"doi:10.23919/ecc.2013.6669190","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc.2013.6669190","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 European Control Conference (ECC)","raw_type":"proceedings-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/A5055540408","display_name":"Jasen Markovski","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Jasen Markovski","raw_affiliation_strings":["Department of Mechanical Engineering, Eindhoven University of Technology, The Netherlands","Dept. of Mech. Eng., Eindhoven Univ. of Technol., Eindhoven, Netherlands"],"affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, Eindhoven University of Technology, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Dept. of Mech. Eng., Eindhoven Univ. of Technol., Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5055540408"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.04473667,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"650","last_page":"657"},"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.9997000098228455,"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.9997000098228455,"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/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.995199978351593,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.7613694071769714},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.7603470087051392},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.7375963926315308},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.5617391467094421},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5159904956817627},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.494524210691452},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.4618683159351349},{"id":"https://openalex.org/keywords/supervisory-control-theory","display_name":"Supervisory control theory","score":0.4407602548599243},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.4297759532928467},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.42093849182128906},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4143206477165222},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3711250424385071},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3480255603790283},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.28437528014183044},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2817370295524597},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.24275115132331848},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1860193908214569},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10420176386833191}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7613694071769714},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.7603470087051392},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.7375963926315308},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.5617391467094421},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5159904956817627},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.494524210691452},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.4618683159351349},{"id":"https://openalex.org/C2778693208","wikidata":"https://www.wikidata.org/wiki/Q7644327","display_name":"Supervisory control theory","level":4,"score":0.4407602548599243},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.4297759532928467},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.42093849182128906},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4143206477165222},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3711250424385071},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3480255603790283},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.28437528014183044},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2817370295524597},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.24275115132331848},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1860193908214569},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10420176386833191},{"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},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/ecc.2013.6669190","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc.2013.6669190","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 European Control Conference (ECC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.4699999988079071}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W171047235","https://openalex.org/W1502518842","https://openalex.org/W1531214994","https://openalex.org/W1577803140","https://openalex.org/W1587663028","https://openalex.org/W1597655219","https://openalex.org/W1667094241","https://openalex.org/W1979349468","https://openalex.org/W1985861264","https://openalex.org/W1995831109","https://openalex.org/W2000947342","https://openalex.org/W2007108982","https://openalex.org/W2039568153","https://openalex.org/W2046577860","https://openalex.org/W2048949114","https://openalex.org/W2104927240","https://openalex.org/W2105279951","https://openalex.org/W2108257849","https://openalex.org/W2112951648","https://openalex.org/W2115570137","https://openalex.org/W2116877596","https://openalex.org/W2123814533","https://openalex.org/W2124777750","https://openalex.org/W2131456244","https://openalex.org/W2131662694","https://openalex.org/W2133925698","https://openalex.org/W2136937530","https://openalex.org/W2141881497","https://openalex.org/W2142570643","https://openalex.org/W2150336837","https://openalex.org/W2162379766","https://openalex.org/W2163119090","https://openalex.org/W2164096878","https://openalex.org/W2178250883","https://openalex.org/W2288510553","https://openalex.org/W2804230136"],"related_works":["https://openalex.org/W2561017691","https://openalex.org/W2382992246","https://openalex.org/W2162500174","https://openalex.org/W2162712621","https://openalex.org/W4238590755","https://openalex.org/W2135155064","https://openalex.org/W2098906570","https://openalex.org/W1730713963","https://openalex.org/W3008639176","https://openalex.org/W2101094514"],"abstract_inverted_index":{"We":[0,110,192],"propose":[1],"a":[2,98,138,163],"model-based":[3],"systems":[4],"engineering":[5],"framework":[6,96,195],"that":[7,39,90,102],"enables":[8],"supervisor":[9,121],"synthesis":[10,33,71,122],"of":[11,19,24,34,36,49,107,141,201],"stochastic":[12,132,188],"(nondeterministic)":[13],"discrete-event":[14,47],"systems,":[15,75],"and":[16,21,42,53,168,183],"post-synthesis":[17],"validation":[18],"functional":[20,61],"quantitative":[22,152],"properties":[23,62],"the":[25,50,54,70,82,108,117,142,146,158,172,178,187,194],"supervised":[26,83,143,153],"system.":[27,109],"Supervisory":[28],"control":[29,55],"theory":[30],"deals":[31],"with":[32,171],"models":[35,48,127],"supervisory":[37],"controllers":[38],"ensure":[40,89],"safe":[41],"nonblocking":[43],"behavior,":[44,154],"based":[45],"on":[46,112,196],"uncontrolled":[51],"system":[52,84,144,160],"requirements.":[56],"Typically,":[57],"neither":[58],"more":[59],"elaborated":[60],"nor":[63],"performance":[64],"metrics":[65],"can":[66],"be":[67,86],"guaranteed":[68],"by":[69],"procedure":[72],"for":[73],"large":[74],"due":[76],"to":[77,88,115,130,145,162,186],"high":[78],"computational":[79],"complexity.":[80],"Thus,":[81],"must":[85],"validated":[87],"intended":[91],"behavior":[92],"is":[93],"present.":[94],"The":[95],"employs":[97],"single":[99],"integrated":[100],"model":[101,147,161,189],"denotes":[103],"all":[104],"relevant":[105],"aspects":[106],"rely":[111],"state-of-the-art":[113],"tools":[114],"implement":[116],"proposed":[118],"framework.":[119],"For":[120,134],"we":[123,128,136,156,176],"employ":[124],"Supremica,":[125],"which":[126],"extend":[129],"denote":[131],"behavior.":[133],"verification,":[135],"provide":[137],"consistent":[139],"translation":[140],"checker":[148,190],"UPPAAL.":[149],"To":[150],"evaluate":[151],"first":[155],"transform":[157],"denoted":[159],"labeled":[164,180],"Interactive":[165],"Markov":[166,181],"chain":[167],"couple":[169],"it":[170,185],"synthesized":[173],"supervisor.":[174],"Then,":[175],"derive":[177],"underlying":[179],"process":[182],"feed":[184],"MRMC.":[191],"illustrate":[193],"an":[197],"industrial":[198],"case":[199],"study":[200],"coordinating":[202],"printing":[203],"maintenance":[204],"procedures.":[205]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}