A modal logic analysis of a line-following robot

Steve Battle, Matthew Thompson

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationArtificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers
Place of PublicationCham, Switzerland
PublisherSpringer
Pages42-55
Number of pages14
ISBN (Print)9783319904177
DOIs
Publication statusPublished - 2018
Event2nd International Symposium on Artificial Life and Intelligent Agents, ALIA 2016 - Birmingham, UK United Kingdom
Duration: 14 Jun 201615 Jun 2016

Publication series

NameCommunications in Computer and Information Science
Volume732
ISSN (Print)1865-0929

Conference

Conference2nd International Symposium on Artificial Life and Intelligent Agents, ALIA 2016
CountryUK United Kingdom
CityBirmingham
Period14/06/1615/06/16

Fingerprint

Modal Logic
State Space
Robot
Robots
Kripke Models
Line
Model checking
Model Checking
Numerical Simulation
Computer simulation
Model

Keywords

  • Kripke model
  • Modal logic
  • Robotics

ASJC Scopus subject areas

  • Computer Science(all)
  • Mathematics(all)

Cite this

Battle, S., & Thompson, M. (2018). A modal logic analysis of a line-following robot. In Artificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers (pp. 42-55). (Communications in Computer and Information Science; Vol. 732). Cham, Switzerland: Springer. https://doi.org/10.1007/978-3-319-90418-4_4

A modal logic analysis of a line-following robot. / Battle, Steve; Thompson, Matthew.

Artificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers. Cham, Switzerland : Springer, 2018. p. 42-55 (Communications in Computer and Information Science; Vol. 732).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Battle, S & Thompson, M 2018, A modal logic analysis of a line-following robot. in Artificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers. Communications in Computer and Information Science, vol. 732, Springer, Cham, Switzerland, pp. 42-55, 2nd International Symposium on Artificial Life and Intelligent Agents, ALIA 2016, Birmingham, UK United Kingdom, 14/06/16. https://doi.org/10.1007/978-3-319-90418-4_4
Battle S, Thompson M. A modal logic analysis of a line-following robot. In Artificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers. Cham, Switzerland: Springer. 2018. p. 42-55. (Communications in Computer and Information Science). https://doi.org/10.1007/978-3-319-90418-4_4
Battle, Steve ; Thompson, Matthew. / A modal logic analysis of a line-following robot. Artificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers. Cham, Switzerland : Springer, 2018. pp. 42-55 (Communications in Computer and Information Science).
@inproceedings{e1eb4b8fe58940b198a124a2969fe93a,
title = "A modal logic analysis of a line-following robot",
abstract = "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.",
keywords = "Kripke model, Modal logic, Robotics",
author = "Steve Battle and Matthew Thompson",
year = "2018",
doi = "10.1007/978-3-319-90418-4_4",
language = "English",
isbn = "9783319904177",
series = "Communications in Computer and Information Science",
publisher = "Springer",
pages = "42--55",
booktitle = "Artificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers",

}

TY - GEN

T1 - A modal logic analysis of a line-following robot

AU - Battle, Steve

AU - Thompson, Matthew

PY - 2018

Y1 - 2018

N2 - 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.

AB - 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.

KW - Kripke model

KW - Modal logic

KW - Robotics

UR - http://www.scopus.com/inward/record.url?scp=85045989315&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-90418-4_4

DO - 10.1007/978-3-319-90418-4_4

M3 - Conference contribution

SN - 9783319904177

T3 - Communications in Computer and Information Science

SP - 42

EP - 55

BT - Artificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers

PB - Springer

CY - Cham, Switzerland

ER -