Other Articles by Author(s)

Mengtian Jiao
Yunzhong Song

Author(s) and WSEAS

Mengtian Jiao
Yunzhong Song

WSEAS Transactions on Computers

Print ISSN: 1109-2750
E-ISSN: 2224-2872

Volume 17, 2018

Notice: As of 2014 and for the forthcoming years, the publication frequency/periodicity of WSEAS Journals is adapted to the 'continuously updated' model. What this means is that instead of being separated into issues, new papers will be added on a continuous basis, allowing a more regular flow and shorter publication times. The papers will appear in reverse order, therefore the most recent one will be on top.

Path Planning for Hospital Internal Drug Distribution with Linear Temporal Logic

AUTHORS: Mengtian Jiao, Yunzhong Song

Download as PDF

ABSTRACT: This paper studies the global optimal patrol path planning for drug distribution in hospitals. Owing to the fact that the traditional drug supply mode in the hospital, which has the disadvantages of consuming expensive resources of pharmacy and nursing professionals, this paper proposes an optimal patrol path planning based on linear temporal logic (LTL) for drug distribution. First, according to the actual environmental characteristics of pharmacy departments, construct a weighted transition system model. Second, use LTL language to describe the tasks that the agents need to perform. Next, construct a Product automaton that integrates the environment model and task requirements. Finally, use the path search method based on Dijkstra algorithm to search for the optimal path on the Product automaton, and the optimal path is mapped back to the area transition system, so that the agent receives the running route in the actual environment. The simulation results show that this method can solve the problem that the multi-point supply task and the distribution area are constrained, and guarantees the optimality of the supply path.

KEYWORDS: - Drug Distribution, Linear Temporal Logic, Path Planning, Multi-point Patrol, Transition System, Buchi Automaton, Product Automaton


[1] Yu Cao, Haiyan Ding, Lina Ji, Discussion on Logistics Distribution of Hospital Pharmacy, Qilu Pharmaceutical Affairs, Vol.10, 2001, pp. 607-608. (in Chinese)

[2] Shuangxi Li, Weiguo Li, Zongxue Li, Wenxue Fan, Discussion and Application of Path Planning Method, Chanical Engineer, Vol.11, 2013, pp. 8-9. (in Chinese)

[3] Shi P, Hua J N, Mobile Robot Dynamic Path Planning Based on Artificial Potential Field Approach, Advanced Materials Research, Vol.490-495, 2012, pp. 994-998.

[4] Chen Wang, WeiDong Zhu, Path Planning of Soccer Robot Based on * A Algorithm, Computer Systems and Applications, Vol.27, No.1, 2018, pp. 189-194. (in Chinese)

[5] Ghoseiri K, Nadjari B, An Ant Colony Optimization Algorithm for the Bi-objective Shortest Path Problem, Applied Soft Computing, Vol.10, No.4, 2010, pp. 1237-1246.

[6] Axelsson R, Hague M, Kreutzer S, et al, Extended Computation Tree Logic, Lecture Notes in Computer Science, Vol.6397, 2010, pp. WSEAS TRANSACTIONS on COMPUTERS Mengtian Jiao, Yunzhong Song E-ISSN: 2224-2872 195 Volume 17, 2018 67-81.

[7] Babenyshev S, Rybakov V, Unification in Linear Temporal Logic LTL, Annals of Pure & Applied Logic, Vol.162, No.12, 2011, pp. 991-1000.

[8] Huimin Lin, Wenhui Zhang, Model Checking: Theories, Techniques and Application, Acta Electronica Sinica, Vol.30, No.S1, 2002, pp. 1907-1912. (in Chinese)

[9] Fainekos G E, Girard A, Kress-Gazit H, et al, Temporal Logic Motion Planning for Dynamic Robots, Automatica, Vol.45, No.2, 2009, pp. 343-352.

[10] Plaku E, Karaman S, Motion Planning with Temporal Logic Specifications: Progress and Challenges, Ai Communications, Vol.29, No.1, 2015, pp. 151-162.

[11] Saha S, Julius A A, Task and Motion Planning for Manipulator Arms with Metric Temporal Logic Specifications, IEEE Robotics & Automation Letters, Vol.PP, No.99, 2017, pp. 1- 1.

[12] Andersen M S, Jensen R S, Bak T, et al, Motion Planning in Multi-robot Systems using Timed Automata, Promoting Health for Working Women, Vol.September, 2004, pp. 319-332.

[13] Rigaud A, Synthesis Algorithm of Control Strategy for Multi-robot Systems with Collaborative Behavior under LTL Specifications, Automatic Control, 2013.

[14] Ulusoy A, Smith S L, Belta C, Optimal MultiRobot Path Planning with LTL Constraints: Guaranteeing Correctness through Synchronization, Springer Tracts in Advanced Robotics, Vol.104, 2012, pp. 337-351.

[15] Karaman S, Frazzoli E, Vehicle Routing with Linear Temporal Logic Specifications: Applications to Multi-UAV Mission Planning, International Journal of Robust & Nonlinear Control, Vol.21, No.12, 2011, pp. 1372-1395.

[16] Zhou Y, Maity D, Baras J S, Optimal Mission Planner with Timed Temporal Logic Constraints, IEEE Control Conference, 2015, pp. 759-764.

[17] Chen Y, Ding X C, Stefanescu A, et al, Formal Approach to the Deployment of Distributed Robotic Teams, IEEE Transactions on Robotics, Vol.28, No.1, 2012, pp. 158-171.

[18] Ulusoy A, Smith S L, Ding X C, et al, Optimality and Robustness in Multi-robot Path Planning with Temporal Logic Constraints, International Journal of Robotics Research, Vol.32, No.8, 2013, pp. 889-911.

[19] Guo M, Dimarogonas D V, Multi-agent Plan Reconfiguration under Local LTL Specifications, International Journal of Robotics Research, Vol.34, No.2, 2015, pp. 218-235.

[20] Ding X, Lazar M, Belta C, Receding Horizon Temporal Logic Control for Finite Deterministic Systems, Automatica, Vol.50, No.2, 2012, pp. 399-408.

[21] Ulusoy A, Belta C, Receding Horizon Temporal Logic Control in Dynamic Environments, International Journal of Robotics Research, Vol.33, No.12, 2014, pp. 1593-1607.

[22] Wongpiromsarn T, Topcu U, Murray R M, Receding Horizon Temporal Logic Planning, IEEE Transactions on Automatic Control, Vol.57, No.11, 2012, pp. 2817-2830.

[23] Smith S L, Tůmová J, Belta C, et al, Optimal Path Planning for Surveillance with TemporalLogic Constraints, International Journal of Robotics Research, Vol.30, No.14, 2011, pp. 1695-1708.

[24] Smith S L, Belta C, Rus D, Optimal Path Planning under Temporal Logic Contstraints, International Conference on Intelligent Robots and Systems, IEEE, 2010, pp. 3288-3293.

[25] Guo Jian, Bian Mingming, Han Jungang, Translation from LTL Formula into Automata, Computer Science, Vol.35, No.7, 2008, pp. 241- 243. (in Chinese)

WSEAS Transactions on Computers, ISSN / E-ISSN: 1109-2750 / 2224-2872, Volume 17, 2018, Art. #23, pp. 191-196

Copyright © 2018 Author(s) retain the copyright of this article. This article is published under the terms of the Creative Commons Attribution License 4.0

Bulletin Board


The editorial board is accepting papers.

WSEAS Main Site