---
_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.
alternative_title:
- '18th ACM International Conference on Hybrid Systems: Computation and Control, HSCC
2015'
author:
- first_name: Luan
full_name: Nguyen, Luan V
last_name: Nguyen
- first_name: Christian
full_name: Christian Schilling
id: 3A2F4DCE-F248-11E8-B48F-1D18A9856A87
last_name: Schilling
orcid: 0000-0003-3658-1065
- first_name: Sergiy
full_name: Sergiy Bogomolov
id: 369D9A44-F248-11E8-B48F-1D18A9856A87
last_name: Bogomolov
orcid: 0000-0002-0686-0365
- first_name: Taylor
full_name: Johnson, Taylor T
last_name: Johnson
citation:
ama: 'Nguyen L, Schilling C, Bogomolov S, Johnson T. Poster: HyRG: A Random Generation
Tool for Affine Hybrid Automata. Springer; 2015:289-290. doi:10.1145/2728606.2728650'
apa: 'Nguyen, L., Schilling, C., Bogomolov, S., & Johnson, T. (2015). Poster:
HyRG: A random generation tool for affine hybrid automata. HSCC: Hybrid
Systems - Computation and Control (pp. 289–290). Springer. https://doi.org/10.1145/2728606.2728650'
chicago: 'Nguyen, Luan, Christian Schilling, Sergiy Bogomolov, and Taylor Johnson.
Poster: HyRG: A Random Generation Tool for Affine Hybrid Automata. HSCC:
Hybrid Systems - Computation and Control. Springer, 2015. https://doi.org/10.1145/2728606.2728650.'
ieee: 'L. Nguyen, C. Schilling, S. Bogomolov, and T. Johnson, Poster: HyRG: A
random generation tool for affine hybrid automata. Springer, 2015, pp. 289–290.'
ista: 'Nguyen L, Schilling C, Bogomolov S, Johnson T. 2015. Poster: HyRG: A random
generation tool for affine hybrid automata, Springer,p.'
mla: 'Nguyen, Luan, et al. “Poster: HyRG: A Random Generation Tool for Affine Hybrid
Automata.” HSCC: Hybrid Systems - Computation and Control, Springer, 2015,
pp. 289–90, doi:10.1145/2728606.2728650.'
short: 'L. Nguyen, C. Schilling, S. Bogomolov, T. Johnson, Poster: HyRG: A Random
Generation Tool for Affine Hybrid Automata, Springer, 2015.'
date_created: 2018-12-11T11:52:23Z
date_published: 2015-04-14T00:00:00Z
date_updated: 2019-04-26T07:22:03Z
day: '14'
doi: 10.1145/2728606.2728650
extern: 1
month: '04'
page: 289 - 290
publication: 'HSCC: Hybrid Systems - Computation and Control'
publication_status: published
publisher: Springer
publist_id: '5678'
quality_controlled: 0
status: public
title: 'Poster: HyRG: A random generation tool for affine hybrid automata'
type: conference_poster
year: '2015'
...