Forgot your password?
Svetoslav Nikolow, Bulgaria (in cooperation with WELISA)
Document Actions
Andreas Schäfer, Den Haag, NED
| What | Invited talk |
|---|---|
| When |
2007-12-03 from 09:00 to 10:30 |
| Where | R169, RIGZ, Joachim-Jungius-Str. |
| Contact Name | Dr. Andreas Schaefer |
| Add event to calendar |
vCal
iCal
|
last modified
2008-02-26 09:47
Tutorial: "Verification of Spatial Properties of Mobile Systems"
Abstract
Hybrid discrete continuous systems are used to model systems involving
discrete jumps between control states as well as continuous flows of
observables.
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.
First Prize at the Second International Biomodellling Competition Dagstuhl 2011