{"id":"https://openalex.org/W2188869759","doi":"https://doi.org/10.1007/978-3-319-22975-1_5","title":"Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels","display_name":"Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W2188869759","doi":"https://doi.org/10.1007/978-3-319-22975-1_5","mag":"2188869759"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-22975-1_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-22975-1_5","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.sorbonne-universite.fr/hal-01395104","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/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":["Laboratoire Sp\u00e9cification and V\u00e9rification, CNRS and ENS Cachan, Cachan, France"],"affiliations":[{"raw_affiliation_string":"Laboratoire Sp\u00e9cification and V\u00e9rification, CNRS and ENS Cachan, Cachan, France","institution_ids":["https://openalex.org/I4210104198","https://openalex.org/I11559806","https://openalex.org/I1294671590"]}]},{"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/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":["Laboratoire Sp\u00e9cification and V\u00e9rification, CNRS and ENS Cachan, Cachan, France"],"affiliations":[{"raw_affiliation_string":"Laboratoire Sp\u00e9cification and V\u00e9rification, CNRS and ENS Cachan, Cachan, France","institution_ids":["https://openalex.org/I4210104198","https://openalex.org/I11559806","https://openalex.org/I1294671590"]}]},{"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","Sorbonne Universit\u00e9s, UPMC Univ Paris 06, UMR 7222, ISIR, 75005, Paris, France","CNRS, UMR 7222, ISIR, Paris, France","Sorbonne Universit\u00e9s, UPMC Univ Paris 06, UMR 7222, ISIR, Paris, France"],"affiliations":[{"raw_affiliation_string":"CNRS, UMR 7222, ISIR, 75005, Paris, France","institution_ids":["https://openalex.org/I4210150358","https://openalex.org/I1294671590"]},{"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/I4210150358","https://openalex.org/I39804081"]},{"raw_affiliation_string":"CNRS, UMR 7222, ISIR, Paris, France","institution_ids":["https://openalex.org/I4210150358","https://openalex.org/I1294671590"]},{"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"]}]},{"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"],"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/I4210150358","https://openalex.org/I39804081"]},{"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"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"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":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.8433,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.84809566,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"60","last_page":"75"},"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.9984999895095825,"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.9980000257492065,"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/computer-science","display_name":"Computer science","score":0.8333725929260254},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.8232382535934448},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7298570275306702},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.5524819493293762},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5489188432693481},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5415897369384766},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5115078687667847},{"id":"https://openalex.org/keywords/abstract-state-machines","display_name":"Abstract state machines","score":0.47279852628707886},{"id":"https://openalex.org/keywords/discretization","display_name":"Discretization","score":0.4565557539463043},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.43287256360054016},{"id":"https://openalex.org/keywords/hybrid-automaton","display_name":"Hybrid automaton","score":0.4322908818721771},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4179091155529022},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.41559356451034546},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3440936207771301},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2546353042125702},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09935116767883301}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8333725929260254},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.8232382535934448},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7298570275306702},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.5524819493293762},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5489188432693481},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5415897369384766},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5115078687667847},{"id":"https://openalex.org/C145243422","wikidata":"https://www.wikidata.org/wiki/Q333385","display_name":"Abstract state machines","level":3,"score":0.47279852628707886},{"id":"https://openalex.org/C73000952","wikidata":"https://www.wikidata.org/wiki/Q17007827","display_name":"Discretization","level":2,"score":0.4565557539463043},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.43287256360054016},{"id":"https://openalex.org/C2776028153","wikidata":"https://www.wikidata.org/wiki/Q5953179","display_name":"Hybrid automaton","level":3,"score":0.4322908818721771},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4179091155529022},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.41559356451034546},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3440936207771301},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2546353042125702},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09935116767883301},{"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/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},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","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/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-319-22975-1_5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-22975-1_5","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.697.3450","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.697.3450","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/BMPS-formats15.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:hal-01395104v1","is_oa":true,"landing_page_url":"https://hal.sorbonne-universite.fr/hal-01395104","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":"Formal Modeling and Analysis of Timed Systems, 9268, Springer International Publishing, pp.60 - 75, 2015, Lecture Notes in Computer Science, 978-3-319-22974-4. ⟨10.1007/978-3-319-22975-1_5⟩","raw_type":"Book sections"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01395104v1","is_oa":true,"landing_page_url":"https://hal.sorbonne-universite.fr/hal-01395104","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":"Formal Modeling and Analysis of Timed Systems, 9268, Springer International Publishing, pp.60 - 75, 2015, Lecture Notes in Computer Science, 978-3-319-22974-4. ⟨10.1007/978-3-319-22975-1_5⟩","raw_type":"Book sections"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"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/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/W2172082560","https://openalex.org/W2188903178","https://openalex.org/W2219981424","https://openalex.org/W2963714625","https://openalex.org/W4233675229","https://openalex.org/W4248646522"],"related_works":["https://openalex.org/W2098353690","https://openalex.org/W4251237796","https://openalex.org/W127357700","https://openalex.org/W2724597727","https://openalex.org/W1480528870","https://openalex.org/W2508541108","https://openalex.org/W4243191745","https://openalex.org/W2315419748","https://openalex.org/W1933500550","https://openalex.org/W2906490231"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2}],"updated_date":"2026-04-12T07:58:50.170612","created_date":"2025-10-10T00:00:00"}