HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models

Bak, Stanley; Bogomolov, Sergiy; Johnson, Taylor T.

by Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson

Reference:

Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, "HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models", In 18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015), ACM, Seattle, Washington, 2015, apr. (Hyst software tool)

Bibtex Entry:

@InProceedings{bak2015hscc,
  Title                    = {{HyST}: A Source Transformation and Translation Tool for Hybrid Automaton Models},
  Author                   = {Stanley Bak and Sergiy Bogomolov and Taylor T. Johnson},
  Booktitle                = {18th International Conference on Hybrid Systems: Computation and Control (<a href="http://2015.hscc-conference.org">HSCC 2015</a>)},
  Year                     = {2015},
  Address                  = {Seattle, Washington},
  Month                    = apr,
  Publisher                = {ACM},
  comment                  = {Hyst software tool},
  pdf = {http://www.taylortjohnson.com/research/bak2015hscc.pdf},
  software = {http://verivital.com/hyst/},
  Owner                    = {tjohnson},
  Timestamp                = {2014.12.20}
}