Hybrid Control and Verification of a Pulsed Welding Process

DOI10.1007/978-3-540-71493-4_29MaRDI QIDQ3612985zbMATH OpenOpenAlexFDO

Authors Jesper A. Larsen, Rafał Wisniewski, Roozbeh Izadi-Zamanabadi

Publication date 11 March 2009

Published in Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://vbn.aau.dk/ws/files/12625304/Hybrid_Control_and_Verification_of_a_Pulsed.pdf

zbMATH Keywords

\texttt{UPPAAL}

Mathematics Subject Classification ID

Application models in control theory (93C95)

Recommendations

• Verification and Control of Hybrid Systems
• HYBRID SYSTEM VERIFICATION IS NOT A SINECURE — THE ELECTRONIC THROTTLE CONTROL CASE STUDY
• scientific article; zbMATH DE number 1303060
• scientific article; zbMATH DE number 1507213
• Automated Technology for Verification and Analysis

Cited in

(4)

• On robust stability of switched systems in the context of Filippov solutions
• Closed-loop control of robotic arc welding system with full-penetration monitoring
• Guaranteed cost \(H_\infty \) controller synthesis for switched systems defined on semi-algebraic sets
• scientific article; zbMATH DE number 1176132 (Why is no real title available?)

Describes a project that uses

Uses Software

• Uppaal

This page was built for publication: Hybrid Control and Verification of a Pulsed Welding Process

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612985)