Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Synthesis of Real-Time Systems
Speaker:Hans-Jörg Peter
coming from:IMPRS
Speakers Bio:
Event Type:Ringvorlesung
Visibility:D1, D3, D5, RG2, D2, D4, RG1, SWS
We use this to send out email in the morning.
Level:AG Audience
Language:-- Not specified --
Date, Time and Location
Date:Thursday, 12 July 2007
Time:13:00
Duration:-- Not specified --
Location:Saarbrücken
Building:E1 3 - Hörsaal Gebäude
Room:013
Abstract
Verification and synthesis are the two basic approaches to guarantee that a

system is correct. While verification requires the programmer to provide both
the specification and the implementation, synthesis automatically transforms
the specification into an implementation that is correct by construction.

Synthesizing an implementation of a reactive system corresponds to solving an
infinite two-player game. In this talk, I will give an overview on
game-theoretic algorithms for the synthesis of real-time controllers. I will
present a novel technique for the reduction of timed games that, based on a
local analysis of the game tree, determines if a particular move will not
change the outcome of the game and can therefore safely be ignored. I will
conclude with examples from the synthesis of industrial controllers.

Contact
Name(s):gk-sek
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):
  • gk-sek, 07/11/2007 10:04 AM
  • gk-sek, 04/23/2007 01:50 PM -- Created document.