{"id":"https://openalex.org/W4403048365","doi":"https://doi.org/10.1109/cdc56724.2024.10886143","title":"Formal stabilization of a coupled ODE-PDE switched system","display_name":"Formal stabilization of a coupled ODE-PDE switched system","publication_year":2024,"publication_date":"2024-12-16","ids":{"openalex":"https://openalex.org/W4403048365","doi":"https://doi.org/10.1109/cdc56724.2024.10886143"},"language":"en","primary_location":{"id":"doi:10.1109/cdc56724.2024.10886143","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc56724.2024.10886143","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 63rd Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-04712017/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017603552","display_name":"Adrien Le Co\u00ebnt","orcid":"https://orcid.org/0000-0002-4180-3219"},"institutions":[{"id":"https://openalex.org/I197681013","display_name":"Universit\u00e9 Paris-Est Cr\u00e9teil","ror":"https://ror.org/05ggc9x40","country_code":"FR","type":"education","lineage":["https://openalex.org/I197681013"]},{"id":"https://openalex.org/I2800365227","display_name":"Paris-Est Sup","ror":"https://ror.org/0268ecp52","country_code":"FR","type":"education","lineage":["https://openalex.org/I2800365227"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Adrien Le Co\u00ebnt","raw_affiliation_strings":["Univ Paris Est Creteil, LACL,Creteil,France,F-94010","LACL - Laboratoire d'Algorithmique Complexit\u00e9 et Logique (LACL, Universit\u00e9 Paris-Est Cr\u00e9teil Val-de-Marne, 61 avenue du G\u00e9n\u00e9ral de Gaulle 94010 Cr\u00e9teil cedex - France)","UPEC FST - Universit\u00e9 Paris-Est Cr\u00e9teil Val-de-Marne - Facult\u00e9 des sciences et technologie (Facult\u00e9 des sciences et technologie\r\nCampus Centre - B\u00e2timent P\r\n61, av. du G\u00e9n\u00e9ral de Gaulle\r\n94010 Cr\u00e9teil cedex - France)","UPEC UP12 - Universit\u00e9 Paris-Est Cr\u00e9teil Val-de-Marne - Paris 12 (61 avenue du G\u00e9n\u00e9ral de Gaulle - 94010 Cr\u00e9teil cedex - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ Paris Est Creteil, LACL,Creteil,France,F-94010","institution_ids":["https://openalex.org/I197681013"]},{"raw_affiliation_string":"LACL - Laboratoire d'Algorithmique Complexit\u00e9 et Logique (LACL, Universit\u00e9 Paris-Est Cr\u00e9teil Val-de-Marne, 61 avenue du G\u00e9n\u00e9ral de Gaulle 94010 Cr\u00e9teil cedex - France)","institution_ids":["https://openalex.org/I197681013","https://openalex.org/I2800365227"]},{"raw_affiliation_string":"UPEC FST - Universit\u00e9 Paris-Est Cr\u00e9teil Val-de-Marne - Facult\u00e9 des sciences et technologie (Facult\u00e9 des sciences et technologie\r\nCampus Centre - B\u00e2timent P\r\n61, av. du G\u00e9n\u00e9ral de Gaulle\r\n94010 Cr\u00e9teil cedex - France)","institution_ids":["https://openalex.org/I197681013"]},{"raw_affiliation_string":"UPEC UP12 - Universit\u00e9 Paris-Est Cr\u00e9teil Val-de-Marne - Paris 12 (61 avenue du G\u00e9n\u00e9ral de Gaulle - 94010 Cr\u00e9teil cedex - France)","institution_ids":["https://openalex.org/I197681013"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010601626","display_name":"Jonathan Vacher","orcid":"https://orcid.org/0000-0002-4321-6309"},"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/I4210091437","display_name":"Sorbonne Paris Cit\u00e9","ror":"https://ror.org/001z21q04","country_code":"FR","type":"other","lineage":["https://openalex.org/I4210091437"]},{"id":"https://openalex.org/I4210102957","display_name":"D\u00e9partement math\u00e9matiques, informatique, sciences de la donn\u00e9e et technologies du num\u00e9rique","ror":"https://ror.org/011emb038","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4210088668","https://openalex.org/I4210102957"]},{"id":"https://openalex.org/I4387154995","display_name":"Math\u00e9matiques Appliqu\u00e9es \u00e0 Paris 5","ror":"https://ror.org/04yrrdj53","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I4387154995"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jonathan Vacher","raw_affiliation_strings":["Université Paris Cité, CNRS,MAP5,Paris,France,F-75006","MAP5 - UMR 8145 - Math\u00e9matiques Appliqu\u00e9es Paris 5 (UFR Math\u00e9matiques et Informatique, \r\n45 rue des Saints-P\u00e8res \r\n75270 PARIS CEDEX 06 - France)","UPCit\u00e9 - Universit\u00e9 Paris Cit\u00e9 (85 boulevard Saint-Germain\r\n75006 Paris - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Université Paris Cité, CNRS,MAP5,Paris,France,F-75006","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4387154995"]},{"raw_affiliation_string":"MAP5 - UMR 8145 - Math\u00e9matiques Appliqu\u00e9es Paris 5 (UFR Math\u00e9matiques et Informatique, \r\n45 rue des Saints-P\u00e8res \r\n75270 PARIS CEDEX 06 - France)","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I4210102957","https://openalex.org/I4387154995"]},{"raw_affiliation_string":"UPCit\u00e9 - Universit\u00e9 Paris Cit\u00e9 (85 boulevard Saint-Germain\r\n75006 Paris - France)","institution_ids":["https://openalex.org/I204730241","https://openalex.org/I4210091437"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025305026","display_name":"Kenan Kergrene","orcid":"https://orcid.org/0000-0002-8520-834X"},"institutions":[{"id":"https://openalex.org/I102516824","display_name":"Universit\u00e9 de Technologie de Compi\u00e8gne","ror":"https://ror.org/04y5kwa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I102516824"]},{"id":"https://openalex.org/I4210112165","display_name":"Laboratoire Roberval","ror":"https://ror.org/023ffhx15","country_code":"FR","type":"facility","lineage":["https://openalex.org/I102516824","https://openalex.org/I1294671590","https://openalex.org/I4210095849","https://openalex.org/I4210112165"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Kenan Kergrene","raw_affiliation_strings":["Université de Technologie de Compiègne, Laboratoire Roberval, CS 60319,Compiègne Cedex,France,60203","Roberval - Roberval (Universit\u00e9 de Technologie de Compi\u00e8gne - Centre de Recherche de Royallieu - rue du Docteur Schweitzer- CS 60319 - 60203 COMPIEGNE Cedex - France)","UTC - Universit\u00e9 de Technologie de Compi\u00e8gne (Universit\u00e9 de Technologie de Compi\u00e8gne - Centre de Recherche de Royallieu - rue du Docteur Schweitzer- CS 60319 - 60203 COMPIEGNE Cedex - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Université de Technologie de Compiègne, Laboratoire Roberval, CS 60319,Compiègne Cedex,France,60203","institution_ids":["https://openalex.org/I4210112165"]},{"raw_affiliation_string":"Roberval - Roberval (Universit\u00e9 de Technologie de Compi\u00e8gne - Centre de Recherche de Royallieu - rue du Docteur Schweitzer- CS 60319 - 60203 COMPIEGNE Cedex - France)","institution_ids":["https://openalex.org/I102516824"]},{"raw_affiliation_string":"UTC - Universit\u00e9 de Technologie de Compi\u00e8gne (Universit\u00e9 de Technologie de Compi\u00e8gne - Centre de Recherche de Royallieu - rue du Docteur Schweitzer- CS 60319 - 60203 COMPIEGNE Cedex - France)","institution_ids":["https://openalex.org/I102516824"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":9,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.24815055,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"6341","last_page":"6348"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T14083","display_name":"Extremum Seeking Control Systems","score":0.9912999868392944,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T14083","display_name":"Extremum Seeking Control Systems","score":0.9912999868392944,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9828000068664551,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9628999829292297,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/ode","display_name":"Ode","score":0.8828814625740051},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.5740925669670105},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5212091207504272},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.29158133268356323},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.250407338142395},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.08991214632987976},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07377302646636963}],"concepts":[{"id":"https://openalex.org/C34862557","wikidata":"https://www.wikidata.org/wiki/Q178985","display_name":"Ode","level":2,"score":0.8828814625740051},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.5740925669670105},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5212091207504272},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29158133268356323},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.250407338142395},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.08991214632987976},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07377302646636963}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/cdc56724.2024.10886143","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc56724.2024.10886143","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 63rd Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-04712017v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04712017","pdf_url":"https://hal.science/hal-04712017/document","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2024","raw_type":"info:eu-repo/semantics/preprint"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-04712017v1","is_oa":true,"landing_page_url":"https://hal.science/hal-04712017","pdf_url":"https://hal.science/hal-04712017/document","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2024","raw_type":"info:eu-repo/semantics/preprint"},"sustainable_development_goals":[{"score":0.6499999761581421,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403048365.pdf","grobid_xml":"https://content.openalex.org/works/W4403048365.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W1511453865","https://openalex.org/W1517228159","https://openalex.org/W1588914840","https://openalex.org/W1989594010","https://openalex.org/W2000178618","https://openalex.org/W2021492147","https://openalex.org/W2037574639","https://openalex.org/W2048389107","https://openalex.org/W2072973709","https://openalex.org/W2079042739","https://openalex.org/W2104225554","https://openalex.org/W2154679417","https://openalex.org/W2165748475","https://openalex.org/W2340142654","https://openalex.org/W2494935782","https://openalex.org/W2570955003","https://openalex.org/W2604974765","https://openalex.org/W2889062995","https://openalex.org/W2913145134","https://openalex.org/W3003200707","https://openalex.org/W4307732065"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2371448224","https://openalex.org/W3134495997","https://openalex.org/W2363680170","https://openalex.org/W2376428685","https://openalex.org/W4256082577","https://openalex.org/W625783435","https://openalex.org/W2048742619"],"abstract_inverted_index":{"Partial":[0],"Differential":[1],"Equations":[2],"(PDEs)":[3],"are":[4],"a":[5,10,45,55,90,120],"ubiquitous":[6],"model":[7,98],"that":[8,110],"describes":[9],"wide":[11],"range":[12],"of":[13,18,79,103],"dynamical":[14],"systems.":[15,38],"While":[16],"stabilization":[17,78],"systems":[19],"involving":[20],"PDEs":[21],"is":[22,67,87],"an":[23],"important":[24],"problem,":[25],"little":[26],"work":[27],"has":[28],"been":[29],"done":[30],"on":[31,70,107,131],"formal":[32],"verification":[33],"and":[34,124],"synthesis":[35,59],"for":[36],"such":[37],"In":[39],"this":[40],"paper,":[41],"we":[42,111,126],"explain":[43],"how":[44],"coupled":[46],"ODE-PDE":[47],"control":[48,58],"problem":[49,86],"can":[50],"be":[51],"formally":[52,75],"stabilized":[53],"using":[54,118],"tiling":[56],"based":[57,64],"algorithm":[60],"associated":[61],"to":[62],"set":[63],"reachability,":[65],"which":[66],"usually":[68],"used":[69],"finite":[71,91,121],"dimensional":[72,85,92,134],"problems.":[73],"To":[74],"prove":[76],"the":[77,80,82,108,115,132],"PDE,":[81],"original":[83],"infinite":[84,133],"transformed":[88],"into":[89],"one":[93],"using,":[94],"among":[95],"other":[96],"tools,":[97],"order":[99],"reduction.":[100],"The":[101],"strength":[102],"our":[104],"approach":[105],"relies":[106],"fact":[109],"never":[112],"explicitly":[113],"discretize":[114],"PDE":[116],"state":[117],"e.g.":[119],"element":[122],"approximation,":[123],"consequently,":[125],"provide":[127],"stability":[128],"guarantees":[129],"directly":[130],"state.":[135]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}