The covering semigroup of invariant control systems on Lie groups

Víctor Ayala; Eyüp Kizil

Kybernetika (2016)

  • Volume: 52, Issue: 6, page 837-847
  • ISSN: 0023-5954

Abstract

top
It is well known that the class of invariant control systems is really relevant both from theoretical and practical point of view. This work was an attempt to connect an invariant systems on a Lie group G with its covering space. Furthermore, to obtain algebraic properties of this set. Let G be a Lie group with identity e and Σ 𝔤 a cone in the Lie algebra 𝔤 of G that satisfies the Lie algebra rank condition. We use a formalism developed by Sussmann, to obtain an algebraic structure on the covering space Γ ( Σ , x ) , x G introduced by Colonius, Kizil and San Martin. This formalism provides a group G ^ ( X ) of exponential of Lie series and a subsemigroup S ^ ( X ) G ^ ( X ) that parametrizes the space of controls by means of a map due to Chen, which assigns to each control a noncommutative formal power series. Then we prove that Γ ( Σ , e ) is the intersection of S ^ ( X ) with the congruence classes determined by the kernel of a homomorphism of S ^ ( X ) .

How to cite

top

Ayala, Víctor, and Kizil, Eyüp. "The covering semigroup of invariant control systems on Lie groups." Kybernetika 52.6 (2016): 837-847. <http://eudml.org/doc/287874>.

