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.

 

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

Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems., и . HSCC, стр. 121-130. ACM, (2017)First steps toward formal controller synthesis for bipedal robots., , , , , , и . HSCC, стр. 209-218. ACM, (2015)Methods for order reduction of zonotopes., , и . CDC, стр. 5626-5633. IEEE, (2017)Ensuring drivability of planned motions using formal methods., , , , , и . ITSC, стр. 1-8. IEEE, (2017)Risk-aware motion planning for automated vehicle among human-driven cars., , , и . ACC, стр. 3987-3993. IEEE, (2019)AROC: a toolbox for automated reachset optimal controller synthesis., , , , , и . HSCC, стр. 23:1-23:6. ACM, (2021)Comparison of trajectory tracking controllers for autonomous vehicles., , и . ITSC, стр. 1-8. IEEE, (2017)Reachset Model Predictive Control for Disturbed Nonlinear Systems., , и . CDC, стр. 3463-3470. IEEE, (2018)Optimizing Sets of Solutions for Controlling Constrained Nonlinear Systems., и . IEEE Trans. Autom. Control., 66 (3): 981-994 (2021)Optimal control of sets of solutions to formally guarantee constraints of disturbed linear systems., и . ACC, стр. 2522-2529. IEEE, (2017)