• English
  • Deutsch
  • Log In
    or
  • Research Outputs
  • Projects
  • Researchers
  • Institutes
  • Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Konferenzschrift
  4. Online-Monitoring Autonomous Transport Robots with an R-valued Temporal Logic
 
  • Details
  • Full
Options
2018
Konferenzbeitrag
Titel

Online-Monitoring Autonomous Transport Robots with an R-valued Temporal Logic

Abstract
In this paper, we introduce real-valued temporal logic (RVTL) for online monitoring of reactive and cyber-physical systems. Our approach is based on classical metric temporal logic (MTL) with a real-valued semantics, where the truth value of a formula with respect to a finite trace depends on the distance between the end of the trace and the bound of the temporal operators in the formula. The assumed time model is dense and pointwise, i.e., the basic propositions refer to events reported by the system at specific times. We show that our logic is applicable for collaborating cyber-physical systems by giving example formulae from a case study of autonomous transport robots in a factory. We sketch an algorithm for monitoring RVTL formulae at runtime, and report on experiences with this algorithm in an actual industrial deployment of the case study.
Author(s)
Lorenz, Felix
Fraunhofer-Institut für Offene Kommunikationssysteme FOKUS
Schlingloff, Holger
Fraunhofer-Institut für Offene Kommunikationssysteme FOKUS
Hauptwerk
14th IEEE International Conference on Automation Science and Engineering, CASE 2018
Konferenz
International Conference on Automation Science and Engineering (CASE) 2018
Thumbnail Image
DOI
10.1109/COASE.2018.8560421
Language
Englisch
google-scholar
FOKUS
Tags
  • cyber-physical produc...

  • industrial robots

  • factory automation

  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Send Feedback
© 2022