Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Analysis and Remodeling of the DirtyCOW Vulnerability by Debugging and Abstraction Read chapter Read first chapter

2020 | OriginalPaper | Chapter

A Planning Approach Based on APTL

Authors : Haiyang Wang, Yao Liu

Published in: Structured Object-Oriented Formal Language and Method

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

This paper proposes a path planning approach for multi-agent systems (MASs) with Alternating Projection Temporal Logic (APTL). Our approach aims to calculate a path efficiently which satisfies specific properties in a MAS. The MAS is formalized in an interpreted system, then symbolically represented, and properties of paths are expressed by APTL formulas. We implement a robotic soccer game in order to illustrate the availability of this approach, actions and strategies of each robot are described in detail in interpreted system. The toolkit MCMAS_APTL2 has been developed, where we just enter an APTL formula of specific properties and the model of the robotic soccer game into the toolkit, then a path satisfies the formula is calculated and provided.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads
next chapter Solving Constraint Optimization Problems Based on Mathematica and Abstraction
Literature
1.
2.
Kim, D.H., Kim, Y.J., Kim, K.C., Kim, J.H., Vadakkepat, P.: Vector field based path planning and petri-net based role selection mechanism with Q-learning for the soccer robot system. Intell. Autom. Soft Comput. 6(1), 75–87 (2000)CrossRef
3.
Xu, L., Tian, C., Duan, Z., Hongwei, D.: Planning with spatio-temporal search control knowledge. IEEE Trans. Knowl. Data Eng. 30(10), 1915–1928 (2018)CrossRef
4.
Wang, H., Duan, Z., Tian, C.: Model checking multi-agent systems with APTL. Ad Hoc Sens. Wirel. Netw. 37(1–4), 35–52 (2017)
5.
6.
Lomuscio Alessio, Q., Hongyang, R.F.: MCMAS: an open-source model checker for the verification of multi-agent systems. Int. J. Softw. Tools Technol. Transf. 173(9–10), 1–22 (2015)
7.
Lomuscio, A., Michaliszyn, J.: Model checking multi-agent systems against epistemic HS specifications with regular expressions. In: Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning, KR 2016, Cape Town, South Africa, 25–29 April 2016, pp. 298–308 (2016)
8.
Duan, Z., Tian, C., Zhang, N.: A canonical form based decision procedure and model checking approach for propositional projection temporal logic. Theor. Comput. Sci. 609, 544–560 (2016)MathSciNetCrossRef
9.
Duan, Z., Zhang, N., Koutny, M.: A complete proof system for propositional projection temporal logic. Theor. Comput. Sci. 497, 84–107 (2013)MathSciNetCrossRef
10.
Wang, M., Tian, C., Zhang, N., Duan, Z.: Verifying full regular temporal properties of programs via dynamic program execution. TR 68(3), 1101–1116 (2019)
11.
Cui, J., Duan, Z., Tian, C., Hongwei, D.: A novel approach to modeling and verifying real-time systems for high reliability. IEEE Trans. Reliab. 67(2), 481–493 (2018)CrossRef
12.
Bin, Y., Duan, Z., Tian, C., Zhang, N.: Verifying temporal properties of programs: a parallel approach. J. Parallel Distrib. Comput. 118, 89–99 (2018)CrossRef
13.
14.
15.
Tian, C., Duan, Z.: Detecting spurious counterexamples efficiently in abstract model checking. In: ICSE, pp. 202–211 (2013)
16.
Guarnizo, J.G., Mellado, M., Low, C.Y., Aziz, N.: Strategy model for multi-robot coordination in robotic soccer. Appl. Mech. Mater. 393, 592–597 (2013)CrossRef
Metadata
Title
A Planning Approach Based on APTL
Authors
Haiyang Wang
Yao Liu
Copyright Year
2020
Book
Structured Object-Oriented Formal Language and Method

Print ISBN: 978-3-030-41417-7

Electronic ISBN: 978-3-030-41418-4

Copyright Year: 2020

DOI
https://doi.org/10.1007/978-3-030-41418-4_9

Premium Partner

    Image Credits