Hybrid port–Hamiltonian systems: From parameterized incidence matrices to hybrid automata
Authors
C. Valentin, M. Magos, B. Maschke
Abstract
This paper shows how to formally design a hybrid automaton model for a wide class of dissipative physical systems with sources and switching topology. This method is based on a mathematical representation of the dynamic network graph and of its dual graph, using the hybrid incidence matrix, and on a constructive method for analyzing admissible and constrained configurations. The port–Hamiltonian representation associated with the set of hybrid system configurations, parameterized by the discrete state of the switches, is synthesized to be part of the hybrid automaton of the system. This is a further step towards a generic control synthesis for physical switching systems.
Keywords
Hybrid dynamical systems; Modeling; Hybrid automata; Dynamic network graph; Incidence matrix; Analysis; Admissible configurations; Constrained configurations
Citation
- Journal: Nonlinear Analysis: Theory, Methods & Applications
- Year: 2006
- Volume: 65
- Issue: 6
- Pages: 1106–1122
- Publisher: Elsevier BV
- DOI: 10.1016/j.na.2005.12.013
- Note: Hybrid Systems and Applications (5)
BibTeX
@article{Valentin_2006,
title={{Hybrid port–Hamiltonian systems: From parameterized incidence matrices to hybrid automata}},
volume={65},
ISSN={0362-546X},
DOI={10.1016/j.na.2005.12.013},
number={6},
journal={Nonlinear Analysis: Theory, Methods & Applications},
publisher={Elsevier BV},
author={Valentin, C. and Magos, M. and Maschke, B.},
year={2006},
pages={1106--1122}
}
References
- Alur, R. et al. The algorithmic analysis of hybrid systems. Theoretical Computer Science vol. 138 3–34 (1995) – 10.1016/0304-3975(94)00202-t
- Buisson, J. Analysis of switching devices with bond graphs. Journal of the Franklin Institute vol. 330 1165–1175 (1993) – 10.1016/0016-0032(93)90070-b
- Buisson, Analysis of the bond graph model of hybrid physical systems with ideal switches. Journal of Systems and Control Engineering (2002)
- Bussieck, M. R., Kreuzer, P. & Zimmermann, U. T. Optimal lines for railway systems. European Journal of Operational Research vol. 96 54–63 (1997) – 10.1016/0377-2217(95)00367-3
- Dalsmo, M. & van der Schaft, A. On Representations and Integrability of Mathematical Structures in Energy-Conserving Physical Systems. SIAM Journal on Control and Optimization vol. 37 54–91 (1998) – 10.1137/s0363012996312039
- A phase transition model for cascading network failure. IEEE Control Systems vol. 21 40–51 (2001) – 10.1109/37.969134
- Escobar, G., van der Schaft, A. J. & Ortega, R. A Hamiltonian viewpoint in the modeling of switching power converters. Automatica vol. 35 445–452 (1999) – 10.1016/s0005-1098(98)00196-4
- Frigioni, D. & Italiano, G. F. Dynamically Switching Vertices in Planar Graphs. Algorithmica vol. 28 76–103 (2000) – 10.1007/s004530010032
- Haddad, W. M., Nersesov, S. G. & Chellaboina, V. Energy-based control for hybrid port-controlled Hamiltonian systems. Automatica vol. 39 1425–1435 (2003) – 10.1016/s0005-1098(03)00113-4
- Henzinger, A user guide to HYTECH. (1995)
- Jeltsema, D. & Scherpen, J. M. A. A dual relation between port-Hamiltonian systems and the Brayton–Moser equations for nonlinear switched RLC circuits. Automatica vol. 39 969–979 (2003) – 10.1016/s0005-1098(03)00070-0
- Karnopp, (1990)
- Magos, M., Valentin, C. & Maschke, B. From Dynamic Graphs to Geometric Interconnection Structures of Physical Systems with Variable Topology. IFAC Proceedings Volumes vol. 37 297–302 (2004) – 10.1016/s1474-6670(17)30484-6
- Manon, P., Valentin-Roubinet, C. & Gilles, G. Optimal control of hybrid dynamical systems: application in process engineering. Control Engineering Practice vol. 10 133–149 (2002) – 10.1016/s0967-0661(01)00123-x
- Maschke, B. M. J., Ortega, R., van der Schaft, A. J. & Escobar, G. An energy-based derivation of lyapunov functions for forced systems with application to stabilizing control. IFAC Proceedings Volumes vol. 32 2534–2539 (1999) – 10.1016/s1474-6670(17)56431-9
- Mesbahi, M. & Hadaegh, F. Y. Formation Flying Control of Multiple Spacecraft via Graphs, Matrix Inequalities, and Switching. Journal of Guidance, Control, and Dynamics vol. 24 369–377 (2001) – 10.2514/2.4721
- Morvan, C., Cormerais, H., Richard, P. Y. & Buisson, J. Extending passivity based control to dae systems with boolean inputs. IFAC Proceedings Volumes vol. 37 1229–1234 (2004) – 10.1016/s1474-6670(17)31395-2
- Narayanan, (1997)
- Ortega, Putting energy back in control. IEEE Control Systems Magazine (2001)
- Paynter, (1961)
- Recski, (1989)
- Retif, J. M., Lin-Shi, X., Llor, A. M. & Morand, F. New hybrid direct-torque control for a winding rotor synchronous machine. 2004 IEEE 35th Annual Power Electronics Specialists Conference (IEEE Cat. No.04CH37551) 1438–1442 doi:10.1109/pesc.2004.1355634 – 10.1109/pesc.2004.1355634
- Valentin, C., Magos, M. & Maschke, B. PHYSICAL SWITCHING SYSTEMS: HYBRID INCIDENCE MATRICES FOR STRUCTURED MODELLING AND ANALYSIS. IFAC Proceedings Volumes vol. 38 235–240 (2005) – 10.3182/20050703-6-cz-1902.00324
- Van der Schaft, (2000)