Scalable Static Hybridization Methods for Analysis of Nonlinear Systems

Bak, Stanley; Bogomolov, Sergiy; Henzinger, Thomas A.; Johnson, Taylor T.; Prakash, Pradyot

doi:10.1145/2883817.2883837

by Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Taylor T. Johnson, Pradyot Prakash

Reference:

Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Taylor T. Johnson, Pradyot Prakash, "Scalable Static Hybridization Methods for Analysis of Nonlinear Systems", In 19th Intl. Conf. on Hybrid Systems: Computation and Control (HSCC 2016), ACM, 2016, apr.

Bibtex Entry:

@InProceedings{bak2016hscc,
  author =    {Stanley Bak and Sergiy Bogomolov and Thomas A. Henzinger and Taylor T. Johnson and Pradyot Prakash},
  title =     {Scalable Static Hybridization Methods for Analysis of Nonlinear Systems},
  booktitle = {19th Intl. Conf. on Hybrid Systems: Computation and Control (HSCC 2016)},
  year =      {2016},
  month =     apr,
  publisher = {ACM},
  owner =     {tjohnson},
  doi = {10.1145/2883817.2883837},
   acmid = {2883837},
  pdf = {http://www.taylortjohnson.com/research/bak2016hscc.pdf},
}