{"id":"https://openalex.org/W2096032458","doi":"https://doi.org/10.1109/med.2013.6608857","title":"Performance-model abstraction in a synthesis-centric model-driven systems engineering framework","display_name":"Performance-model abstraction in a synthesis-centric model-driven systems engineering framework","publication_year":2013,"publication_date":"2013-06-01","ids":{"openalex":"https://openalex.org/W2096032458","doi":"https://doi.org/10.1109/med.2013.6608857","mag":"2096032458"},"language":"en","primary_location":{"id":"doi:10.1109/med.2013.6608857","is_oa":false,"landing_page_url":"https://doi.org/10.1109/med.2013.6608857","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"21st Mediterranean Conference on Control and Automation","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":["Eindhoven University of Technology, Eindhoven, Netherlands","Eindhoven Univ. of Tech., Eindhoven, Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Eindhoven Univ. of Tech., Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040487816","display_name":"Michel Reniers","orcid":"https://orcid.org/0000-0002-9283-4074"},"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":false,"raw_author_name":"Michel Reniers","raw_affiliation_strings":["Eindhoven University of Technology, Eindhoven, Netherlands","Eindhoven Univ. of Tech., Eindhoven, Netherlands"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology, Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Eindhoven Univ. of Tech., Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"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":0,"citation_normalized_percentile":{"value":0.13752648,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2428","issue":null,"first_page":"1092","last_page":"1097"},"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.9994000196456909,"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.9994000196456909,"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.9976999759674072,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9936000108718872,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.8490065932273865},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.777143120765686},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.7301110029220581},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.5636826753616333},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.5298526287078857},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5176637768745422},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5154412984848022},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.45126062631607056},{"id":"https://openalex.org/keywords/discrete-event-dynamic-system","display_name":"Discrete event dynamic system","score":0.44470465183258057},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4317844808101654},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36630767583847046},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32534492015838623},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.2629348039627075},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24211865663528442},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.20428454875946045},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.20069316029548645},{"id":"https://openalex.org/keywords/discrete-system","display_name":"Discrete system","score":0.1264268457889557},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10533565282821655}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.8490065932273865},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.777143120765686},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7301110029220581},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.5636826753616333},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.5298526287078857},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5176637768745422},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5154412984848022},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.45126062631607056},{"id":"https://openalex.org/C32866371","wikidata":"https://www.wikidata.org/wiki/Q5282046","display_name":"Discrete event dynamic system","level":3,"score":0.44470465183258057},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4317844808101654},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36630767583847046},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32534492015838623},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.2629348039627075},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24211865663528442},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.20428454875946045},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.20069316029548645},{"id":"https://openalex.org/C96314035","wikidata":"https://www.wikidata.org/wiki/Q5282062","display_name":"Discrete system","level":2,"score":0.1264268457889557},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10533565282821655},{"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1109/med.2013.6608857","is_oa":false,"landing_page_url":"https://doi.org/10.1109/med.2013.6608857","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"21st Mediterranean Conference on Control and Automation","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/4ccbd633-92a9-4b12-b854-4a206efec68a","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/4ccbd633-92a9-4b12-b854-4a206efec68a","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Markovski, J & Reniers, M 2013, Performance-model abstraction in a synthesis-centric model-driven systems engineering framework. in 2013 21st Mediterranean Conference on Control and Automation, MED 2013 - Conference Proceedings., 6608857, Institute of Electrical and Electronics Engineers, Piscataway, pp. 1092-1097, 21st Mediterranean Conference on Control and Automation, MED 2013, Platanias-Chania, Crete, Greece, 25/06/13. https://doi.org/10.1109/MED.2013.6608857","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:916438","is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=916438","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:library.tue.nl:916438","is_oa":false,"landing_page_url":"http://repository.tue.nl/916438","pdf_url":null,"source":{"id":"https://openalex.org/S4406923046","display_name":"TU/e Research Portal (Eindhoven University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:tue:oai:pure.tue.nl:publications/4ccbd633-92a9-4b12-b854-4a206efec68a","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/4ccbd633-92a9-4b12-b854-4a206efec68a","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2013 21st Mediterranean Conference on Control and Automation, MED 2013 - Conference Proceedings, 1092 - 1097","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W171047235","https://openalex.org/W1979349468","https://openalex.org/W1985861264","https://openalex.org/W1992707297","https://openalex.org/W1995831109","https://openalex.org/W2007108982","https://openalex.org/W2039568153","https://openalex.org/W2046577860","https://openalex.org/W2124777750","https://openalex.org/W2131662694","https://openalex.org/W2136937530","https://openalex.org/W2141881497","https://openalex.org/W2150336837","https://openalex.org/W2164096878","https://openalex.org/W2170945849","https://openalex.org/W2178250883","https://openalex.org/W4297744580","https://openalex.org/W6607022284","https://openalex.org/W6648740292"],"related_works":["https://openalex.org/W2082472813","https://openalex.org/W2147348835","https://openalex.org/W3005566532","https://openalex.org/W278680301","https://openalex.org/W2164319435","https://openalex.org/W1970223082","https://openalex.org/W2144996318","https://openalex.org/W2015027349","https://openalex.org/W2130642229","https://openalex.org/W2033300532"],"abstract_inverted_index":{"Supervisory":[0],"control":[1,15],"theory":[2],"deals":[3],"with":[4,101,114],"automated":[5],"synthesis":[6,36],"of":[7,9,27,87,98,122,130,132],"models":[8],"supervisory":[10],"controllers":[11,21,39],"that":[12,40,59,69,138,145,162,196],"coordinate":[13],"and":[14,24,45,63,186,190],"discrete-event":[16,185],"high-level":[17],"system":[18,53,72],"behavior.":[19],"These":[20],"ensure":[22,58],"safe":[23],"nonblocking":[25],"functioning":[26],"the":[28,51,60,70,75,85,88,123,128,133,167,179,182,187,204],"system,":[29,169],"but":[30],"there":[31],"do":[32],"not":[33,147,164,198],"exist":[34,118],"efficient":[35],"procedures":[37],"for":[38,120,150],"can":[41],"ascertain":[42],"complex":[43],"liveness":[44],"performance":[46,64,76,79,107,134,151,175,188,205],"guarantees.":[47],"To":[48,67],"this":[49,139],"end,":[50],"supervised":[52,71,89],"must":[54],"be":[55],"validated":[56],"to":[57,142,173],"desired":[61],"functionality":[62],"is":[65,81,93,109,146],"preserved.":[66],"verify":[68],"also":[73],"satisfies":[74],"requirements,":[77],"a":[78,110,193],"model":[80,86,108,155],"derived":[82],"by":[83,95,153],"abstracting":[84],"system.":[90],"The":[91,105,157],"latter":[92],"modeled":[94],"stochastic":[96,154,184],"extensions":[97],"discrete-events":[99],"systems":[100],"Markovian":[102],"(exponential)":[103],"delays.":[104],"resulting":[106],"continuous-time":[111],"Markov":[112,124],"chain":[113],"state":[115],"labels.":[116],"There":[117],"algorithms":[119],"extraction":[121],"process,":[125],"which":[126,170],"optimize":[127],"number":[129],"states":[131,159],"model.":[135,206],"We":[136,177],"show":[137],"optimization":[140],"leads":[141],"an":[143],"abstraction":[144,195],"always":[148],"suitable":[149],"evaluation":[152],"checking.":[156],"abstracted":[158],"form":[160],"paths":[161],"are":[163],"justifiable":[165],"in":[166,203],"original":[168,183],"may":[171],"lead":[172],"wrong":[174],"metrics.":[176],"formalize":[178],"relationship":[180],"between":[181],"model,":[189],"we":[191],"propose":[192],"new":[194],"does":[197],"introduce":[199],"these":[200],"insupportable":[201],"properties":[202]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}