@article{Ayala2016,
abstract = {It is well known that the class of invariant control systems is really relevant both from theoretical and practical point of view. This work was an attempt to connect an invariant systems on a Lie group $G$ with its covering space. Furthermore, to obtain algebraic properties of this set. Let $G$ be a Lie group with identity $e$ and $\Sigma \subset \mathfrak \{g\}$ a cone in the Lie algebra $\mathfrak \{g\}$ of $G$ that satisfies the Lie algebra rank condition. We use a formalism developed by Sussmann, to obtain an algebraic structure on the covering space $\mathbf \{\Gamma \}(\Sigma ,x),x\in G$ introduced by Colonius, Kizil and San Martin. This formalism provides a group $\widehat\{G\}(X)$ of exponential of Lie series and a subsemigroup $ \widehat\{S\}(\{X\})\subset \widehat\{G\}(X)$ that parametrizes the space of controls by means of a map due to Chen, which assigns to each control a noncommutative formal power series. Then we prove that $\Gamma (\Sigma ,e)$ is the intersection of $\widehat\{S\}(X)$ with the congruence classes determined by the kernel of a homomorphism of $\widehat\{S\}(X)$.},
author = {Ayala, Víctor, Kizil, Eyüp},
journal = {Kybernetika},
keywords = {control systems; homotopy of trajectories; covering semigroup},
language = {eng},
number = {6},
pages = {837-847},
publisher = {Institute of Information Theory and Automation AS CR},
title = {The covering semigroup of invariant control systems on Lie groups},
url = {http://eudml.org/doc/287874},
volume = {52},
year = {2016},
}

TY - JOUR
AU - Ayala, Víctor
AU - Kizil, Eyüp
TI - The covering semigroup of invariant control systems on Lie groups
JO - Kybernetika
PY - 2016
PB - Institute of Information Theory and Automation AS CR
VL - 52
IS - 6
SP - 837
EP - 847
AB - It is well known that the class of invariant control systems is really relevant both from theoretical and practical point of view. This work was an attempt to connect an invariant systems on a Lie group $G$ with its covering space. Furthermore, to obtain algebraic properties of this set. Let $G$ be a Lie group with identity $e$ and $\Sigma \subset \mathfrak {g}$ a cone in the Lie algebra $\mathfrak {g}$ of $G$ that satisfies the Lie algebra rank condition. We use a formalism developed by Sussmann, to obtain an algebraic structure on the covering space $\mathbf {\Gamma }(\Sigma ,x),x\in G$ introduced by Colonius, Kizil and San Martin. This formalism provides a group $\widehat{G}(X)$ of exponential of Lie series and a subsemigroup $ \widehat{S}({X})\subset \widehat{G}(X)$ that parametrizes the space of controls by means of a map due to Chen, which assigns to each control a noncommutative formal power series. Then we prove that $\Gamma (\Sigma ,e)$ is the intersection of $\widehat{S}(X)$ with the congruence classes determined by the kernel of a homomorphism of $\widehat{S}(X)$.
LA - eng
KW - control systems; homotopy of trajectories; covering semigroup
UR - http://eudml.org/doc/287874
ER -

References

top
  1. Ayala, V., 10.4064/bc106-0-3, Banach Center Publications. Polish Academy of Sciences 32 (1995), 35-46. Zbl0839.93018MR1364418DOI10.4064/bc106-0-3
  2. Ayala, V., Martin, L. San, Ribeiro, R., 10.1137/130943662, SIAM J. Control Optim. 52 (2014), 2548-2567. MR3252797DOI10.1137/130943662
  3. Bonnard, B., Jurdjevic, V., Kupka, I., Sallet, G., 10.1090/s0002-9947-1982-0654849-4, Trans. Amer. Math. Soc. 271 (1982), 521-535. DOI10.1090/s0002-9947-1982-0654849-4
  4. Brockett, R., 10.1137/0310021, SIAM J. Control 1 (1972), 265-284. MR0315559DOI10.1137/0310021
  5. Chen, K., 10.2307/1969671, Ann. Math. 65 (1975), 163-178. Zbl0077.25301MR0085251DOI10.2307/1969671
  6. Colonius, F., Kizil, E., Martin, L. San, 10.1016/j.jde.2005.02.021, J. Differential Equations 216 (2005), 324-353. MR2162339DOI10.1016/j.jde.2005.02.021
  7. Dubins, L., 10.2307/2372560, Am. J. Math. 79 (1957), 3, 497. DOI10.2307/2372560
  8. Hilgert, J., Hofmann, K., Lawson, J., Controllability of systems on a nilpotent Lie group., Beitrage Algebra Geometrie 20 (1985), 185-190. MR0803388
  9. Isidori, A., 10.1007/978-1-84628-615-5, Springer-Verlag, 1995. Zbl0931.93005MR1410988DOI10.1007/978-1-84628-615-5
  10. Jurdjevic, V., 10.1017/cbo9780511530036, Cambridge University Press, 1997. Zbl1138.93005MR1425878DOI10.1017/cbo9780511530036
  11. Jurdjevic, V., Optimal control problem on Lie groups: crossroads between geometry and mechanics., In: Geometry of Feedback and Optimal Control (B. Jakubczyk and W. Respondek, eds.), New York, Marcel Dekker 1997. MR1493016
  12. Jurdjevic, V., Kupka, I., 10.5802/aif.853, Ann. Inst. Fourier, Grenoble 31 (1981), 151-179. Zbl0453.93011MR0644347DOI10.5802/aif.853
  13. Jurdjevic, V., Sussmann, H., 10.1016/0022-0396(72)90035-6, J. Differential Equations 12 (1972), 313-329. Zbl0237.93027MR0331185DOI10.1016/0022-0396(72)90035-6
  14. Lobry, C., 10.1137/0308042, SIAM J. Control Optim. 8 (1970), 4, 573-605. Zbl0476.93015MR0271979DOI10.1137/0308042
  15. Ljapin, E., 10.1090/trans2/027/17, Trans. Math. Monographs 3, American Mathematical Society 1963. MR0167545DOI10.1090/trans2/027/17
  16. Mittenhuber, D., 10.1023/a:1026697622549, J. Dynam. Control Systems 7 (2001), 61-75. Zbl1022.22006MR1817330DOI10.1023/a:1026697622549
  17. Sachkov, Y.L., 10.1007/bf02463282, J. Dynam. Control Systems 3 (1997), 531-564. Zbl0991.93015MR1481626DOI10.1007/bf02463282
  18. Sachkov, Y.L., 10.1007/s10958-000-0002-8, Dynamical systems 8, J. Math. Sci. (New York), 100 (2000), 4, 2355-2427. Zbl1073.93511MR1776551DOI10.1007/s10958-000-0002-8
  19. Martin, L. San, Tonelli, P., Semigroup actions on homogeneous spaces., Semigroup Forum 14 (1994), 1-30. MR1301552
  20. Sussmann, H., 10.1137/0321042, SIAM J. Control Optim. 21 (1983), 5, 686-713. Zbl0523.49026MR0710995DOI10.1137/0321042
  21. Sussmann, H., 10.1137/0325011, SIAM J. Control Optim. 25 (1987), 158-194. Zbl0629.93012MR0872457DOI10.1137/0325011
  22. Sussmann, H., Willems, C., 10.1109/37.588098, IEEE Constrol Systems Magazine 17 (1997), 3, 32-44. Zbl1014.49001DOI10.1109/37.588098

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.