Plant modelling and controller synthesis with augmented Petrinets

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