Hybrid Control and Verification of a Pulsed Welding Process

Rafal Wisniewski; Jesper Abildgaard Larsen; Roozbeh Izadi-Zamanabadi

Hybrid Control and Verification of a Pulsed Welding Process

Rafal Wisniewski, Jesper Abildgaard Larsen, Roozbeh Izadi-Zamanabadi

Publikation: Konferencebidrag uden forlag/tidsskrift › Paper uden forlag/tidsskrift › Forskning › peer review

4 Citationer (Scopus)

855 Downloads (Pure)

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.

Originalsprog	Engelsk
Publikationsdato	2007
Status	Udgivet - 2007
Begivenhed	10th International Conference HSCC2007 - Pisa, Italien Varighed: 3 apr. 2007 → 5 apr. 2007 Konferencens nummer: 10

Konference

Konference	10th International Conference HSCC2007
Nummer	10
Land/Område	Italien
By	Pisa
Periode	03/04/2007 → 05/04/2007

Emneord

Hybrid kontrol

Adgang til dokumentet

Hybrid Control and Verification of a PulsedForlagets udgivne version, 216 KB

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

@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 = "10th International Conference HSCC2007 ; Conference date: 03-04-2007 Through 05-04-2007",

}

TY - CONF

T1 - Hybrid Control and Verification of a Pulsed Welding Process

AU - Wisniewski, Rafal

AU - Larsen, Jesper Abildgaard

AU - Izadi-Zamanabadi, Roozbeh

N1 - Conference code: 10

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

T2 - 10th International Conference HSCC2007

Y2 - 3 April 2007 through 5 April 2007

ER -

Hybrid Control and Verification of a Pulsed Welding Process

Abstract

Konference

Emneord

Adgang til dokumentet

AUB Link

Fingeraftryk

Citationsformater