Hybrid Control and Verification of a Pulsed Welding Process

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.

[1]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[2]  Wang Yi,et al.  UPPAAL - present and future , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[3]  Piotr Kulczycki,et al.  GENERAL ATTITUDE CONTROL ALGORITHM FOR SPACECRAFT EQUIPPED WITH STAR CAMERA AND REACTION WHEELS , 2002 .

[4]  Joseph Sifakis,et al.  Tools and Applications II: The IF Toolset , 2004 .

[5]  Paulo Tabuada,et al.  Model Checking LTL over Controllable Linear Systems Is Decidable , 2003, HSCC.

[6]  Piotr Kulczycki,et al.  Euler-Poincaré Reduction of a Rigid Body Motion , 2004 .

[7]  Mogens Blanke,et al.  Three-Axis Satellite Attitude Control Based on Magnetic Torquing , 1996 .

[8]  J. Stoustrup,et al.  Generalized H 2 Control Synthesis for Periodic Systems , 2004 .

[9]  Thomas Bak,et al.  Passive Aerodynamic Stabilisation of Low Earth Orbit Satellite , 1997 .

[10]  Thomas Bak,et al.  Autonomous Attitude Control System for the Ørsted Satellite , 1997 .

[11]  Mogens Blanke,et al.  Attitude Control for Magnetic Actuated Satellite , 1996 .

[12]  Paulo Tabuada,et al.  Finite bisimulations of controllable linear systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[13]  Michael Melholt Quottrup,et al.  Passivity Based Nonlinear Attitude Control of the Rømer Satellite , 2001 .

[14]  Rafal Wisniewski,et al.  Quaternion Feedback Control for Rigid-body Spacecraft , 2001 .

[15]  Jan H. van Schuppen,et al.  Observability of Piecewise-Affine Hybrid Systems , 2004, HSCC.

[16]  Rafał Wiśniewski.  Sliding mode attitude control for magnetic actuated satellite , 1998 .

[17]  Michael Huth,et al.  Logic in computer science - modelling and reasoning about systems , 2000 .

[18]  A. Pnueli,et al.  Effective synthesis of switching controllers for linear systems , 2000, Proceedings of the IEEE.

[19]  Rafael Wisniewski,et al.  Soft time-suboptimal controlling structure for mechanical systems , 2004, Proceedings of the Fourth International Workshop on Robot Motion and Control (IEEE Cat. No.04EX891).

[20]  Jakob Stoustrup,et al.  Periodic H2 Synthesis for Spacecraft Attitude Determination and Control with a Vector Magnetometer and Magnetorquers , 2001 .

[21]  Valentin Goranko,et al.  Logic in Computer Science: Modelling and Reasoning About Systems , 2007, J. Log. Lang. Inf..

[22]  Rafal Wisniewski,et al.  SYNTHESIZING MULTI-OBJECTIVE H2/H∞ DYNAMIC CONTROLLER USING EVOLUTIONARY ALGORITHMS , 2002 .

[23]  F. Landis Markley,et al.  Optimal magnetic attitude control , 1999 .

[24]  Rafal Wisniewski.  Linear Time-Varying Approach to Satellite Attitude Control Using Only Electromagnetic Actuation , 2000 .

[25]  Alberto Bemporad,et al.  Observability and controllability of piecewise affine and hybrid systems , 2000, IEEE Trans. Autom. Control..

[26]  Jesper Sandberg Thomsen,et al.  Advanced Control Methods for Optimization of Arc Welding , 2004 .

[27]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[28]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[29]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[30]  Gang Feng,et al.  Stability analysis of piecewise discrete-time linear systems , 2002, IEEE Trans. Autom. Control..

[31]  Rafal Wisniewski,et al.  Fault Detection and Isolation for Spacecraft: Geometric Approach , 2002 .

[32]  Piotr Kulczycki,et al.  Fuzzy controller for an uncertain dynamical system , 2002 .

[33]  Rajeev Alur,et al.  Decision Problems for Timed Automata: A Survey , 2004, SFM.

[34]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[35]  Thomas Bak,et al.  Flight results and lessons learned from the Ørsted Attitude Control Systems , 2000 .

[36]  R. Decarlo,et al.  Perspectives and results on the stability and stabilizability of hybrid systems , 2000, Proceedings of the IEEE.