{"id":"https://openalex.org/W2029216211","doi":"https://doi.org/10.1145/2728606.2728650","title":"HyRG","display_name":"HyRG","publication_year":2015,"publication_date":"2015-04-14","ids":{"openalex":"https://openalex.org/W2029216211","doi":"https://doi.org/10.1145/2728606.2728650","mag":"2029216211"},"language":"en","primary_location":{"id":"doi:10.1145/2728606.2728650","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2728606.2728650","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control","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/A5051151589","display_name":"Luan Viet Nguyen","orcid":"https://orcid.org/0000-0001-5516-2443"},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Luan Viet Nguyen","raw_affiliation_strings":["University of Texas at Arlington"],"affiliations":[{"raw_affiliation_string":"University of Texas at Arlington","institution_ids":["https://openalex.org/I189196454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074526208","display_name":"Christian Schilling","orcid":"https://orcid.org/0000-0003-3658-1065"},"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 Schilling","raw_affiliation_strings":["Albert-Ludwigs-Universit\u00e4t, Freiburg, Germany"],"affiliations":[{"raw_affiliation_string":"Albert-Ludwigs-Universit\u00e4t, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"middle","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, Germany"],"affiliations":[{"raw_affiliation_string":"Albert-Ludwigs-Universit\u00e4t, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067901159","display_name":"Taylor T. Johnson","orcid":"https://orcid.org/0000-0001-8021-9923"},"institutions":[{"id":"https://openalex.org/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Taylor T. Johnson","raw_affiliation_strings":["University of Texas at Arlington"],"affiliations":[{"raw_affiliation_string":"University of Texas at Arlington","institution_ids":["https://openalex.org/I189196454"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5051151589"],"corresponding_institution_ids":["https://openalex.org/I189196454"],"apc_list":null,"apc_paid":null,"fwci":1.0515,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.78562014,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"289","last_page":"290"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9993000030517578,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9973999857902527,"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/affine-transformation","display_name":"Affine transformation","score":0.7000308036804199},{"id":"https://openalex.org/keywords/uncountable-set","display_name":"Uncountable set","score":0.5527549386024475},{"id":"https://openalex.org/keywords/affine-hull","display_name":"Affine hull","score":0.5122022032737732},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5057604312896729},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.46265488862991333},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.42306435108184814},{"id":"https://openalex.org/keywords/affine-combination","display_name":"Affine combination","score":0.41970276832580566},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.39105910062789917},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34452658891677856},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.33738452196121216},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3259555995464325},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.26349687576293945},{"id":"https://openalex.org/keywords/affine-space","display_name":"Affine space","score":0.22998261451721191}],"concepts":[{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.7000308036804199},{"id":"https://openalex.org/C142399903","wikidata":"https://www.wikidata.org/wiki/Q1128796","display_name":"Uncountable set","level":3,"score":0.5527549386024475},{"id":"https://openalex.org/C112128483","wikidata":"https://www.wikidata.org/wiki/Q382504","display_name":"Affine hull","level":4,"score":0.5122022032737732},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5057604312896729},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.46265488862991333},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.42306435108184814},{"id":"https://openalex.org/C207221997","wikidata":"https://www.wikidata.org/wiki/Q938614","display_name":"Affine combination","level":3,"score":0.41970276832580566},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.39105910062789917},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34452658891677856},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.33738452196121216},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3259555995464325},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.26349687576293945},{"id":"https://openalex.org/C173110770","wikidata":"https://www.wikidata.org/wiki/Q382698","display_name":"Affine space","level":3,"score":0.22998261451721191},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2728606.2728650","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2728606.2728650","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control","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":4,"referenced_works":["https://openalex.org/W196021901","https://openalex.org/W2004463571","https://openalex.org/W2098456636","https://openalex.org/W4238083723"],"related_works":["https://openalex.org/W2073801174","https://openalex.org/W2354159744","https://openalex.org/W2306105624","https://openalex.org/W1976822125","https://openalex.org/W2038416447","https://openalex.org/W2964008969","https://openalex.org/W2600867691","https://openalex.org/W2399434605","https://openalex.org/W2077614002","https://openalex.org/W4300070731"],"abstract_inverted_index":{"In":[0],"this":[1,154],"poster,":[2],"we":[3,61,82],"present":[4],"methods":[5],"for":[6],"randomly":[7,74],"generating":[8,37],"hybrid":[9,38,135,161],"automata":[10,39],"with":[11,40,141],"affine":[12,22,29,58,67,88],"differential":[13,89],"equations,":[14],"invariants,":[15],"guards,":[16],"and":[17,42,73,115,124,168],"assignments.":[18],"Selecting":[19],"an":[20,48],"arbitrary":[21],"function":[23],"from":[24,77],"the":[25,54,63,84,108,128,151,165],"set":[26,55,64,85],"of":[27,36,51,56,65,86,133,153],"all":[28,57,66,87],"functions":[30,68],"results":[31,140],"in":[32,53,125],"a":[33,142],"low":[34],"likelihood":[35],"diverse":[41],"interesting":[43,71],"behaviors,":[44],"as":[45,97],"there":[46],"are":[47],"uncountable":[49],"number":[50],"elements":[52,76],"functions.":[59],"Instead,":[60],"partition":[62,83,107],"into":[69],"potentially":[70],"classes":[72],"select":[75],"these":[78],"classes.":[79],"For":[80],"example,":[81],"equations":[90],"by":[91],"using":[92],"restrictions":[93],"on":[94],"eigenvalues":[95],"such":[96],"those":[98],"that":[99],"yield":[100],"stable,":[101],"unstable,":[102],"etc.":[103],"equilibrium":[104],"points.":[105],"We":[106],"components":[109],"describing":[110],"discrete":[111],"behavior":[112],"(guards,":[113],"assignments,":[114],"invariants)":[116],"to":[117,130,157],"allow":[118],"either":[119],"time-dependent":[120],"or":[121],"state-dependent":[122],"switching,":[123],"particular":[126],"provide":[127],"ability":[129],"generate":[131],"subclasses":[132],"piecewise-affine":[134],"automata.":[136],"Our":[137],"preliminary":[138],"experimental":[139],"prototype":[143],"tool":[144],"called":[145],"HyRG":[146],"(Hybrid":[147],"Random":[148],"Generator)":[149],"illustrate":[150],"feasibility":[152],"generation":[155],"method":[156],"automatically":[158],"create":[159],"standard":[160],"automaton":[162],"examples":[163],"like":[164],"bouncing":[166],"ball":[167],"thermostat.":[169]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}