22 citations · 36 across the 6 of their papers we have counts for
7 papers
Structural Analysis of GRAFCET Control Specifications
Aron Schnakenbeck, Robin Mroß, Marcus Völker +2
The graphical modeling language GRAFCET is used as a formal specification language in industrial control design. This paper proposes a structural analysis that approximates the var…
Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review
Robin Mroß, Aron Schnakenbeck, Marcus Völker +2
IEC 60848 GRAFCET is a standardized, graphical specification language for control functions. Because of the semiformal nature of IEC 60848, the details of specifications created wi…
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
Aron Schnakenbeck, Robin Mroß, Marcus Völker +2
The graphical modeling language GRAFCET is used as a formal specification language in industrial control design. This paper proposes a static analysis approach based on the control…
Networked and Autonomous Model-scale Vehicles for Experiments in Research and Education
Patrick Scheffe, Janis Maczijewski, Maximilian Kloock +4
This paper presents the Car, a 1:18 model-scale vehicle with Ackermann steering geometry developed for experiments in networked and autonomous driving in research and edu…
Cyber-Physical Mobility Lab: An Open-Source Platform for Networked and Autonomous Vehicles
Maximilian Kloock, Patrick Scheffe, Janis Maczijewski +4
This paper introduces our Cyber-Physical Mobility Lab (CPM Lab). It is an open-source development environment for networked and autonomous vehicles with focus on networked decision…
Vision-Based Real-Time Indoor Positioning System for Multiple Vehicles
Maximilian Kloock, Patrick Scheffe, Isabelle Tülleners +3
We propose a novel external indoor positioning system that computes the position and orientation of multiple model-scale vehicles. For this purpose, we use a camera mounted at a he…
Static Analysis of Lockless Microcontroller C Programs
Eva Beckschulze, Sebastian Biallas, Stefan Kowalewski
Concurrently accessing shared data without locking is usually a subject to race conditions resulting in inconsistent or corrupted data. However, there are programs operating correc…