Author of the publication

Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems.

, and . IEEE Trans. Automat. Contr., 64 (11): 4676-4683 (2019)

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

Decomposition of Finite LTL Specifications for Efficient Multi-agent Planning., , and . DARS, volume 6 of Springer Proceedings in Advanced Robotics, page 253-267. Springer, (2016)Synthesizing least-limiting guidelines for safety of semi-autonomous systems., and . CoRR, (2015)A Common Framework for Attitude Synchronization of Unit Vectors in Networks with Switching Topology., , and . CoRR, (2015)Robust Distance-Based Formation Control of Multiple Rigid Bodies with Orientation Alignment., , and . CoRR, (2016)A Connection between Formation Control and Flocking Behavior in Nonholonomic Multiagent Systems., and . ICRA, page 940-945. IEEE, (2006)Totally Distributed Motion Control of Sphere World Multi-agent Systems using Decentralized Navigation Functions., , and . ICRA, page 2430-2435. IEEE, (2006)Leader-Follower Coordinated Tracking of Multiple Heterogeneous Lagrange Systems Using Continuous Control., , and . IEEE Trans. Robotics, 30 (3): 739-745 (2014)Safe, Passive Control for Mechanical Systems with Application to Physical Human-Robot Interactions., , and . CoRR, (2020)Reconfigurable Motion Planning and Control in Obstacle Cluttered Environments under Timed Temporal Tasks., , , , and . ICRA, page 951-957. IEEE, (2019)Stability of load lifting by a quadrotor under attitude control delay., and . ICRA, page 3287-3292. IEEE, (2017)