Hybrid Automata: From Verification to Implementation

Bak, Stanley; Beg, Omar Ali; Bogomolov, Sergiy; Johnson, Taylor T.; Nguyen, Luan Viet; Schilling, Christian

doi:10.1007/s10009-017-0458-1

by Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling

Reference:

Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, "Hybrid Automata: From Verification to Implementation", In Int. Journal on Software Tools for Technology Transfer (STTT), Springer-Verlag, vol. 21, no. 1, Berlin, Heidelberg, pp. 87–104, 2019, feb.

Bibtex Entry:

@article{bak2019sttt,
 author = {Bak, Stanley and Beg, Omar Ali and Bogomolov, Sergiy and Taylor T. Johnson and Nguyen, Luan Viet and Schilling, Christian},
 title = {Hybrid Automata: From Verification to Implementation},
 journal = {Int. Journal on Software Tools for Technology Transfer (STTT)},
 issue_date = {February  2019},
 volume = {21},
 number = {1},
 month = feb,
 year = {2019},
 issn = {1433-2779},
 pages = {87--104},
 numpages = {18},
 doi = {10.1007/s10009-017-0458-1},
 acmid = {3316202},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 keywords = {Hybrid automata, Model-based design, Simulink/Stateflow},
 software = {http://github.com/verivital/hyst},
 pdf = {http://www.taylortjohnson.com/research/bak2017sttt.pdf}
}