{"id":"https://openalex.org/W2043655783","doi":"https://doi.org/10.1109/etfa.2011.6059040","title":"Process tracking by equivalent states in modal supervisory control","display_name":"Process tracking by equivalent states in modal supervisory control","publication_year":2011,"publication_date":"2011-09-01","ids":{"openalex":"https://openalex.org/W2043655783","doi":"https://doi.org/10.1109/etfa.2011.6059040","mag":"2043655783"},"language":"en","primary_location":{"id":"doi:10.1109/etfa.2011.6059040","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2011.6059040","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ETFA2011","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/A5015177346","display_name":"Gr\u00e9gory Faraut","orcid":"https://orcid.org/0000-0003-0388-932X"},"institutions":[{"id":"https://openalex.org/I4210145913","display_name":"Laboratoire Amp\u00e8re","ror":"https://ror.org/04xbczw40","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I112936343","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210095849","https://openalex.org/I4210145913","https://openalex.org/I48430043"]},{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Gregory Faraut","raw_affiliation_strings":["INSA-Lyon, Laboratory AMPERE, University of Lyon, Villeurbanne, France","INSA-Lyon, Lab. AMPERE, University of Lyon, 20 av. albert Einstein, 69100 Villeurbanne, France"],"affiliations":[{"raw_affiliation_string":"INSA-Lyon, Laboratory AMPERE, University of Lyon, Villeurbanne, France","institution_ids":["https://openalex.org/I4210145913","https://openalex.org/I100532134"]},{"raw_affiliation_string":"INSA-Lyon, Lab. AMPERE, University of Lyon, 20 av. albert Einstein, 69100 Villeurbanne, France","institution_ids":["https://openalex.org/I100532134"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035928241","display_name":"Laurent Pi\u00e9trac","orcid":null},"institutions":[{"id":"https://openalex.org/I4210145913","display_name":"Laboratoire Amp\u00e8re","ror":"https://ror.org/04xbczw40","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I112936343","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210095849","https://openalex.org/I4210145913","https://openalex.org/I48430043"]},{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Laurent Pietrac","raw_affiliation_strings":["INSA-Lyon, Laboratory AMPERE, University of Lyon, Villeurbanne, France","INSA-Lyon, Lab. AMPERE, University of Lyon, 20 av. albert Einstein, 69100 Villeurbanne, France"],"affiliations":[{"raw_affiliation_string":"INSA-Lyon, Laboratory AMPERE, University of Lyon, Villeurbanne, France","institution_ids":["https://openalex.org/I4210145913","https://openalex.org/I100532134"]},{"raw_affiliation_string":"INSA-Lyon, Lab. AMPERE, University of Lyon, 20 av. albert Einstein, 69100 Villeurbanne, France","institution_ids":["https://openalex.org/I100532134"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014516797","display_name":"\u00c9ric Niel","orcid":"https://orcid.org/0000-0003-4212-9235"},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Universit\u00e9 Claude Bernard Lyon 1","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]},{"id":"https://openalex.org/I4210145913","display_name":"Laboratoire Amp\u00e8re","ror":"https://ror.org/04xbczw40","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100532134","https://openalex.org/I112936343","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210095849","https://openalex.org/I4210145913","https://openalex.org/I48430043"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Eric Niel","raw_affiliation_strings":["INSA-Lyon, Laboratory AMPERE, University of Lyon, Villeurbanne, France","INSA-Lyon, Lab. AMPERE, University of Lyon, 20 av. albert Einstein, 69100 Villeurbanne, France"],"affiliations":[{"raw_affiliation_string":"INSA-Lyon, Laboratory AMPERE, University of Lyon, Villeurbanne, France","institution_ids":["https://openalex.org/I4210145913","https://openalex.org/I100532134"]},{"raw_affiliation_string":"INSA-Lyon, Lab. AMPERE, University of Lyon, 20 av. albert Einstein, 69100 Villeurbanne, France","institution_ids":["https://openalex.org/I100532134"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5015177346"],"corresponding_institution_ids":["https://openalex.org/I100532134","https://openalex.org/I4210145913"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.1180028,"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":"1","last_page":"8"},"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.9998999834060669,"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.9998999834060669,"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.9986000061035156,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.994700014591217,"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/sublanguage","display_name":"Sublanguage","score":0.9494906663894653},{"id":"https://openalex.org/keywords/supervisory-control-theory","display_name":"Supervisory control theory","score":0.7528084516525269},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6826867461204529},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.6819502115249634},{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.6098255515098572},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.60639488697052},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5909839272499084},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5606067180633545},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4890333116054535},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.48771199584007263},{"id":"https://openalex.org/keywords/identification","display_name":"Identification (biology)","score":0.480254203081131},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.4749990701675415},{"id":"https://openalex.org/keywords/tracking","display_name":"Tracking (education)","score":0.4583742618560791},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.44884663820266724},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.4269815683364868},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3778596520423889},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.37663567066192627},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.27000683546066284},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19058513641357422},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.116700679063797},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11663398146629333}],"concepts":[{"id":"https://openalex.org/C2776411971","wikidata":"https://www.wikidata.org/wiki/Q17141398","display_name":"Sublanguage","level":2,"score":0.9494906663894653},{"id":"https://openalex.org/C2778693208","wikidata":"https://www.wikidata.org/wiki/Q7644327","display_name":"Supervisory control theory","level":4,"score":0.7528084516525269},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6826867461204529},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.6819502115249634},{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.6098255515098572},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.60639488697052},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5909839272499084},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5606067180633545},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4890333116054535},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.48771199584007263},{"id":"https://openalex.org/C116834253","wikidata":"https://www.wikidata.org/wiki/Q2039217","display_name":"Identification (biology)","level":2,"score":0.480254203081131},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.4749990701675415},{"id":"https://openalex.org/C2775936607","wikidata":"https://www.wikidata.org/wiki/Q466845","display_name":"Tracking (education)","level":2,"score":0.4583742618560791},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.44884663820266724},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.4269815683364868},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3778596520423889},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.37663567066192627},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.27000683546066284},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19058513641357422},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.116700679063797},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11663398146629333},{"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/C59822182","wikidata":"https://www.wikidata.org/wiki/Q441","display_name":"Botany","level":1,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","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/C19417346","wikidata":"https://www.wikidata.org/wiki/Q7922","display_name":"Pedagogy","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/etfa.2011.6059040","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2011.6059040","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ETFA2011","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-00636628v1","is_oa":false,"landing_page_url":"https://hal.science/hal-00636628","pdf_url":null,"source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","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":"ETFA 2011, Sep 2011, Toulouse, France. 8 p. (\u00e9lectronique), ⟨10.1109/ETFA.2011.6059040⟩","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W304710776","https://openalex.org/W1587663028","https://openalex.org/W1973353540","https://openalex.org/W1973417083","https://openalex.org/W1979349468","https://openalex.org/W1994584977","https://openalex.org/W2059057465","https://openalex.org/W2097828606","https://openalex.org/W2116472242","https://openalex.org/W2126295866","https://openalex.org/W2131451245","https://openalex.org/W2135254706","https://openalex.org/W2150315502","https://openalex.org/W2984582970","https://openalex.org/W4214749219"],"related_works":["https://openalex.org/W2333630979","https://openalex.org/W2055342474","https://openalex.org/W2159110164","https://openalex.org/W2172083724","https://openalex.org/W4309988904","https://openalex.org/W2016380948","https://openalex.org/W2090684133","https://openalex.org/W2159706408","https://openalex.org/W2325169597","https://openalex.org/W2962778552"],"abstract_inverted_index":{"This":[0,74,134],"paper":[1],"proposes":[2],"an":[3],"extension":[4],"of":[5,19,51,60,63,71,139,147,165],"the":[6,17,20,41,43,49,52,57,61,64,69,72,87,95,98,125,137,163,168],"process":[7,35,45,88],"tracking":[8],"in":[9,28,94,106,112,167],"modal":[10,107],"supervisory":[11],"control":[12],"that":[13,80],"takes":[14],"into":[15],"account":[16],"models":[18,146],"controlled":[21,44],"processes":[22],"which":[23],"are":[24,81],"not":[25,37,156],"trimmed.":[26],"Indeed,":[27],"Supervisory":[29],"Control":[30],"Theory":[31],"(SCT),":[32],"when":[33],"a":[34,90,113],"is":[36,46,75,89,100,151],"controllable":[38,54,66],"to":[39,77,141,152],"respect":[40],"specifications,":[42],"computed":[47],"by":[48,131,158],"algorithm":[50,62],"supremal":[53,65],"sublanguage.":[55],"However,":[56],"final":[58],"step":[59],"sublanguage":[67],"computes":[68],"trim":[70],"model.":[73,92],"coherent":[76],"remove":[78],"states":[79,111,140,166],"neither":[82],"accessible":[83,117,126],"nor":[84],"co-accessible":[85],"because":[86],"unique":[91],"Nevertheless,":[93],"case":[96],"where":[97],"design":[99],"done":[101],"with":[102],"many":[103],"models,":[104],"like":[105],"approach,":[108],"some":[109],"inaccessible":[110],"mode":[114],"can":[115],"be":[116],"from":[118],"another":[119],"one.":[120],"The":[121,149],"proposed":[122],"framework":[123],"identifies":[124],"states,":[127,130],"called":[128],"equivalent":[129],"other":[132],"models.":[133],"identification":[135],"uses":[136],"name":[138,164],"determine":[142],"their":[143],"equivalents":[144],"among":[145],"modes.":[148],"aim":[150],"improve":[153],"switching":[154],"modes,":[155],"only":[157],"using":[159],"languages,":[160],"but":[161],"also":[162],"automata.":[169]},"counts_by_year":[{"year":2015,"cited_by_count":1}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2025-10-10T00:00:00"}