Author of the publication

Bounding L2 gain system error generated by approximations of the nonlinear vector field.

, , and . ICCAD, page 879-886. IEEE Computer Society, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

PROVEN: Verifying Robustness of Neural Networks with a Probabilistic Approach., , , , , , and . ICML, volume 97 of Proceedings of Machine Learning Research, page 6727-6736. PMLR, (2019)Accelerated Probabilistic State Estimation in Distribution Grids via Model Order Reduction., , and . CoRR, (2020)Tensor Computation: A New Framework for High-Dimensional Problems in EDA., , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 36 (4): 521-536 (2017)Guaranteed passive balancing transformations for model order reduction., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 22 (8): 1027-1041 (2003)Analysis and Design of Weakly Coupled LC Oscillator Arrays Based on Phase-Domain Macromodels., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 34 (1): 77-85 (2015)Guaranteed passive balancing transformations for model order reduction., , and . DAC, page 52-57. ACM, (2002)Towards Certificated Model Robustness Against Weight Perturbations., , , , , and . AAAI, page 6356-6363. AAAI Press, (2020)STAVES: Speedy Tensor-Aided Volterra-Based Electronic Simulator., , , , , and . ICCAD, page 583-588. IEEE, (2015)Higher-Order Certification For Randomized Smoothing., , , , , and . NeurIPS, (2020)Hidden Cost of Randomized Smoothing., , , , , and . AISTATS, volume 130 of Proceedings of Machine Learning Research, page 4033-4041. PMLR, (2021)