Stanley Bak, Sergiy Bogomolov, Thomas A. Henzinger, Taylor T. Johnson, Pradyot Prakash. Scalable Static Hybridization Methods for Analysis of Nonlinear Systems. In Alessandro Abate, Georgios E. Fainekos, editors, Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016. pages 155-164, ACM, 2016. [doi]
Abstract is missing.