Publica
Hier finden Sie wissenschaftliche Publikationen aus den FraunhoferInstituten. OnlineMonitoring Autonomous Transport Robots with an Rvalued Temporal Logic
 VogelHeuser, B. ; Institute of Electrical and Electronics Engineers IEEE: 14th IEEE International Conference on Automation Science and Engineering, CASE 2018 : Munich, Germany, August 2024, 2018 Piscataway, NJ: IEEE, 2018 ISBN: 9781538625149 ISBN: 9781538635933 ISBN: 9781538635940 pp.10931098 
 International Conference on Automation Science and Engineering (CASE) <14, 2018, Munich> 

 English 
 Conference Paper 
 Fraunhofer FOKUS () 
 cyberphysical production systems and industry 4.0; industrial robots; factory automation 
Abstract
In this paper, we introduce realvalued temporal logic (RVTL) for online monitoring of reactive and cyberphysical systems. Our approach is based on classical metric temporal logic (MTL) with a realvalued 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 cyberphysical 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.