Hybrid Control and Verification of a Pulsed Welding Process

摘要

Currently systems, which are desired to control, are becoming more and more complex and classical control theory objectives, such as stability or sensitivity, are often not sufficient to cover the control objectives of the systems.In this paper it is shown how the dynamics of a pulsed welding process can be reformulated into a timed automaton hybrid setting and subsequently properties such as reachability and deadlock absence is verified by the simulation and verification tool UPPAAL.