Publications
Export 7 results:
[ Author
Filters: First Letter Of Last Name is D [Clear All Filters]
“Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning”, in Robotics and Automation (ICRA), 2015 IEEE International Conference on, 2015.
, “Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors”, I. J. Robotic Res., vol. 34, pp. 378–394, 2015.
, “Automated generation of dynamics-based runtime certificates for high-level control”, Discrete Event Dynamic Systems, vol. 27, no. 2, p. 371--405, 2017.
, “Guaranteeing Reactive High-Level Behaviors for Robots with Complex Dynamics”, in IEEE/RSJ Int'l. Conf. on Intelligent Robots and Systems, Tokyo, Japan, 2013.
, “Nonlinear Controller Synthesis and Automatic Workspace Partitioning for Reactive High-Level Behaviors”, in Proceedings of the 19th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), Vienna, Austria, 2016.
, “Collision-Free Reactive Mission and Motion Planning for Multi-Robot Systems”, in International Symposium on Robotics Research (ISRR), Sestri Levante, Italy, 2015.
, “An integrated system for perception-driven autonomy with modular robots”, Science Robotics, vol. 3, no. 23, 2018.
,