Fraunhofer-Gesellschaft

Publica

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
pp.1093-1098
International Conference on Automation Science and Engineering (CASE) <14, 2018, Munich>
English
Conference Paper
Fraunhofer FOKUS ()
cyber-physical production systems and industry 4.0; industrial robots; factory automation

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.

: http://publica.fraunhofer.de/documents/N-581447.html