Andreas Schäfer, Den Haag, NED
from 09:00 to 10:30
|Where||R169, RIGZ, Joachim-Jungius-Str.|
|Contact Name||Dr. Andreas Schaefer|
|Add event to calendar||
Tutorial: "Verification of Spatial Properties of Mobile Systems"
Hybrid discrete continuous systems are used to model systems involving
discrete jumps between control states as well as continuous flows of
A typical example of a hybrid system is a heating control. The temperature
changes continuously over time while the control of system has only two states,
"on" and "off". There are several approaches to verify properties of
hybrid systems, among them model checking, bounded model checking and theorem provers.
In this tutorial, we investigate how verification techniques for hybrid systems
can be used for verifying spatial properties of mobile systems.