{"id":"https://openalex.org/W1590159044","doi":"https://doi.org/10.1007/978-3-540-78929-1_30","title":"Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization","display_name":"Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization","publication_year":2008,"publication_date":"2008-07-17","ids":{"openalex":"https://openalex.org/W1590159044","doi":"https://doi.org/10.1007/978-3-540-78929-1_30","mag":"1590159044"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-78929-1_30","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-78929-1_30","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":"conference-paper","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/A5078685510","display_name":"Nacim Ramdani","orcid":"https://orcid.org/0000-0003-1491-3751"},"institutions":[{"id":"https://openalex.org/I12449238","display_name":"Universit\u00e9 d'Orl\u00e9ans","ror":"https://ror.org/014zrew76","country_code":"FR","type":"education","lineage":["https://openalex.org/I12449238"]},{"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/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210096782","display_name":"Laboratoire Pluridisciplinaire de Recherche en Ing\u00e9nierie des Syst\u00e8mes, M\u00e9canique et Energ\u00e9tique","ror":"https://ror.org/00sbth994","country_code":"FR","type":"facility","lineage":["https://openalex.org/I12449238","https://openalex.org/I4210096782","https://openalex.org/I4210143826"]},{"id":"https://openalex.org/I4210101743","display_name":"Laboratoire d'Informatique, de Robotique et de Micro\u00e9lectronique de Montpellier","ror":"https://ror.org/013yean28","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I151295451","https://openalex.org/I19894307","https://openalex.org/I4210101743","https://openalex.org/I4210159245","https://openalex.org/I4405261681"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nacim Ramdani","raw_affiliation_strings":["INRIA Sophia-Antipolis M\u00e9diterran\u00e9e and LIRMM UMR 5506 CNRS UM2, Montpellier Cedex 5, France","PRISME - Laboratoire pluridisciplinaire de recherche en ing\u00e9nierie des syst\u00e8mes, m\u00e9canique et \u00e9nerg\u00e9tique (8, rue L\u00e9onard de Vinci - 45067 ORLEANS CEDEX 2 - France - France)","UO - Universit\u00e9 d'Orl\u00e9ans (Ch\u00e2teau de la Source - Avenue du Parc Floral - BP 6749 - 45067 Orl\u00e9ans cedex 2 - France)","INRIA Sophia-Antipolis M\u00e9diterran\u00e9e and LIRMM UMR 5506 CNRS UM2, Montpellier Cedex 5, France 34392#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA Sophia-Antipolis M\u00e9diterran\u00e9e and LIRMM UMR 5506 CNRS UM2, Montpellier Cedex 5, France","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210101743","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"PRISME - Laboratoire pluridisciplinaire de recherche en ing\u00e9nierie des syst\u00e8mes, m\u00e9canique et \u00e9nerg\u00e9tique (8, rue L\u00e9onard de Vinci - 45067 ORLEANS CEDEX 2 - France - France)","institution_ids":["https://openalex.org/I4210096782"]},{"raw_affiliation_string":"UO - Universit\u00e9 d'Orl\u00e9ans (Ch\u00e2teau de la Source - Avenue du Parc Floral - BP 6749 - 45067 Orl\u00e9ans cedex 2 - France)","institution_ids":["https://openalex.org/I12449238"]},{"raw_affiliation_string":"INRIA Sophia-Antipolis M\u00e9diterran\u00e9e and LIRMM UMR 5506 CNRS UM2, Montpellier Cedex 5, France 34392#TAB#","institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032364987","display_name":"Nacim Meslem","orcid":"https://orcid.org/0000-0002-0805-5503"},"institutions":[{"id":"https://openalex.org/I4210093096","display_name":"Centre d'\u00c9tudes et de Recherche en Thermique, Environnement et Syst\u00e8mes","ror":"https://ror.org/01ea4na26","country_code":"FR","type":"facility","lineage":["https://openalex.org/I197681013","https://openalex.org/I4210093096"]},{"id":"https://openalex.org/I4210124956","display_name":"GIPSA-Lab","ror":"https://ror.org/02wrme198","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I4210124956","https://openalex.org/I899635006","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nacim Meslem","raw_affiliation_strings":["CERTES, Cr\u00e9teil, France","GIPSA-MODUS - GIPSA - Modelling and Optimal Decision for Uncertain Systems (GIPSA-lab, 11 rue des Math\u00e9matiques, Grenoble Campus BP46, F-38402 SAINT MARTIN D'HERES CEDEX - France)","CERTES, Cr\u00e9teil, France 94000#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CERTES, Cr\u00e9teil, France","institution_ids":["https://openalex.org/I4210093096"]},{"raw_affiliation_string":"GIPSA-MODUS - GIPSA - Modelling and Optimal Decision for Uncertain Systems (GIPSA-lab, 11 rue des Math\u00e9matiques, Grenoble Campus BP46, F-38402 SAINT MARTIN D'HERES CEDEX - France)","institution_ids":["https://openalex.org/I4210124956"]},{"raw_affiliation_string":"CERTES, Cr\u00e9teil, France 94000#TAB#","institution_ids":["https://openalex.org/I4210093096"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073937787","display_name":"Yves Candau","orcid":null},"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/I4210093096","display_name":"Centre d'\u00c9tudes et de Recherche en Thermique, Environnement et Syst\u00e8mes","ror":"https://ror.org/01ea4na26","country_code":"FR","type":"facility","lineage":["https://openalex.org/I197681013","https://openalex.org/I4210093096"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Yves Candau","raw_affiliation_strings":["CERTES, Cr\u00e9teil, France","CERTES EA 3481 - Centre d'Etudes et Recherches en Thermique, Environnement et Syst\u00e8mes [Cr\u00e9teil] (Universit\u00e9 Paris-Est Cr\u00e9teil Val de Marne (UPEC) - IUT de Cr\u00e9teil-Vitry \r\nB\u00e2timent L1B \r\n61, avenue du G\u00e9n\u00e9ral de Gaulle\r\n94010 Cr\u00e9teil Cedex - France)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CERTES, Cr\u00e9teil, France","institution_ids":["https://openalex.org/I4210093096"]},{"raw_affiliation_string":"CERTES EA 3481 - Centre d'Etudes et Recherches en Thermique, Environnement et Syst\u00e8mes [Cr\u00e9teil] (Universit\u00e9 Paris-Est Cr\u00e9teil Val de Marne (UPEC) - IUT de Cr\u00e9teil-Vitry \r\nB\u00e2timent L1B \r\n61, avenue du G\u00e9n\u00e9ral de Gaulle\r\n94010 Cr\u00e9teil Cedex - France)","institution_ids":["https://openalex.org/I4210093096","https://openalex.org/I197681013"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":39,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"415","last_page":"428"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","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/T10142","display_name":"Formal Methods in Verification","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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9934999942779541,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9932000041007996,"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/reachability","display_name":"Reachability","score":0.9003114700317383},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.7312694787979126},{"id":"https://openalex.org/keywords/bracketing","display_name":"Bracketing (phenomenology)","score":0.6543692350387573},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6345285177230835},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.609627902507782},{"id":"https://openalex.org/keywords/piecewise","display_name":"Piecewise","score":0.5537346005439758},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5243154764175415},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.48538410663604736},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4588828980922699},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.45077231526374817},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.4143831431865692},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3581461012363434},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3331277072429657},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32744020223617554},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.31352752447128296}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9003114700317383},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.7312694787979126},{"id":"https://openalex.org/C102944935","wikidata":"https://www.wikidata.org/wiki/Q4953701","display_name":"Bracketing (phenomenology)","level":2,"score":0.6543692350387573},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6345285177230835},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.609627902507782},{"id":"https://openalex.org/C164660894","wikidata":"https://www.wikidata.org/wiki/Q2037833","display_name":"Piecewise","level":2,"score":0.5537346005439758},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5243154764175415},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.48538410663604736},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4588828980922699},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.45077231526374817},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.4143831431865692},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3581461012363434},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3331277072429657},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32744020223617554},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.31352752447128296},{"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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"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/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-540-78929-1_30","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-540-78929-1_30","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.559.654","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.559.654","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cecs.uci.edu/~papers/cpsweek08/papers/hscc08/session1/s1-4.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:hal-05391543v1","is_oa":false,"landing_page_url":"https://hal.science/hal-05391543","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Hybrid Systems: Computation and Control, Springer Berlin Heidelberg, pp.415-428, 2008, ⟨10.1007/978-3-540-78929-1_30⟩","raw_type":"info:eu-repo/semantics/bookPart"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4099999964237213,"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W39545516","https://openalex.org/W296311487","https://openalex.org/W1519436079","https://openalex.org/W1522448884","https://openalex.org/W1569692898","https://openalex.org/W1582464544","https://openalex.org/W1604594753","https://openalex.org/W1972596071","https://openalex.org/W2004463571","https://openalex.org/W2012580470","https://openalex.org/W2014066180","https://openalex.org/W2039380935","https://openalex.org/W2064562598","https://openalex.org/W2085195992","https://openalex.org/W2086877257","https://openalex.org/W2093964259","https://openalex.org/W2128187386","https://openalex.org/W2131441094","https://openalex.org/W2154679417","https://openalex.org/W2162196264","https://openalex.org/W2187712496","https://openalex.org/W4238835194","https://openalex.org/W4298255709"],"related_works":["https://openalex.org/W2357387646","https://openalex.org/W2130664212","https://openalex.org/W856973001","https://openalex.org/W1554767603","https://openalex.org/W1604596197","https://openalex.org/W78063724","https://openalex.org/W2032445854","https://openalex.org/W1565729639","https://openalex.org/W2103488150","https://openalex.org/W4249426951"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":4},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}