Niclas Bauer

Learn More
A tool environment for the formal veriication of logic controllers for switched continuous systems is presented. It supports a model-based veriication approach which builds on diierent models of the controller and the plant. The architecture consists of a hierarchical plant modeling editor, a translator for the input of controllers given in IL code, and an(More)
  • 1