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 specification of the dynamic plant behavior. The resulting hybrid SFC models can be transformed to hybrid automata, opening the way to the(More)
The extracellular matrix glycoprotein tenascin-R (TN-R) has been implicated in a variety of cell-matrix interactions involved in the molecular control of axon guidance and neural cell migration during development and regeneration of the central nervous system (CNS). Whereas TN-R is amply expressed in the early postnatal and adult mammalian CNS, the protein(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)
Hybrid electric vehicles use control strategies to distribute the torque requested by the driver between the internal combustion engine and the electrical motor. Many different types of control strategies have been proposed, but in general it is impossible to determine which control strategy performs best if the future driving conditions are unknown. In(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