Abstract
We present a qualitative movement control system based on Propositional Dynamic Logic (PDL). Firstly, we obtain a stable qualitative representation by means of hysteresis loops. Second, we build the qualitative movement control system in order to represent relative movement of an object with respect to another, that is capable to perform qualitative composition of qualitative relations. Third, we express the control rules of the system by using PDL. Finally, we implement the framework in Robotic Operating System (ROS) and test it with the computer simulator STAGE, which indicates the possibility of using our system in real world applications.
Citation
Please, cite this work as:
[WM19] P. A. Walega and E. Mu~noz-Velasco. “A Stable Qualitative Movement Control System Based on Propositional Dynamic Logic”. In: J. Multiple Valued Log. Soft Comput. 32.3-4 (2019), pp. 221-239. URL: https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-32-number-3-4-2019/mvlsc-32-3-4-p-221-239/.
@Article{Walega2019,
author = {Przemyslaw Andrzej Walega and Emilio Mu~noz-Velasco},
journal = {J. Multiple Valued Log. Soft Comput.},
title = {A Stable Qualitative Movement Control System Based on Propositional Dynamic Logic},
year = {2019},
number = {3-4},
pages = {221–239},
volume = {32},
abstract = {We present a qualitative movement control system based on Propositional Dynamic Logic (PDL). Firstly, we obtain a stable qualitative representation by means of hysteresis loops. Second, we build the qualitative movement control system in order to represent relative movement of an object with respect to another, that is capable to perform qualitative composition of qualitative relations. Third, we express the control rules of the system by using PDL. Finally, we implement the framework in Robotic Operating System (ROS) and test it with the computer simulator STAGE, which indicates the possibility of using our system in real world applications.},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/journals/mvl/WalegaM19.bib},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
url = {https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-32-number-3-4-2019/mvlsc-32-3-4-p-221-239/},
}