{"id":"https://openalex.org/W2570955003","doi":"https://doi.org/10.1007/s11241-016-9262-3","title":"Timed-automata abstraction of switched dynamical systems using control invariants","display_name":"Timed-automata abstraction of switched dynamical systems using control invariants","publication_year":2017,"publication_date":"2017-01-07","ids":{"openalex":"https://openalex.org/W2570955003","doi":"https://doi.org/10.1007/s11241-016-9262-3","mag":"2570955003"},"language":"en","primary_location":{"id":"doi:10.1007/s11241-016-9262-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11241-016-9262-3","pdf_url":null,"source":{"id":"https://openalex.org/S183885566","display_name":"Real-Time Systems","issn_l":"0922-6443","issn":["0922-6443","1573-1383"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Real-Time Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.sorbonne-universite.fr/hal-01436413","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041884792","display_name":"Patricia Bouyer","orcid":"https://orcid.org/0000-0002-2823-0911"},"institutions":[{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210104198","display_name":"Laboratoire Sp\u00e9cification et V\u00e9rification","ror":"https://ror.org/01kz1bj67","country_code":"FR","type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210104198","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Patricia Bouyer","raw_affiliation_strings":["LSV \u2013 CNRS & ENS Cachan, Universit\u00e9 Paris-Saclay, Cachan, France","Laboratoire Sp\u00e9cification et V\u00e9rification [Cachan]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LSV \u2013 CNRS & ENS Cachan, Universit\u00e9 Paris-Saclay, Cachan, France","institution_ids":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I277688954"]},{"raw_affiliation_string":"Laboratoire Sp\u00e9cification et V\u00e9rification [Cachan]","institution_ids":["https://openalex.org/I4210104198"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084605938","display_name":"Nicolas Markey","orcid":"https://orcid.org/0000-0003-1977-7525"},"institutions":[{"id":"https://openalex.org/I11559806","display_name":"\u00c9cole Normale Sup\u00e9rieure Paris-Saclay","ror":"https://ror.org/00hx6zz33","country_code":"FR","type":"education","lineage":["https://openalex.org/I11559806","https://openalex.org/I277688954"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210104198","display_name":"Laboratoire Sp\u00e9cification et V\u00e9rification","ror":"https://ror.org/01kz1bj67","country_code":"FR","type":"facility","lineage":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210104198","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nicolas Markey","raw_affiliation_strings":["LSV \u2013 CNRS & ENS Cachan, Universit\u00e9 Paris-Saclay, Cachan, France","Laboratoire Sp\u00e9cification et V\u00e9rification [Cachan]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LSV \u2013 CNRS & ENS Cachan, Universit\u00e9 Paris-Saclay, Cachan, France","institution_ids":["https://openalex.org/I11559806","https://openalex.org/I1294671590","https://openalex.org/I277688954"]},{"raw_affiliation_string":"Laboratoire Sp\u00e9cification et V\u00e9rification [Cachan]","institution_ids":["https://openalex.org/I4210104198"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107304346","display_name":"Nicolas Perrin","orcid":"https://orcid.org/0000-0003-2358-2915"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210150358","display_name":"Institut Syst\u00e8mes Intelligents et de Robotique","ror":"https://ror.org/05neq8668","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I154526488","https://openalex.org/I39804081","https://openalex.org/I4210150358","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Nicolas Perrin","raw_affiliation_strings":["CNRS, UMR 7222, ISIR, 75005, Paris, France","CNRS, UMR 7222, ISIR, Paris, France","Sorbonne Universit\u00e9s, UPMC Univ Paris 06, UMR 7222, ISIR, 75005, Paris, France","Sorbonne Universit\u00e9s, UPMC Univ Paris 06, UMR 7222, ISIR, Paris, France","Institut des Syst\u00e8mes Intelligents et de Robotique"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CNRS, UMR 7222, ISIR, 75005, Paris, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210150358"]},{"raw_affiliation_string":"CNRS, UMR 7222, ISIR, Paris, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210150358"]},{"raw_affiliation_string":"Sorbonne Universit\u00e9s, UPMC Univ Paris 06, UMR 7222, ISIR, 75005, Paris, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I39804081","https://openalex.org/I4210150358"]},{"raw_affiliation_string":"Sorbonne Universit\u00e9s, UPMC Univ Paris 06, UMR 7222, ISIR, Paris, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I39804081","https://openalex.org/I4210150358"]},{"raw_affiliation_string":"Institut des Syst\u00e8mes Intelligents et de Robotique","institution_ids":["https://openalex.org/I4210150358"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070485120","display_name":"Philipp Schlehuber-Caissier","orcid":"https://orcid.org/0000-0002-6611-9659"},"institutions":[{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210150358","display_name":"Institut Syst\u00e8mes Intelligents et de Robotique","ror":"https://ror.org/05neq8668","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I154526488","https://openalex.org/I39804081","https://openalex.org/I4210150358","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Philipp Schlehuber-Caissier","raw_affiliation_strings":["Sorbonne Universit\u00e9s, UPMC Univ Paris 06, UMR 7222, ISIR, 75005, Paris, France","Sorbonne Universit\u00e9s, UPMC Univ Paris 06, UMR 7222, ISIR, Paris, France","Institut des Syst\u00e8mes Intelligents et de Robotique"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sorbonne Universit\u00e9s, UPMC Univ Paris 06, UMR 7222, ISIR, 75005, Paris, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I39804081","https://openalex.org/I4210150358"]},{"raw_affiliation_string":"Sorbonne Universit\u00e9s, UPMC Univ Paris 06, UMR 7222, ISIR, Paris, France","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I39804081","https://openalex.org/I4210150358"]},{"raw_affiliation_string":"Institut des Syst\u00e8mes Intelligents et de Robotique","institution_ids":["https://openalex.org/I4210150358"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5107304346"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I39804081","https://openalex.org/I4210150358"],"apc_list":{"value":2790,"currency":"USD","value_usd":2790},"apc_paid":null,"fwci":1.0629,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.78081856,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"53","issue":"3","first_page":"327","last_page":"353"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"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":1.0,"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.9979000091552734,"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.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"}}],"keywords":[{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.7873041033744812},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6899290084838867},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.661858856678009},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.5969309210777283},{"id":"https://openalex.org/keywords/bounding-overwatch","display_name":"Bounding overwatch","score":0.5335114002227783},{"id":"https://openalex.org/keywords/discretization","display_name":"Discretization","score":0.5249452590942383},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.5148884057998657},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5102822780609131},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.5009901523590088},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4956623315811157},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.47368624806404114},{"id":"https://openalex.org/keywords/hybrid-automaton","display_name":"Hybrid automaton","score":0.47134822607040405},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.45191508531570435},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.3610910177230835},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.34512144327163696},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21005681157112122},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1578005850315094},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.11316555738449097}],"concepts":[{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7873041033744812},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6899290084838867},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.661858856678009},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.5969309210777283},{"id":"https://openalex.org/C63584917","wikidata":"https://www.wikidata.org/wiki/Q333286","display_name":"Bounding overwatch","level":2,"score":0.5335114002227783},{"id":"https://openalex.org/C73000952","wikidata":"https://www.wikidata.org/wiki/Q17007827","display_name":"Discretization","level":2,"score":0.5249452590942383},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.5148884057998657},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5102822780609131},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.5009901523590088},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4956623315811157},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.47368624806404114},{"id":"https://openalex.org/C2776028153","wikidata":"https://www.wikidata.org/wiki/Q5953179","display_name":"Hybrid automaton","level":3,"score":0.47134822607040405},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.45191508531570435},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3610910177230835},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.34512144327163696},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21005681157112122},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1578005850315094},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.11316555738449097},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"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/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s11241-016-9262-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11241-016-9262-3","pdf_url":null,"source":{"id":"https://openalex.org/S183885566","display_name":"Real-Time Systems","issn_l":"0922-6443","issn":["0922-6443","1573-1383"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Real-Time Systems","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01436413v1","is_oa":true,"landing_page_url":"https://hal.sorbonne-universite.fr/hal-01436413","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Real-Time Systems, 2017, pp.1-27. ⟨10.1007/s11241-016-9262-3⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01436413v1","is_oa":true,"landing_page_url":"https://hal.sorbonne-universite.fr/hal-01436413","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Real-Time Systems, 2017, pp.1-27. ⟨10.1007/s11241-016-9262-3⟩","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7318941937","display_name":"Collective Adaptive System SynThesIs with Non-zero-sum Games","funder_award_id":"601148","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W60768693","https://openalex.org/W1484739396","https://openalex.org/W1568502976","https://openalex.org/W1575287092","https://openalex.org/W1599995366","https://openalex.org/W1606824214","https://openalex.org/W1616046338","https://openalex.org/W1823037702","https://openalex.org/W1990388487","https://openalex.org/W1994511055","https://openalex.org/W2031364117","https://openalex.org/W2050076818","https://openalex.org/W2078162013","https://openalex.org/W2080316200","https://openalex.org/W2083802276","https://openalex.org/W2093964259","https://openalex.org/W2100538121","https://openalex.org/W2101508170","https://openalex.org/W2101780609","https://openalex.org/W2142830749","https://openalex.org/W2148247550","https://openalex.org/W2153219011","https://openalex.org/W2159433799","https://openalex.org/W2164484193","https://openalex.org/W2172082560","https://openalex.org/W2188869759","https://openalex.org/W2219981424","https://openalex.org/W2963714625","https://openalex.org/W2988545412","https://openalex.org/W4233675229","https://openalex.org/W4239216443","https://openalex.org/W4248646522","https://openalex.org/W6637251723"],"related_works":["https://openalex.org/W2160647525","https://openalex.org/W2616809300","https://openalex.org/W2614633113","https://openalex.org/W1572741747","https://openalex.org/W2732505710","https://openalex.org/W1591833214","https://openalex.org/W2099354898","https://openalex.org/W2066057891","https://openalex.org/W2014066180","https://openalex.org/W2124292368"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3}],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2025-10-10T00:00:00"}