Campus Event Calendar
Event Entry
What and Who
Controller Program Synthesis
Hans-Jörg Peter
PhD Application Talk
AG 1, AG 2, AG 3, AG 4, AG 5
AG Audience
Note: We use this to send email in the morning.
Date, Time and Location
Monday, 4 July 2005
12:35
-- Not specified --
46.1 - MPII
024
Saarbrücken
Abstract
In my diploma thesis, a method is introduced to automatically synthesize controller programs for industrial machines. Based on Timed Automata, a formal specification language was designed to model a system environment and goal definitions. A developed synthesis algorithm reads such a specification and generates an intermediate program which controls the modelled environment such that all goals are reached.
A compiler translates the intermediate programs to IEC 1131-3 assembler code that can be uploaded into real hardware.
Using my algorithm, several real-world problem tasks could be solved and implemented on a Siemens S7-300 programmable logic controller which is the current industrial standard.
Contact
Kerstin Meyer-Ross
9325-226
--email hidden
passcode not visible
logged in users only
Christine Kiesel, 06/30/2005 18:26
Christine Kiesel, 06/30/2005 18:17 -- Created document.
Christine Kiesel, 06/30/2005 18:17 -- Created document.