From post

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.

 

Другие публикации лиц с тем же именем

Comparative Analysis of Interval Reachability for Robust Implicit and Feedforward Neural Networks., , , , и . CDC, стр. 2073-2078. IEEE, (2022)Safety from in-the-loop reachability for cyber-physical systems., , и . CAADCPS@CPSIoTWeek, стр. 9-10. ACM, (2021)Computing Robustly Forward Invariant Sets for Mixed-Monotone Systems., и . CDC, стр. 4553-4559. IEEE, (2020)Pointwise-in-Time Analysis and Non-Quadratic Lyapunov Functions for Linear Time-Varying Systems., , , и . ACC, стр. 3550-3555. IEEE, (2021)Lyapunov Differential Equation Hierarchy and Polynomial Lyapunov Functions for Switched Linear Systems., , , и . ACC, стр. 5322-5327. IEEE, (2020)Interval-valued Markov Chain Abstraction of Stochastic Systems using Barrier Functions., , , и . ACC, стр. 3583-3588. IEEE, (2020)Bounding the State Covariance Matrix for Switched Linear Systems with Noise., , , , и . ACC, стр. 2876-2881. IEEE, (2020)Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach., , , , и . CoRR, (2022)Tight Decomposition Functions for Continuous-Time Mixed-Monotone Systems With Disturbances., , и . IEEE Control. Syst. Lett., 5 (1): 139-144 (2021)A Numerical Method to Compute Stability Margins of Switching Linear Systems., , , и . CoRR, (2020)