{"id":"https://openalex.org/W2012681899","doi":"https://doi.org/10.1145/2562059.2562142","title":"Quasi-dependent variables in hybrid automata","display_name":"Quasi-dependent variables in hybrid automata","publication_year":2014,"publication_date":"2014-04-11","ids":{"openalex":"https://openalex.org/W2012681899","doi":"https://doi.org/10.1145/2562059.2562142","mag":"2012681899"},"language":"en","primary_location":{"id":"doi:10.1145/2562059.2562142","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2562059.2562142","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th international conference on Hybrid systems: computation and control","raw_type":"proceedings-article"},"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/A5055381376","display_name":"Sergiy Bogomolov","orcid":"https://orcid.org/0000-0002-0686-0365"},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sergiy Bogomolov","raw_affiliation_strings":["Albert-Ludwigs-Universit\u00e4t Freiburg, Freiburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Albert-Ludwigs-Universit\u00e4t Freiburg, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062578652","display_name":"Christian Herrera","orcid":"https://orcid.org/0000-0002-2703-6869"},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christian Herrera","raw_affiliation_strings":["Albert-Ludwigs-Universit\u00e4t Freiburg, Freiburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Albert-Ludwigs-Universit\u00e4t Freiburg, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030629894","display_name":"Marco M\u0169niz","orcid":"https://orcid.org/0000-0003-2357-0375"},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Marco Mu\u00f1iz","raw_affiliation_strings":["Albert-Ludwigs-Universit\u00e4t Freiburg, Freiburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Albert-Ludwigs-Universit\u00e4t Freiburg, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017966584","display_name":"Bernd Westphal","orcid":"https://orcid.org/0000-0002-6824-0567"},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Bernd Westphal","raw_affiliation_strings":["Albert-Ludwigs-Universit\u00e4t Freiburg, Freiburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Albert-Ludwigs-Universit\u00e4t Freiburg, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062411838","display_name":"Andreas Podelski","orcid":"https://orcid.org/0000-0003-2540-9489"},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Andreas Podelski","raw_affiliation_strings":["Albert-Ludwigs-Universit\u00e4t Freiburg, Freiburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Albert-Ludwigs-Universit\u00e4t Freiburg, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I161046081"],"apc_list":null,"apc_paid":null,"fwci":1.4094,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.79026549,"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":"93","last_page":"102"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9968000054359436,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7376081943511963},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6873447895050049},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.6816872358322144},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6670847535133362},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6573055982589722},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5733156800270081},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.505840539932251},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.5040665864944458},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.4391741454601288},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.4228402078151703},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20460811257362366},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1653692126274109},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.15804842114448547}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7376081943511963},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6873447895050049},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.6816872358322144},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6670847535133362},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6573055982589722},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5733156800270081},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.505840539932251},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5040665864944458},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.4391741454601288},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.4228402078151703},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20460811257362366},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1653692126274109},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.15804842114448547},{"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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"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/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"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":6,"locations":[{"id":"doi:10.1145/2562059.2562142","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2562059.2562142","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 17th international conference on Hybrid systems: computation and control","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.1011.9132","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1011.9132","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://swt.informatik.uni-freiburg.de/staff/bogom/resources/bogomolov-et-al-hscc2014/","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.1018.9625","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1018.9625","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://www.researchgate.net/profile/Sergiy_Bogomolov/publication/261961375_Quasi-dependent_variables_in_hybrid_automata/links/00b49539888d90615f000000.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.704.266","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.704.266","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://swt.informatik.uni-freiburg.de/staff/herrera/resources/QuasiDependent/","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.709.1935","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.709.1935","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://swt.informatik.uni-freiburg.de/staff/muniz/resources/qdvarHybrid/at_download/file/","raw_type":"text"},{"id":"pmh:oai:openresearch-repository.anu.edu.au:1885/733799449","is_oa":false,"landing_page_url":"https://hdl.handle.net/1885/733799449","pdf_url":null,"source":{"id":"https://openalex.org/S4306402539","display_name":"ANU Open Research (Australian National University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I118347636","host_organization_name":"Australian National University","host_organization_lineage":["https://openalex.org/I118347636"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference paper"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5400000214576721}],"awards":[{"id":"https://openalex.org/G1230235592","display_name":null,"funder_award_id":"SFB/TR 14 AVACS","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320875","display_name":"Deutscher Akademischer Austauschdienst","ror":"https://ror.org/039djdh30"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320321739","display_name":"Consejo Nacional de Ciencia y Tecnolog\u00eda","ror":"https://ror.org/059ex5q34"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W28370868","https://openalex.org/W76851266","https://openalex.org/W176004376","https://openalex.org/W1480909796","https://openalex.org/W1966898076","https://openalex.org/W2004463571","https://openalex.org/W2020915693","https://openalex.org/W2031373197","https://openalex.org/W2043100293","https://openalex.org/W2074027094","https://openalex.org/W2090771707","https://openalex.org/W2098756640","https://openalex.org/W2100271265","https://openalex.org/W2102380292","https://openalex.org/W2109080678","https://openalex.org/W2110233633","https://openalex.org/W2147650421","https://openalex.org/W2157202548","https://openalex.org/W2163850966","https://openalex.org/W2166280160","https://openalex.org/W2176215692","https://openalex.org/W2248824352","https://openalex.org/W2610335499","https://openalex.org/W4237118099"],"related_works":["https://openalex.org/W1495105673","https://openalex.org/W2095644384","https://openalex.org/W2130642229","https://openalex.org/W42165","https://openalex.org/W2020061635","https://openalex.org/W1968401573","https://openalex.org/W2025792734","https://openalex.org/W2029666815","https://openalex.org/W1524267824","https://openalex.org/W2047013661"],"abstract_inverted_index":{"The":[0],"concept":[1,59],"of":[2,20,30,42,47,60,106,112],"hybrid":[3,21,51],"automata":[4],"provides":[5],"a":[6,79,86,110],"powerful":[7],"framework":[8],"to":[9,16,26,50,82],"model":[10],"and":[11,76],"analyze":[12],"real-world":[13],"systems.":[14,52],"Due":[15],"the":[17,28,43,58,94,98,103],"structural":[18],"complexity":[19],"systems":[22],"it":[23],"is":[24,65],"important":[25],"ensure":[27],"scalability":[29],"analysis":[31],"algorithms.":[32],"We":[33,101],"approach":[34],"this":[35,54],"problem":[36],"by":[37],"providing":[38],"an":[39,83],"effective":[40],"generalisation":[41],"recently":[44],"introduced":[45],"notion":[46],"quasi-equal":[48],"clocks":[49],"For":[53],"purpose,":[55],"we":[56,67,77],"introduce":[57],"quasi-dependent":[61],"variables.":[62],"Our":[63],"contribution":[64],"two-fold:":[66],"demonstrate":[68,102],"how":[69],"such":[70],"variables":[71],"can":[72],"be":[73],"automatically":[74],"detected,":[75],"present":[78],"transformation":[80],"leading":[81],"abstraction":[84],"with":[85],"smaller":[87],"state":[88],"space":[89],"which,":[90],"however,":[91],"still":[92],"retains":[93],"same":[95],"properties":[96],"as":[97],"original":[99],"system.":[100],"practical":[104],"applicability":[105],"our":[107],"methods":[108],"on":[109],"range":[111],"industrial":[113],"benchmarks.":[114]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}