---
OA_place: publisher
OA_type: free access
_id: '1500'
abstract:
- lang: eng
  text: 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.
article_processing_charge: No
author:
- first_name: Luan
  full_name: Nguyen, Luan
  last_name: Nguyen
- first_name: Christian
  full_name: Schilling, Christian
  id: 3A2F4DCE-F248-11E8-B48F-1D18A9856A87
  last_name: Schilling
  orcid: 0000-0003-3658-1065
- first_name: Sergiy
  full_name: Bogomolov, Sergiy
  id: 369D9A44-F248-11E8-B48F-1D18A9856A87
  last_name: Bogomolov
  orcid: 0000-0002-0686-0365
- first_name: Taylor
  full_name: Johnson, Taylor
  last_name: Johnson
citation:
  ama: 'Nguyen L, Schilling C, Bogomolov S, Johnson T. <i>Poster: HyRG: A Random Generation
    Tool for Affine Hybrid Automata</i>. Association for Computing Machinery; 2015:289-290.
    doi:<a href="https://doi.org/10.1145/2728606.2728650">10.1145/2728606.2728650</a>'
  apa: 'Nguyen, L., Schilling, C., Bogomolov, S., &#38; Johnson, T. (2015). <i>Poster:
    HyRG: A random generation tool for affine hybrid automata</i>. <i>Proceedings
    of the 18th International Conference on Hybrid Systems: Computation and Control</i>
    (pp. 289–290). Seattle, WA, United States: Association for Computing Machinery.
    <a href="https://doi.org/10.1145/2728606.2728650">https://doi.org/10.1145/2728606.2728650</a>'
  chicago: 'Nguyen, Luan, Christian Schilling, Sergiy Bogomolov, and Taylor Johnson.
    <i>Poster: HyRG: A Random Generation Tool for Affine Hybrid Automata</i>. <i>Proceedings
    of the 18th International Conference on Hybrid Systems: Computation and Control</i>.
    Association for Computing Machinery, 2015. <a href="https://doi.org/10.1145/2728606.2728650">https://doi.org/10.1145/2728606.2728650</a>.'
  ieee: 'L. Nguyen, C. Schilling, S. Bogomolov, and T. Johnson, <i>Poster: HyRG: A
    random generation tool for affine hybrid automata</i>. Association for Computing
    Machinery, 2015, pp. 289–290.'
  ista: 'Nguyen L, Schilling C, Bogomolov S, Johnson T. 2015. Poster: HyRG: A random
    generation tool for affine hybrid automata, Association for Computing Machinery,p.'
  mla: 'Nguyen, Luan, et al. “Poster: HyRG: A Random Generation Tool for Affine Hybrid
    Automata.” <i>Proceedings of the 18th International Conference on Hybrid Systems:
    Computation and Control</i>, Association for Computing Machinery, 2015, pp. 289–90,
    doi:<a href="https://doi.org/10.1145/2728606.2728650">10.1145/2728606.2728650</a>.'
  short: 'L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, Poster: HyRG: A Random
    Generation Tool for Affine Hybrid Automata, Association for Computing Machinery,
    2015.'
conference:
  end_date: 2015-04-16
  location: Seattle, WA, United States
  name: 'HSCC: International Conference on Hybrid Systems'
  start_date: 2015-04-14
date_created: 2018-12-11T11:52:23Z
date_published: 2015-04-14T00:00:00Z
date_updated: 2026-05-19T10:01:13Z
day: '14'
doi: 10.1145/2728606.2728650
extern: '1'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://doi.org/10.1145/2728606.2728650
month: '04'
oa: 1
oa_version: Published Version
page: 289 - 290
publication: 'Proceedings of the 18th International Conference on Hybrid Systems:
  Computation and Control'
publication_identifier:
  eisbn:
  - '9781450334334'
publication_status: published
publisher: Association for Computing Machinery
publist_id: '5678'
quality_controlled: '1'
scopus_import: '1'
status: public
title: 'Poster: HyRG: A random generation tool for affine hybrid automata'
type: conference_poster
user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd
year: '2015'
...