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

Research output: Contribution to conference without publisher/journal › Paper without publisher/journal › Research › peer-review

4 Citations (Scopus)

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

Original language	English
Publication date	2007
Publication status	Published - 2007
Event	10th International Conference HSCC2007 - Pisa, Italy Duration: 3 Apr 2007 → 5 Apr 2007 Conference number: 10

Conference

Conference	10th International Conference HSCC2007
Number	10
Country/Territory	Italy
City	Pisa
Period	03/04/2007 → 05/04/2007

Keywords

Hybrid Systems
Hybrid Verification
Welding System
Hybrid Control

Access to Document

Hybrid Control and Verification of a PulsedFinal published version, 216 KB

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@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

Conference

Keywords

Access to Document

AUB Link

Fingerprint

Cite this