{"id":"https://openalex.org/W1502423684","doi":"https://doi.org/10.23919/ecc.2013.6669460","title":"Discrete control of computing systems administration: A programming language supported approach","display_name":"Discrete control of computing systems administration: A programming language supported approach","publication_year":2013,"publication_date":"2013-07-01","ids":{"openalex":"https://openalex.org/W1502423684","doi":"https://doi.org/10.23919/ecc.2013.6669460","mag":"1502423684"},"language":"en","primary_location":{"id":"doi:10.23919/ecc.2013.6669460","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc.2013.6669460","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":"preprint","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/A5113903475","display_name":"Gwena\u00ebl Delaval","orcid":"https://orcid.org/0009-0000-3029-7384"},"institutions":[{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I177483745","display_name":"Universit\u00e9 Joseph Fourier","ror":"https://ror.org/02aj0kh94","country_code":"FR","type":"education","lineage":["https://openalex.org/I177483745"]},{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Gwenael Delaval","raw_affiliation_strings":["LIG/ UJF, Grenoble, France","LIG/UJF, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"LIG/ UJF, Grenoble, France","institution_ids":["https://openalex.org/I899635006","https://openalex.org/I177483745","https://openalex.org/I4210104430"]},{"raw_affiliation_string":"LIG/UJF, Grenoble, France","institution_ids":["https://openalex.org/I899635006","https://openalex.org/I177483745","https://openalex.org/I4210104430"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108354161","display_name":"Nol De Palma","orcid":null},"institutions":[{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I177483745","display_name":"Universit\u00e9 Joseph Fourier","ror":"https://ror.org/02aj0kh94","country_code":"FR","type":"education","lineage":["https://openalex.org/I177483745"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nol De Palma","raw_affiliation_strings":["LIG/ UJF, Grenoble, France","LIG/UJF, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"LIG/ UJF, Grenoble, France","institution_ids":["https://openalex.org/I899635006","https://openalex.org/I177483745","https://openalex.org/I4210104430"]},{"raw_affiliation_string":"LIG/UJF, Grenoble, France","institution_ids":["https://openalex.org/I899635006","https://openalex.org/I177483745","https://openalex.org/I4210104430"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113695730","display_name":"Soguy Mak-Kar\u00e9 Gueye","orcid":null},"institutions":[{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I177483745","display_name":"Universit\u00e9 Joseph Fourier","ror":"https://ror.org/02aj0kh94","country_code":"FR","type":"education","lineage":["https://openalex.org/I177483745"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Soguy Mak-kare Gueye","raw_affiliation_strings":["LIG/ UJF, Grenoble, France","LIG/UJF, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"LIG/ UJF, Grenoble, France","institution_ids":["https://openalex.org/I899635006","https://openalex.org/I177483745","https://openalex.org/I4210104430"]},{"raw_affiliation_string":"LIG/UJF, Grenoble, France","institution_ids":["https://openalex.org/I899635006","https://openalex.org/I177483745","https://openalex.org/I4210104430"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053628603","display_name":"Herv\u00e9 Marchand","orcid":"https://orcid.org/0000-0002-0138-2499"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210133778","display_name":"Inria Rennes - Bretagne Atlantique Research Centre","ror":"https://ror.org/04040yw90","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Herve Marchand","raw_affiliation_strings":["Inria Centre de Recherche Rennes Bretagne Atlantique, Rennes, Bretagne, FR","[INRIA Rennes, Rennes, France]"],"affiliations":[{"raw_affiliation_string":"Inria Centre de Recherche Rennes Bretagne Atlantique, Rennes, Bretagne, FR","institution_ids":["https://openalex.org/I4210133778"]},{"raw_affiliation_string":"[INRIA Rennes, Rennes, France]","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109055543","display_name":"\u00c9ric Rutten","orcid":null},"institutions":[{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Eric Rutten","raw_affiliation_strings":["LIG/ INRIA Grenoble, France","LIG/INRIA Grenoble, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"LIG/ INRIA Grenoble, France","institution_ids":["https://openalex.org/I899635006","https://openalex.org/I1326498283","https://openalex.org/I4210104430"]},{"raw_affiliation_string":"LIG/INRIA Grenoble, Grenoble, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210104430"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5113903475"],"corresponding_institution_ids":["https://openalex.org/I899635006","https://openalex.org/I177483745","https://openalex.org/I4210104430"],"apc_list":null,"apc_paid":null,"fwci":0.32839027,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.61995707,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"117","last_page":"124"},"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.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/T11125","display_name":"Petri Nets in System Modeling","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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9988999962806702,"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.7906673550605774},{"id":"https://openalex.org/keywords/control-reconfiguration","display_name":"Control reconfiguration","score":0.7218713164329529},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.6380429863929749},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5034520030021667},{"id":"https://openalex.org/keywords/declarative-programming","display_name":"Declarative programming","score":0.49294400215148926},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4478248357772827},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.4476203918457031},{"id":"https://openalex.org/keywords/server","display_name":"Server","score":0.4402337670326233},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.43662229180336},{"id":"https://openalex.org/keywords/dynamic-programming","display_name":"Dynamic programming","score":0.43515267968177795},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.41834506392478943},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.39646631479263306},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.3032844662666321},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1688031554222107},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.1678328514099121},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16117024421691895},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.12735450267791748}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7906673550605774},{"id":"https://openalex.org/C119701452","wikidata":"https://www.wikidata.org/wiki/Q5165881","display_name":"Control reconfiguration","level":2,"score":0.7218713164329529},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.6380429863929749},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5034520030021667},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.49294400215148926},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4478248357772827},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.4476203918457031},{"id":"https://openalex.org/C93996380","wikidata":"https://www.wikidata.org/wiki/Q44127","display_name":"Server","level":2,"score":0.4402337670326233},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.43662229180336},{"id":"https://openalex.org/C37404715","wikidata":"https://www.wikidata.org/wiki/Q380679","display_name":"Dynamic programming","level":2,"score":0.43515267968177795},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.41834506392478943},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.39646631479263306},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.3032844662666321},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1688031554222107},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.1678328514099121},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16117024421691895},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.12735450267791748},{"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/ecc.2013.6669460","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc.2013.6669460","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":[{"display_name":"Peace, Justice and strong institutions","score":0.550000011920929,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1587663028","https://openalex.org/W1973317763","https://openalex.org/W1979349468","https://openalex.org/W1990911977","https://openalex.org/W2015244008","https://openalex.org/W2039310738","https://openalex.org/W2094928679","https://openalex.org/W2118496081","https://openalex.org/W2122618178","https://openalex.org/W2127335869","https://openalex.org/W2130876362","https://openalex.org/W2139101939","https://openalex.org/W2151844511","https://openalex.org/W2153045374","https://openalex.org/W2154094012","https://openalex.org/W2163167436","https://openalex.org/W2169132374","https://openalex.org/W2170657991","https://openalex.org/W2171211501"],"related_works":["https://openalex.org/W2161156675","https://openalex.org/W2039406101","https://openalex.org/W1644865499","https://openalex.org/W2169841379","https://openalex.org/W4296878212","https://openalex.org/W2172209430","https://openalex.org/W2107072074","https://openalex.org/W1988194486","https://openalex.org/W1828224469","https://openalex.org/W180441780"],"abstract_inverted_index":{"We":[0,23,64],"address":[1],"the":[2,10,44,55,69],"problem":[3,70],"of":[4,12,46,49,57,71,81],"using":[5],"Discrete":[6],"Controller":[7],"Synthesis":[8],"for":[9],"administration":[11,74],"Computing":[13],"Systems,":[14],"following":[15],"an":[16,92],"approach":[17],"supported":[18],"by":[19],"a":[20,25,77],"programming":[21,28,56],"language.":[22],"present":[24],"mixed":[26],"imperative/declarative":[27],"language,":[29],"where":[30],"declarative":[31],"contracts":[32],"are":[33],"enforced":[34],"upon":[35],"imperatively":[36],"described":[37],"behaviors.":[38],"Its":[39],"compilation":[40],"is":[41],"based":[42],"on":[43],"notion":[45],"supervisory":[47],"control":[48],"discrete":[50],"event":[51],"systems.":[52,63],"It":[53],"targets":[54],"closed-loop":[58],"reconfiguration":[59],"controllers":[60],"in":[61,76],"computing":[62],"apply":[65],"our":[66],"method":[67],"to":[68],"coordinating":[72],"several":[73],"loops":[75],"data":[78],"center":[79],"(number":[80],"servers,":[82],"repair,":[83],"and":[84],"local":[85],"processor":[86],"frequencies):":[87],"we":[88],"formulate":[89],"it":[90],"as":[91],"invariance":[93],"controller":[94],"synthesis":[95],"problem.":[96]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}