---
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@'
...