Author of the publication

Star-Based Reachability Analysis of Deep Neural Networks.

, , , , , , and . FM, volume 11800 of Lecture Notes in Computer Science, page 670-686. Springer, (2019)

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

Necessary and Sufficient Conditions for Stability of Discrete-Time Switched Linear Systems With Ranged Dwell Time.. IEEE Control. Syst. Lett., (2022)Parameter-dependent finite-time observer design for time-varying polytopic uncertain switched systems., , and . J. Frankl. Inst., 351 (3): 1657-1672 (2014)H∞ finite-time control for switched nonlinear discrete-time systems with norm-bounded disturbance., and . J. Frankl. Inst., 348 (2): 331-352 (2011)Stability analysis of switched systems under dynamical dwell time control approach., and . Int. J. Syst. Sci., 40 (4): 347-355 (2009)Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems Under Minimum Dwell-Time Constraint., , and . IEEE Trans. Autom. Control., 64 (8): 3407-3414 (2019)Runtime Safety Monitoring of Neural-Network-Enabled Dynamical Systems.. IEEE Trans. Cybern., 52 (9): 9587-9596 (2022)Stability analysis and L1-gain characterization for switched positive systems under dwell-time constraint., , and . Autom., (2017)On equivalence of two stability criteria for continuous-time switched systems with dwell time constraint.. Autom., (2015)Mode-identifying time estimation and switching-delay tolerant control for switched systems: An elementary time unit approach., and . Autom., (2016)Stabilization of switched continuous-time systems with all modes unstable via dwell time switching., and . Autom., 50 (3): 940-945 (2014)