research
∙
07/20/2023
Structural Analysis of GRAFCET Control Specifications
The graphical modeling language GRAFCET is used as a formal specificatio...
share
research
∙
06/02/2023
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation
The graphical modeling language GRAFCET is used as a formal specificatio...
research
∙
04/19/2021
Infrared Beacons for Robust Localization
This paper presents a localization system that uses infrared beacons and...
research
∙
04/21/2020
Cyber-Physical Mobility Lab An Open-Source Platform for Networked and Autonomous Vehicles
We introduce our Cyber-Physical Mobility Lab (CPM Lab), a development en...
research
∙
04/17/2020
Networked and Autonomous Model-scale Vehicles for Experiments in Research and Education
This paper presents the μCar, a 1:18 model-scale vehicle with Ackermann ...
research
∙
02/13/2020
