Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

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

: Lorenz, Felix; Schlingloff, Holger


Vogel-Heuser, B. ; Institute of Electrical and Electronics Engineers -IEEE-:
14th IEEE International Conference on Automation Science and Engineering, CASE 2018 : Munich, Germany, August 20-24, 2018
Piscataway, NJ: IEEE, 2018
ISBN: 978-1-5386-2514-9
ISBN: 978-1-5386-3593-3
ISBN: 978-1-5386-3594-0
International Conference on Automation Science and Engineering (CASE) <14, 2018, Munich>
Fraunhofer FOKUS ()
cyber-physical production systems and industry 4.0; industrial robots; factory automation

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.