4 papers
Flowcean - Model Learning for Cyber-Physical Systems
Maximilian Schmidt, Swantje Plambeck, Markus Knitt +4
Effective models of Cyber-Physical Systems (CPS) are crucial for their design and operation. Constructing such models is difficult and time-consuming due to the inherent complexity…
Data-Driven Probabilistic Evaluation of Logic Properties with PAC-Confidence on Mealy Machines
Swantje Plambeck, Ali Salamati, Eyke Huellermeier +1
Cyber-Physical Systems (CPS) are complex systems that require powerful models for tasks like verification, diagnosis, or debugging. Often, suitable models are not available and man…
Decision Trees for Analyzing Influences on the Accuracy of Indoor Localization Systems
Jakob Schyga, Swantje Plambeck, Johannes Hinckeldeyn +2
Absolute position accuracy is the key performance criterion of an Indoor Localization System (ILS). Since ILS are heterogeneous and complex cyber-physical systems, the localization…
Automata Learning for Automated Test Generation of Real Time Localization Systems
Swantje Plambeck, Jakob Schyga, Johannes Hinckeldeyn +2
Cyber Physical Systems (CPSs) are often black box systems for which no exact model exists. Automata learning allows to build abstract models of CPSs and is used in several scenario…