Hybrid Control and Verification of a Pulsed Welding Process

DOI10.1007/978-3-540-71493-4_29zbMATH Open1221.93198OpenAlexW1608405861MaRDI QIDQ3612985FDOQ3612985

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

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

zbMATH Keywords

\texttt{UPPAAL}

Mathematics Subject Classification ID

Application models in control theory (93C95)

Cited In (4)

• Title not available (Why is that?)
• Closed-loop control of robotic arc welding system with full-penetration monitoring
• On robust stability of switched systems in the context of Filippov solutions
• Guaranteed cost \(H_\infty \) controller synthesis for switched systems defined on semi-algebraic sets

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)