Design of a PLC control program for a batch plant VHS case study 1

DOI10.3166/EJC.7.416-439zbMath1293.93419OpenAlexW1984093640MaRDI QIDQ2512165

Angelika Mader, Ed Brinksma, Hanno Wupper, Nanette Bauer

Publication date: 7 August 2014

Published in: European Journal of Control (Search for Journal in Brave)

Full work available at URL: https://research.utwente.nl/en/publications/design-of-a-plc-control-program-for-a-batch-plant--vhs-case-study-1(77eb5f62-92f0-4955-8b20-d59e34517307).html

zbMATH Keywords

hybrid systemstheorem provingmodel checkingplant controlspecification method

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Uses Software

• Uppaal

Cites Work

• Uppaal in a nutshell
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Design of a PLC control program for a batch plant VHS case study 1