Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming.

MLA

Zhang, Yifan, et al. “Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming.” IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, vol. 37, no. 11, Nov. 2018, pp. 2768–78. EBSCOhost, https://doi.org/10.1109/TCAD.2018.2858383.

APA

Zhang, Y., Yang, Z., Lin, W., Zhu, H., Chen, X., & Li, X. (2018). Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming. IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, 37(11), 2768–2778. https://doi.org/10.1109/TCAD.2018.2858383

Chicago

Zhang, Yifan, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen, and Xuandong Li. 2018. “Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming.” IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems 37 (11): 2768–78. doi:10.1109/TCAD.2018.2858383.