Johanna Nellen

Learn More
In this paper we address the safety analysis of chemical plants controlled by programmable logic controllers (PLCs). We consider sequential function charts (SFCs) for the programming of the PLCs, extended with the specication of the dynamic plant behavior. The resulting hybrid SFC models can be transformed to hybrid automata, opening the way to the(More)
Though there is an increasing need for computer scientists in our society, gifted young people with strong mathematical background, who would be well-suited for a study of computer science, often do not consider this choice because they have a wrong picture of computer science in mind. In this paper we present a new concept of collaborative learning to(More)
  • 1