Autor der Publikation

Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint.

, , und . ECC, Seite 4301-4306. IEEE, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods., , und . CoRR, (2022)Credible Autocoding of The Ellipsoid Algorithm Solving Second-Order Cone Programs., , und . CDC, Seite 3585-3591. IEEE, (2018)Reachability Set Analysis of Closed-Loop Nonlinear Systems with Neural Network Controllers., und . ACC, Seite 2289-2294. IEEE, (2022)Set-based value operators for non-stationary Markovian environments., , , und . CoRR, (2022)Successive Convexification for Optimal Control with Signal Temporal Logic Specifications., , , und . HSCC, Seite 9:1-9:7. ACM, (2022)Parallel Accurate and Reproducible Summation., , und . SAI (1), Volume 283 von Lecture Notes in Networks and Systems, Seite 363-382. Springer, (2021)Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs., und . Comput. Lang. Syst. Struct., (2017)An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods., , und . VSTTE, Volume 13124 von Lecture Notes in Computer Science, Seite 165-181. Springer, (2021)Verification and Validation of Convex Optimization Algorithms for Model Predictive Control., , und . J. Aerosp. Inf. Syst., 17 (5): 257-270 (Mai 2020)Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems., , , und . CyPhy/WESE, Volume 11971 von Lecture Notes in Computer Science, Seite 89-107. Springer, (2019)