Speaker |
Kai Bollue |
Title | Plant modelling and controller synthesis with augmented Petrinets |
When | 30.07.2008 |
Where | Lecture Room Informatik 7 |
Abstract | After the introduction of some augmentations to the classical Petri net theory making the plant modelling clearer and easier, an approach is shown to translate the model into a unified net, which is only based on linear constraints and marking changes. Then a draft of a synthesis algorithm is presented, which – given a unified net, goal and safety constraints and an initial marking – aims to generate a controller driving the plant from the initial state to some state fulfilling the goal constraint while avoiding forbidden states |
Slides | download |
Event calendar
- Subscribe to the ics feed.
Upcoming Events
- No Events