{"id":"https://openalex.org/W2592789235","doi":"https://doi.org/10.1145/3049797.3049806","title":"Structural Analysis of Multi-Mode DAE Systems","display_name":"Structural Analysis of Multi-Mode DAE Systems","publication_year":2017,"publication_date":"2017-04-13","ids":{"openalex":"https://openalex.org/W2592789235","doi":"https://doi.org/10.1145/3049797.3049806","mag":"2592789235"},"language":"en","primary_location":{"id":"doi:10.1145/3049797.3049806","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3049797.3049806","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"type":"preprint","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/A5075584449","display_name":"Albert Benveniste","orcid":"https://orcid.org/0000-0003-3352-4137"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210133778","display_name":"Inria Rennes - Bretagne Atlantique Research Centre","ror":"https://ror.org/04040yw90","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Albert Benveniste","raw_affiliation_strings":["INRIA, Rennes, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA, Rennes, France","institution_ids":["https://openalex.org/I4210133778","https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041261044","display_name":"Beno\u0131\u0302t Caillaud","orcid":"https://orcid.org/0000-0002-3234-5033"},"institutions":[{"id":"https://openalex.org/I4210133778","display_name":"Inria Rennes - Bretagne Atlantique Research Centre","ror":"https://ror.org/04040yw90","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Benoit Caillaud","raw_affiliation_strings":["INRIA, Rennes, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA, Rennes, France","institution_ids":["https://openalex.org/I4210133778","https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112132997","display_name":"Hilding Elmqvist","orcid":null},"institutions":[{"id":"https://openalex.org/I4210124912","display_name":"Magle (Sweden)","ror":"https://ror.org/02zh48v40","country_code":"SE","type":"company","lineage":["https://openalex.org/I4210124912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Hilding Elmqvist","raw_affiliation_strings":["Mogram AB, Lund, Sweden","Mogram AB [Lund] (Magle Lilla Kyrkogata 24\r\n223 51 Lund - Sweden)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mogram AB, Lund, Sweden","institution_ids":[]},{"raw_affiliation_string":"Mogram AB [Lund] (Magle Lilla Kyrkogata 24\r\n223 51 Lund - Sweden)","institution_ids":["https://openalex.org/I4210124912"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071004982","display_name":"Khalil Ghorbal","orcid":"https://orcid.org/0000-0003-4941-6632"},"institutions":[{"id":"https://openalex.org/I4210133778","display_name":"Inria Rennes - Bretagne Atlantique Research Centre","ror":"https://ror.org/04040yw90","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Khalil Ghorbal","raw_affiliation_strings":["INRIA, Rennes, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA, Rennes, France","institution_ids":["https://openalex.org/I4210133778","https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037753671","display_name":"Martin Otter","orcid":"https://orcid.org/0000-0001-6348-9569"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Martin Otter","raw_affiliation_strings":["DLR, Oberpfaffenhofen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DLR, Oberpfaffenhofen, Germany","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050487223","display_name":"Marc Pouzet","orcid":"https://orcid.org/0000-0002-2651-7708"},"institutions":[{"id":"https://openalex.org/I4210149507","display_name":"\u00c9cole des Neurosciences de Paris","ror":"https://ror.org/05re0sm29","country_code":"FR","type":"other","lineage":["https://openalex.org/I39804081","https://openalex.org/I4210149507"]},{"id":"https://openalex.org/I29607241","display_name":"\u00c9cole Normale Sup\u00e9rieure - PSL","ror":"https://ror.org/05a0dhs15","country_code":"FR","type":"funder","lineage":["https://openalex.org/I2746051580","https://openalex.org/I29607241"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Marc Pouzet","raw_affiliation_strings":["ENS, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ENS, Paris, France","institution_ids":["https://openalex.org/I4210149507","https://openalex.org/I29607241"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5075584449"],"corresponding_institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"],"apc_list":null,"apc_paid":null,"fwci":1.6736,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.85187793,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"253","last_page":"263"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13286","display_name":"Modeling and Simulation Systems","score":0.9983999729156494,"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/T13286","display_name":"Modeling and Simulation Systems","score":0.9983999729156494,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9289000034332275,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9214000105857849,"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/modelica","display_name":"Modelica","score":0.8169771432876587},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7103501558303833},{"id":"https://openalex.org/keywords/mode","display_name":"Mode (computer interface)","score":0.5817157030105591},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.5420608520507812},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5069639682769775},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.4459458589553833},{"id":"https://openalex.org/keywords/ordinary-differential-equation","display_name":"Ordinary differential equation","score":0.4416344463825226},{"id":"https://openalex.org/keywords/ode","display_name":"Ode","score":0.43910014629364014},{"id":"https://openalex.org/keywords/differential-algebraic-equation","display_name":"Differential algebraic equation","score":0.421486496925354},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.41409367322921753},{"id":"https://openalex.org/keywords/differential-equation","display_name":"Differential equation","score":0.4099823236465454},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.38304436206817627},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.3366280794143677},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22563683986663818}],"concepts":[{"id":"https://openalex.org/C37785467","wikidata":"https://www.wikidata.org/wiki/Q385325","display_name":"Modelica","level":2,"score":0.8169771432876587},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7103501558303833},{"id":"https://openalex.org/C48677424","wikidata":"https://www.wikidata.org/wiki/Q6888088","display_name":"Mode (computer interface)","level":2,"score":0.5817157030105591},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.5420608520507812},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5069639682769775},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.4459458589553833},{"id":"https://openalex.org/C51544822","wikidata":"https://www.wikidata.org/wiki/Q465274","display_name":"Ordinary differential equation","level":3,"score":0.4416344463825226},{"id":"https://openalex.org/C34862557","wikidata":"https://www.wikidata.org/wiki/Q178985","display_name":"Ode","level":2,"score":0.43910014629364014},{"id":"https://openalex.org/C186219872","wikidata":"https://www.wikidata.org/wiki/Q955889","display_name":"Differential algebraic equation","level":4,"score":0.421486496925354},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.41409367322921753},{"id":"https://openalex.org/C78045399","wikidata":"https://www.wikidata.org/wiki/Q11214","display_name":"Differential equation","level":2,"score":0.4099823236465454},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38304436206817627},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3366280794143677},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22563683986663818},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3049797.3049806","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3049797.3049806","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},{"id":"pmh:oai:elib.dlr.de:117045","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4377196266","display_name":"elib (German Aerospace Center)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2898391981","host_organization_name":"Deutsches Zentrum f\u00fcr Luft- und Raumfahrt e. V. (DLR)","host_organization_lineage":["https://openalex.org/I2898391981"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Konferenzbeitrag"},{"id":"pmh:oai:HAL:hal-01521918v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-01521918","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":"http://hscc2017.ece.illinois.edu","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41999998688697815,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W66289639","https://openalex.org/W192807697","https://openalex.org/W1507372516","https://openalex.org/W1589870275","https://openalex.org/W1983438352","https://openalex.org/W2004812530","https://openalex.org/W2040789302","https://openalex.org/W2076751185","https://openalex.org/W2081727334","https://openalex.org/W2093992309","https://openalex.org/W2101232706","https://openalex.org/W2127335869","https://openalex.org/W2149466802","https://openalex.org/W2288963156","https://openalex.org/W6663560580"],"related_works":["https://openalex.org/W3082668976","https://openalex.org/W2517973022","https://openalex.org/W1543121148","https://openalex.org/W1580703421","https://openalex.org/W2618518959","https://openalex.org/W2231364979","https://openalex.org/W4295745414","https://openalex.org/W4382202915","https://openalex.org/W4288093367","https://openalex.org/W2489516236"],"abstract_inverted_index":{"Differential":[0],"Algebraic":[1],"Equation":[2],"(DAE)":[3],"systems":[4,38,131],"constitute":[5],"the":[6,56,65,70,78,96,113,126,135],"mathematical":[7,123],"model":[8],"supporting":[9],"physical":[10],"modeling":[11,98],"languages":[12],"such":[13],"as":[14],"Modelica,":[15],"VHDL-AMS,":[16],"or":[17],"Simscape.":[18],"Unlike":[19],"ODEs,":[20],"they":[21],"exhibit":[22],"subtle":[23],"issues":[24],"because":[25,47,54],"of":[26,48,55,73,90,129,138],"their":[27,49],"implicit":[28],"latent":[29],"equations":[30],"and":[31,58,150],"related":[32],"differentiation":[33],"index.":[34],"Multi-mode":[35],"DAE":[36,139],"(mDAE)":[37],"are":[39,102,106],"much":[40],"harder":[41],"to":[42,69,95,125,153],"deal":[43],"with,":[44],"not":[45,76],"only":[46],"mode-dependent":[50],"dynamics,":[51],"but":[52],"essentially":[53],"events":[57],"resets":[59],"occurring":[60],"at":[61],"mode":[62,86],"transitions.":[63],"Unfortunately,":[64],"large":[66],"literature":[67],"devoted":[68],"numerical":[71],"analysis":[72,128,137,149],"DAEs":[74],"does":[75],"cover":[77],"multi-mode":[79],"case.":[80],"It":[81],"typically":[82],"says":[83],"nothing":[84],"about":[85],"changes.":[87],"This":[88],"lack":[89],"foundations":[91],"cause":[92],"numerous":[93],"difficulties":[94],"existing":[97],"tools.":[99],"Some":[100],"models":[101],"well":[103],"handled,":[104],"others":[105],"not,":[107],"with":[108],"no":[109],"clear":[110],"boundary":[111],"between":[112],"two":[114],"classes.":[115],"In":[116],"this":[117],"paper":[118],"we":[119],"develop":[120],"a":[121,143,158],"comprehensive":[122],"approach":[124],"structural":[127],"mDAE":[130],"which":[132],"properly":[133],"extends":[134],"usual":[136],"systems.":[140],"We":[141],"define":[142],"constructive":[144],"semantics":[145],"based":[146],"on":[147],"nonstandard":[148],"show":[151],"how":[152],"produce":[154],"execution":[155],"schemes":[156],"in":[157],"systematic":[159],"way.":[160]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2025-10-10T00:00:00"}