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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of the 11th Annual IEEE Symposium on Logic in Compute Science, pp. 278–292. IEEE Computer Society Press, Los Alamitos (1996)
Bemporad, A., Ferrari-Trecate, G., Morari, M.: Observability and controllability of piecewise affine and hybrid systems. IEEE Transactions on Automatic Control 45(10), 1864–1876 (2000)
Collins, P., van Schuppen, J.H.: Observability of piecewise-affine hybrid systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 265–279. Springer, Heidelberg (2004)
Feng, G.: Stability analysis of piecewise discrete-time linear systems. IEEE Transactions on Automatic Control 47(7), 1108–1112 (2002)
Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
Alur, R., Madhusudan, P.: Decision problems for timed automata: A survey. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 1–24. Springer, Heidelberg (2004)
Tabuada, P., Pappas, G.J.: Model checking LTL over controllable linear systems is decidable. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol. 2623, Springer, Heidelberg (2003)
Thomsen, J.S.: Advanced Control Methods for Optimization of Arc Welding. PhD thesis, Aalborg University (2004)
Storer, J.: The Haynes Manual on Welding. Haynes Group, Sparkford (2004)
Asarin, E., et al.: Effective synthesis of switching controllers for linear systems. Proceedings of the IEEE 88(7), 1011–1025 (2000)
Behrmann, G., et al.: Uppaal - present and future. In: Proc. of 40th IEEE Conference on Decision and Control, IEEE Computer Society Press, Los Alamitos (2001)
A., D.R., et al.: Perspectives and results on the stability and stabilizability of hybrid systems. Proceedings of the IEEE 88(7), 1069–1082 (2000)
Tabuada, P., Pappas, G.J.: Finite bisimulations of controllable linear systems. In: Proceedings of the 42nd IEEE Conference on Decision and Control, IEEE Computer Society Press, Los Alamitos (2003)
Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. International Journal on Software Tools for Technology Transfer (STTT) 1(1-2), 134–152 (1997)
Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems, 2nd edn. Cambridge University Press, Cambridge (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Larsen, J.A., Wisniewski, R., Izadi-Zamanabadi, R. (2007). Hybrid Control and Verification of a Pulsed Welding Process. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds) Hybrid Systems: Computation and Control. HSCC 2007. Lecture Notes in Computer Science, vol 4416. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71493-4_29
Download citation
DOI: https://doi.org/10.1007/978-3-540-71493-4_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71492-7
Online ISBN: 978-3-540-71493-4
eBook Packages: Computer ScienceComputer Science (R0)