Hybrid control and verification of a pulsed welding process

Authors:
Jesper A. Larsen;Rafael Wisniewski;Roozbeh Izadi-Zamanabadi
Affiliations:
Aalborg University, Department of Electronic Systems, Aalborg Ø, Denmark;Aalborg University, Department of Electronic Systems, Aalborg Ø, Denmark;Aalborg University, Department of Electronic Systems, Aalborg Ø, Denmark
Venue:
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Year:
2007

Citing 5
Cited 0

A theory of timed automata

Theoretical Computer Science
Communication and Concurrency

Communication and Concurrency
The theory of hybrid automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Logic in Computer Science: Modelling and Reasoning about Systems

Logic in Computer Science: Modelling and Reasoning about Systems
Model checking LTL over controllable linear systems is decidable

HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control

Quantified Score

Hi-index	0.02

Visualization

Abstract

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.