Skip to main content

Research Repository

Advanced Search

A modal logic analysis of a line-following robot

Battle, Steve; Thompson, Matthew

Authors

Matthew Thompson



Contributors

Peter R Lewis
Editor

Christopher J Headleand
Editor

Panagiotis D Ritsos
Editor

Abstract

© Springer International Publishing AG, part of Springer Nature 2018. The behaviour of a reactive, line-following robot is analysed using modal logic. This provides an approach that is complementary to numerical simulation, allowing us to explore the qualitative state-space of the robot coupled with its environment. The envisionment of this state-space can be described as a Kripke model, and model-checking tools enable us to analyse this model to search for stable equilibria that contain goal states.

Journal Article Type Conference Paper
Start Date Jun 14, 2016
Publication Date Jan 1, 2018
Journal Communications in Computer and Information Science
Print ISSN 1865-0929
Publisher Springer Verlag (Germany)
Peer Reviewed Peer Reviewed
Volume 732
Pages 42-55
Series Title Communications in Computer and Information Science
APA6 Citation Battle, S., & Thompson, M. (2018). A modal logic analysis of a line-following robot. Communications in Computer and Information Science, 732, 42-55. https://doi.org/10.1007/978-3-319-90418-4_4
DOI https://doi.org/10.1007/978-3-319-90418-4_4
Keywords Kripke model, modal logic, qualitative simulation, stability
Publisher URL https://doi.org/10.1007/978-3-319-90418-4_4
Related Public URLs http://2016.aliasymposium.com/accepted-papers/
Additional Information Title of Conference or Conference Proceedings : Artificial Life and Intelligent Agents Symposium (ALIA) 2016




You might also like



Downloadable Citations

;