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.

 

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

Reachability-based Identification, Analysis, and Control Synthesis of Robot Systems., , и . CoRR, (2021)Ensuring drivability of planned motions using formal methods., , , , , и . ITSC, стр. 1-8. IEEE, (2017)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)Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification., , и . IEEE Trans. Robotics, 39 (5): 3776-3790 (октября 2023)Methods for order reduction of zonotopes., , и . CDC, стр. 5626-5633. IEEE, (2017)Comparison of trajectory tracking controllers for autonomous vehicles., , и . 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)Reachset Model Predictive Control for Disturbed Nonlinear Systems., , и . CDC, стр. 3463-3470. IEEE, (2018)