Hybrid Control and Verification of a Pulsed Welding Process

Publikation: Konferencebidrag uden forlag/tidsskriftPaper uden forlag/tidsskriftForskningpeer review

4 Citationer (Scopus)
629 Downloads (Pure)

Resumé

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.

OriginalsprogEngelsk
Publikationsdato2007
StatusUdgivet - 2007
Begivenhed10th International Conference HSCC2007 - Pisa, Italien
Varighed: 3 apr. 20075 apr. 2007
Konferencens nummer: 10

Konference

Konference10th International Conference HSCC2007
Nummer10
LandItalien
ByPisa
Periode03/04/200705/04/2007

Fingerprint

Welding
Control theory

Emneord

  • Hybrid kontrol

Citer dette

Wisniewski, R., Larsen, J. A., & Izadi-Zamanabadi, R. (2007). Hybrid Control and Verification of a Pulsed Welding Process. Afhandling præsenteret på 10th International Conference HSCC2007, Pisa, Italien.
Wisniewski, Rafal ; Larsen, Jesper Abildgaard ; Izadi-Zamanabadi, Roozbeh. / Hybrid Control and Verification of a Pulsed Welding Process. Afhandling præsenteret på 10th International Conference HSCC2007, Pisa, Italien.
@conference{494f4df05f8711dcab89000ea68e967b,
title = "Hybrid Control and Verification of a Pulsed Welding Process",
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.",
keywords = "Hybrid kontrol, Hybrid Systems, Hybrid Verification, Welding System, Hybrid Control",
author = "Rafal Wisniewski and Larsen, {Jesper Abildgaard} and Roozbeh Izadi-Zamanabadi",
year = "2007",
language = "English",
note = "null ; Conference date: 03-04-2007 Through 05-04-2007",

}

Wisniewski, R, Larsen, JA & Izadi-Zamanabadi, R 2007, 'Hybrid Control and Verification of a Pulsed Welding Process', Paper fremlagt ved 10th International Conference HSCC2007, Pisa, Italien, 03/04/2007 - 05/04/2007.

Hybrid Control and Verification of a Pulsed Welding Process. / Wisniewski, Rafal; Larsen, Jesper Abildgaard; Izadi-Zamanabadi, Roozbeh.

2007. Afhandling præsenteret på 10th International Conference HSCC2007, Pisa, Italien.

Publikation: Konferencebidrag uden forlag/tidsskriftPaper uden forlag/tidsskriftForskningpeer review

TY - CONF

T1 - Hybrid Control and Verification of a Pulsed Welding Process

AU - Wisniewski, Rafal

AU - Larsen, Jesper Abildgaard

AU - Izadi-Zamanabadi, Roozbeh

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

KW - Hybrid kontrol

KW - Hybrid Systems

KW - Hybrid Verification

KW - Welding System

KW - Hybrid Control

M3 - Paper without publisher/journal

ER -

Wisniewski R, Larsen JA, Izadi-Zamanabadi R. Hybrid Control and Verification of a Pulsed Welding Process. 2007. Afhandling præsenteret på 10th International Conference HSCC2007, Pisa, Italien.