Affiliation:
1. College of Civil Aviation Nanjing University of Aeronautics and Astronautics Nanjing China
2. School of Information Engineering Northwest A & F University Xianyang China
3. College of Electro‐Mechanical Engineering Xidian University Xi'an China
Abstract
AbstractThis paper considers the problem of communication protocols between leaders and its followers for motion planning in an initially partially known environment. In this setting, the leader observes the environment information to satisfy its own local objective and and the follower completes its own local objective by estimating the states of the leader and communicating with the leader to update its knowledge about the environment when it is necessary, where the local objectives can be expressed in temporal logic. A verifier construction is built first to contain all possible communication protocols between the leaders and the followers. Then, a two‐step synthesis procedure is proposed to capture all feasible communication protocol that satisfy the local objectives for the leader and follower, respectively. In the first step, a sub‐verifier is synthesized to satisfy the objective of the follower. In the second step, based on the obtained sub‐verifier, an iterative algorithm is proposed to extract communication protocols such that the objectives of the leader and follower are satisfied, respectively. A running example is provided to illustrate the proposed procedures.
Publisher
Institution of Engineering and Technology (IET)
Reference24 articles.
1. Stentz A.:Optimal and efficient path planning for partially‐known environments. In:Proceedings of the 1994 IEEE International Conference on Robotics and Automation pp. 3310–3317.IEEE Piscataway(1994)
2. Temporal logic motion planning for dynamic robots
3. Multi-Agent Motion Planning From Signal Temporal Logic Specifications
4. Ayala A.M. Andersson S.B. Belta C.:Temporal logic motion planning in unknown environments. In:Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems pp. 5279–5284.IEEE Piscataway(2013)
5. Guo M. Johansson K.H. Dimarogonas D.V.:Revising motion planning under linear temporal logic specifications in partially known workspaces. In:Proceedings of the 2013 IEEE International Conference on Robotics and Automation pp. 5025–5032.IEEE Piscataway(2013)