Formal Verification in Automated Manufacturing

von Yiheng Tang

180 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

In recent decades, discrete-event modelling has been widely utilised to address control engineering problems. Comparing with conventional dynamic system modelling where physical behaviour is explicitly to describe, discrete-event modelling focuses on a more abstract level where logical behaviour is of interest. In this dissertation, we focus on the formal verification of the logical closedloop behaviour of control systems. To satisfy safety and/or liveness requirements according to given technical specifications, we exploit the formal semantics of control programmes to represent the entire closed-loop behaviour in a discrete-event model, from which the properties of interest can be formally verified through an efficient method.

• Reihe: FAU Studien aus der Elektrotechnik
• Themen: Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse Elektronik, Nachrichtentechnik Elektronik Regelungstechnik
• ISBN: 9783961477432
• Sprache: Englisch
• Erscheinungsdatum: 03.06.2024
• Größe: 24 x 17 cm
• Verlag: FAU University Press