Hybridization

[schillic]

Given that we have an algorithm for linear hybrid dynamics (#138), we can add hybridization algorithms which approximate nonlinear continuous systems by linear hybrid systems by state space partitioning.

---

References:

• Rungger, M., & Zamani, M. (2018, April). Accurate reachability analysis of uncertain nonlinear systems. In Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) (pp. 61-70). ACM. -- it can make the approximation error arbitrarily small when used with the LGG algorithm (#233)
• Dang, T., Maler, O., & Testylier, R. (2010, April). Accurate hybridization of nonlinear systems. In Proceedings of the 13th ACM international conference on Hybrid systems: computation and control (pp. 11-20). ACM.
• Bak, S., Bogomolov, S., Henzinger, T. A., Johnson, T. T., & Prakash, P. (2016, April). Scalable static hybridization methods for analysis of nonlinear systems. In Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control (pp. 155-164). ACM.