{"id":"https://openalex.org/W1597224020","doi":"https://doi.org/10.23919/ecc.1999.7099335","title":"Hybrid systems as a topological abstraction of digitally controlled systems","display_name":"Hybrid systems as a topological abstraction of digitally controlled systems","publication_year":1999,"publication_date":"1999-08-01","ids":{"openalex":"https://openalex.org/W1597224020","doi":"https://doi.org/10.23919/ecc.1999.7099335","mag":"1597224020"},"language":"en","primary_location":{"id":"doi:10.23919/ecc.1999.7099335","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc.1999.7099335","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"1999 European Control Conference (ECC)","raw_type":"proceedings-article"},"type":"article","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/A5084579453","display_name":"Dominique Luzeaux","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Dominique Luzeaux","raw_affiliation_strings":["Lab. Perception pour la Robotique, CTA/GIP, 16bis, av. Prieur de la C\u00f4le d'Or, 92114 Arcueil Cedex, France"],"affiliations":[{"raw_affiliation_string":"Lab. Perception pour la Robotique, CTA/GIP, 16bis, av. Prieur de la C\u00f4le d'Or, 92114 Arcueil Cedex, France","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035608393","display_name":"Jean-Francois Antoniotti","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jean-Francois Antoniotti","raw_affiliation_strings":["Lab. Perception pour la Robotique, CTA/GIP, 16bis, av. Prieur de la C\u00f4le d'Or, 92114 Arcueil Cedex, France"],"affiliations":[{"raw_affiliation_string":"Lab. Perception pour la Robotique, CTA/GIP, 16bis, av. Prieur de la C\u00f4le d'Or, 92114 Arcueil Cedex, France","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5084579453"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08619924,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"397","last_page":"402"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12162","display_name":"Cellular Automata and Applications","score":0.986299991607666,"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/T12162","display_name":"Cellular Automata and Applications","score":0.986299991607666,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9843000173568726,"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.9717000126838684,"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/decomposition","display_name":"Decomposition","score":0.6964367628097534},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6447510719299316},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.6254537105560303},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.5958152413368225},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.5917367935180664},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5740254521369934},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5084285140037537},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4705660045146942},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.44555145502090454},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3577916622161865},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.33459222316741943},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.23320990800857544},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13586488366127014},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.0751509964466095}],"concepts":[{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.6964367628097534},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6447510719299316},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.6254537105560303},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.5958152413368225},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.5917367935180664},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5740254521369934},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5084285140037537},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4705660045146942},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.44555145502090454},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3577916622161865},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.33459222316741943},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.23320990800857544},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13586488366127014},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0751509964466095},{"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/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","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/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","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},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/ecc.1999.7099335","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc.1999.7099335","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"1999 European Control Conference (ECC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2073713056","https://openalex.org/W3110702597","https://openalex.org/W2125620709","https://openalex.org/W2110441383","https://openalex.org/W4233149903","https://openalex.org/W2326878701","https://openalex.org/W4293864700","https://openalex.org/W2045932760","https://openalex.org/W67445448","https://openalex.org/W2130642229"],"abstract_inverted_index":{"Starting":[0],"from":[1],"a":[2,55],"system":[3,58],"theory":[4],"of":[5,24,34,60],"digitally":[6],"controlled":[7],"systems,":[8],"we":[9,19],"define":[10],"computable":[11],"control":[12],"laws.":[13],"After":[14],"recalling":[15],"classical":[16],"undecidability":[17],"results,":[18],"focus":[20],"on":[21],"the":[22,32,43,51,61],"notion":[23,41],"\"cell":[25],"decomposition\",":[26],"defined":[27],"as":[28],"an":[29],"oracle":[30],"partitioning":[31],"space":[33],"input-output":[35],"trajectories":[36],"and":[37],"show":[38],"how":[39],"this":[40],"solves":[42],"previous":[44],"undecidability.":[45],"The":[46],"key":[47],"issue":[48],"is":[49],"that":[50],"cell":[52],"decomposition":[53],"induces":[54],"natural":[56],"hybrid":[57],"model":[59],"initial":[62],"system.":[63]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}