--- res: bibo_abstract: - In this poster, we present methods for randomly generating hybrid automata with affine differential equations, invariants, guards, and assignments. Selecting an arbitrary affine function from the set of all affine functions results in a low likelihood of generating hybrid automata with diverse and interesting behaviors, as there are an uncountable number of elements in the set of all affine functions. Instead, we partition the set of all affine functions into potentially interesting classes and randomly select elements from these classes. For example, we partition the set of all affine differential equations by using restrictions on eigenvalues such as those that yield stable, unstable, etc. equilibrium points. We partition the components describing discrete behavior (guards, assignments, and invariants) to allow either time-dependent or state-dependent switching, and in particular provide the ability to generate subclasses of piecewise-affine hybrid automata. Our preliminary experimental results with a prototype tool called HyRG (Hybrid Random Generator) illustrate the feasibility of this generation method to automatically create standard hybrid automaton examples like the bouncing ball and thermostat.@eng bibo_authorlist: - foaf_Person: foaf_givenName: Luan foaf_name: Nguyen, Luan V foaf_surname: Nguyen - foaf_Person: foaf_givenName: Christian foaf_name: Christian Schilling foaf_surname: Schilling foaf_workInfoHomepage: http://www.librecat.org/personId=3A2F4DCE-F248-11E8-B48F-1D18A9856A87 orcid: 0000-0003-3658-1065 - foaf_Person: foaf_givenName: Sergiy foaf_name: Sergiy Bogomolov foaf_surname: Bogomolov foaf_workInfoHomepage: http://www.librecat.org/personId=369D9A44-F248-11E8-B48F-1D18A9856A87 orcid: 0000-0002-0686-0365 - foaf_Person: foaf_givenName: Taylor foaf_name: Johnson, Taylor T foaf_surname: Johnson bibo_doi: 10.1145/2728606.2728650 dct_date: 2015^xs_gYear dct_publisher: Springer@ dct_title: 'Poster: HyRG: A random generation tool for affine hybrid automata@' ...