Author of the publication

Black-box stability analysis of hybrid systems with sample-based multiple Lyapunov functions.

, , and . CDC, page 7284-7289. IEEE, (2022)

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

On the Quality of First-Order Approximation of Functions with Hölder Continuous Gradient., , , and . J. Optim. Theory Appl., 185 (1): 17-33 (2020)Quantized Stabilization of Continuous-Time Switched Linear Systems., and . IEEE Control. Syst. Lett., 5 (1): 319-324 (2021)Learning stability guarantees for constrained switching linear systems from noisy observations., , and . CoRR, (2023)Stability of discrete-time switching systems with constrained switching sequences., , , and . Autom., (2016)Joint Spectral Characteristics: A Tale of Three Disciplines.. Developments in Language Theory, volume 7907 of Lecture Notes in Computer Science, page 27-28. Springer, (2013)An Entropy-Based Bound for the Computational Complexity of a Switched System., , and . IEEE Trans. Automat. Contr., 64 (11): 4623-4628 (2019)On Randomized Generation of Slowly Synchronizing Automata., and . MFCS, volume 117 of LIPIcs, page 48:1-48:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Formal Methods for Computing Hyperbolic Invariant Sets for Nonlinear Systems., and . IEEE Control. Syst. Lett., 4 (1): 235-240 (2020)Optimal Resource Scheduling and Allocation in Distributed Computing Systems., , , and . ACC, page 2327-2332. IEEE, (2022)Reachability-based Control Synthesis under Signal Temporal Logic Specifications., and . ACC, page 2078-2083. IEEE, (2022)