• Previous Article
    Asymptotic behavior of solutions to a coupled system of Maxwell's equations and a controlled differential inclusion
  • PROC Home
  • This Issue
  • Next Article
    A unified approach to Matukuma type equations on the hyperbolic space or on a sphere
2013, 2013(special): 393-406. doi: 10.3934/proc.2013.2013.393

The characterization of maximal invariant sets of non-linear discrete-time control dynamical systems

1. 

Department of Mathematics and Information Sciences, University of North Texas at Dallas, Dallas, TX 75241, United States

2. 

Departamento de Engenharia Civil, Faculdade de Engenharia da Universidade do Porto, Rua Dr. Roberto Frias 4200 - 465 Porto, Portugal

Received  September 2012 Revised  March 2013 Published  November 2013

The main topic of this paper is the controllability/reachability problems of the maximal invariant sets of non-linear discrete-time multiple-valued iterative dynamical systems. We prove that the controllability/reachability problems of the maximal full-invariant sets of classical control dynamical systems are equivalent to those of the maximal quasi-invariant sets of disturbed control dynamical systems, when modeled by the iterative dynamics of multiple-valued self-maps. Also, we prove that the afore-mentioned maximal full-invariant sets and maximal quasi-invariant sets are countably infinite step controllable under some appropriate conditions. We take an abstract set theoretical approach, so that our main theorems remain valid regardless of the topological structure of the space or the analytical structure of the dynamics.
Citation: Byungik Kahng, Miguel Mendes. The characterization of maximal invariant sets of non-linear discrete-time control dynamical systems. Conference Publications, 2013, 2013 (special) : 393-406. doi: 10.3934/proc.2013.2013.393
References:
[1]

E. Akin, "The General Topology of Dynamical Systems,", Graduate Studies in Mathematics, (1993).   Google Scholar

[2]

Z. Artstein and S. Rakovic, Feedback invariance under uncertainty via set-iterates,, Automatica J. IFAC, 44 (2008), 520.   Google Scholar

[3]

P. Ashwin, X. C. Fu, T. Nishikawa and K. Zyczkowski, Invariant sets for discontinuous parabolic area-preserving torus maps,, Nonlinearity, 13 (2000), 819.   Google Scholar

[4]

P. Ashwin, X. C. Fu and J. R. Terry, Riddling and invariance for discontinuous maps preserving lebesgue measure,, Nonlinearity, 15 (2002), 633.   Google Scholar

[5]

A. Bemporad, F. D. Torrisi and M. Morari, "Optimization-based verification and stability characterization of piecewise affine and hybrid systems,", in Proc. 3rd International Workshop on Hybrid Systems: Computation and Control, (2000).   Google Scholar

[6]

D. Bertsekas, Infinite time reachability of state-space regions by using feedback control,, IEEE Transactions on Automatic Control, AC-17 (1972), 604.   Google Scholar

[7]

F. Blanchini and S. Miani, "Set-Theoretic Methods in Control,", Systems & Control: Foundations & Applications, (2008).   Google Scholar

[8]

T. Das, K. Lee and M. Lee, $c^1$-persistently continuum-wise expansive homoclinic classes and recurrent sets,, Topology and its Applications, 160 (2013), 350.   Google Scholar

[9]

X. Fu, F. Chen and X. Zhao, Dynamical properties of 2-torus parabolic maps,, Nonlinear Dynamics, 50 (2007), 539.   Google Scholar

[10]

X. Fu and J. Duan, Global attractors and invariant measures for non-invertible planar piecewise isometric maps,, Phys. Lett. A, 371 (2007), 285.   Google Scholar

[11]

______, On global attractors for a class of nonhyperbolic piecewise affine maps,, Physica D, 237 (2008), 3369.   Google Scholar

[12]

A. A. Julius and A. J. van der Schaft, The maximal controlled invariant set of switched linear systems,, Proc. 41st IEEE Conf. on Decision and Control, (2002), 3174.   Google Scholar

[13]

B. Kahng, Chains of minimal image sets can attain arbitrary length until they reach maximal invariant sets,, preprint., ().   Google Scholar

[14]

_______, The invariant set theory of multiple valued iterative dynamical systems,, in Recent Advances in System Science and Simulation in Engineering, 7 (2008), 19.   Google Scholar

[15]

_______, Maximal invariant sets of multiple valued iterative dynamics in disturbed control systems,, Int. J. Circ. Sys. and Signal Processing, 2 (2008), 113.   Google Scholar

[16]

_______, Positive invariance of multiple valued iterative dynamical systems in disturbed control models,, in, (2009), 663.   Google Scholar

[17]

_______, Singularities of 2-dimensional invertible piecewise isometric dynamics,, Chaos, 19 (2009).   Google Scholar

[18]

_______, The approximate control problems of the maximal invariant sets of non-linear discrete-time dis-turbed control dynamical systems: an algorithmic approach,, in Proc. Int. Conf. on Control and Auto. and Sys. Gyeonggi-do, (2010), 1513.   Google Scholar

[19]

_______, Multiple valued iterative dynamics models of nonlinear discrete-time control dynamical systems with disturbance,, J. Korean Math. Soc., 50 (2013), 17.   Google Scholar

[20]

E. Kerrigan, J. Lygeros and J. M. Maciejowski, "A Geometric Approach To Reachability Computations For Constrained Discrete-Time Systems,", in IFAC World Congress, (2002).   Google Scholar

[21]

E. Kerrigan and J. M. Maciejowski, "Invariant Sets for Constrained Nonlinear Discrete-Time Systems with Application to Feasibility in Model Predictive Control,", in Proc. 39th IEEE Conf. on Decision and Control, (2000).   Google Scholar

[22]

X. D. Koutsoukos and P. J. Antsaklis, Safety and reachability of piecewise-linear hybrid dynamical systems based on discrete abstractions,, J. Discr. Event Dynam. Sys., 13 (2003), 203.   Google Scholar

[23]

K. Lee and M. Lee, Hyperbolicity of $c^1$-stably expansive homoclinic classes,, Discr. and Contin. Dynam. Sys., 27 (2010), 1133.   Google Scholar

[24]

_______, Stably inverse shadowable transitive sets and dominated splitting,, Proc. Amer. Math. Soc., 140 (2012), 217.   Google Scholar

[25]

K. Lee, K. Moriyasu and K. Sakai, $c^1$-stable shadowing diffeomorphisms,, Discr. and Contin. Dynam. Sys., 22 (2008), 683.   Google Scholar

[26]

J. H. Lowenstein, G. Poggiaspalla and F. Vivaldi, Sticky orbits in a kicked-oscillator model,, Dynam. Sys., 20 (2005), 413.   Google Scholar

[27]

D. Q. Mayne, J. B. Rawlings, C. V. Rao and P. O. M. Scokaert, Constrained model predictive control: Stability and optimality,, Automatica, 36 (2000), 789.   Google Scholar

[28]

M. Mendes, "Dynamics of Piecewise Isometric Systems with Particular Emphasis to the Goetz Map,", Ph. D. Thesis, (2001).   Google Scholar

[29]

_______, Quasi-invariant attractors of piecewise isometric systems,, Discr. Contin. Dynam. Sys., 9 (2003), 323.   Google Scholar

[30]

C. J. Ong and E. G. Gilbert, Constrained linear systems with disturbances: Enlargement of their maximal invariant sets by nonlinear feedback,, (2006), (2006), 5246.   Google Scholar

[31]

S. V. Rakovic and M. Fiacchini, "Invariant Approximations of the Maximal Invariant Set or Encircling the Square,", in IFAC World Congress, (2008).   Google Scholar

[32]

S. V. Rakovic, E. Kerrigan and D. Q. Mayne, "Optimal Control of Constrained Piecewise Affine Systems with State-Dependent and Input-Dependent Distrubances,", in Proc. 16th Int. Sympo. on Mathematical Theory of Networks and Systems, (2004).   Google Scholar

[33]

S. V. Rakovic, E. Kerrigan, D. Q. Mayne and J. Lygeros, Reachability analysis of discrete-time systems with disturbances,, IEEE Transactions on Automatic Control, 51 (2006), 546.   Google Scholar

[34]

C. Tomlin, I. Mitchell, A. Bayen and M. Oishi, Computational techniques for the verification and control of hybrid systems,, Proc. IEEE, 91 (2003), 986.   Google Scholar

[35]

F. D. Torrisi and A. Bemporad, "Discrete-Time Hybrid Modeling and Verification,", in Proc. 40th IEEE Conf. on Decision and Control, (2001).   Google Scholar

[36]

R. Vidal, S. Schaffert, O. Shakernia, J. Lygeros and S. Sastry, "Decidable and Semi-Decidable Controller Synthesis for Classes of Discrete Time Hybrid Systems,", in Proc. 40th IEEE Conf. on Decision and Control, (2001).   Google Scholar

show all references

References:
[1]

E. Akin, "The General Topology of Dynamical Systems,", Graduate Studies in Mathematics, (1993).   Google Scholar

[2]

Z. Artstein and S. Rakovic, Feedback invariance under uncertainty via set-iterates,, Automatica J. IFAC, 44 (2008), 520.   Google Scholar

[3]

P. Ashwin, X. C. Fu, T. Nishikawa and K. Zyczkowski, Invariant sets for discontinuous parabolic area-preserving torus maps,, Nonlinearity, 13 (2000), 819.   Google Scholar

[4]

P. Ashwin, X. C. Fu and J. R. Terry, Riddling and invariance for discontinuous maps preserving lebesgue measure,, Nonlinearity, 15 (2002), 633.   Google Scholar

[5]

A. Bemporad, F. D. Torrisi and M. Morari, "Optimization-based verification and stability characterization of piecewise affine and hybrid systems,", in Proc. 3rd International Workshop on Hybrid Systems: Computation and Control, (2000).   Google Scholar

[6]

D. Bertsekas, Infinite time reachability of state-space regions by using feedback control,, IEEE Transactions on Automatic Control, AC-17 (1972), 604.   Google Scholar

[7]

F. Blanchini and S. Miani, "Set-Theoretic Methods in Control,", Systems & Control: Foundations & Applications, (2008).   Google Scholar

[8]

T. Das, K. Lee and M. Lee, $c^1$-persistently continuum-wise expansive homoclinic classes and recurrent sets,, Topology and its Applications, 160 (2013), 350.   Google Scholar

[9]

X. Fu, F. Chen and X. Zhao, Dynamical properties of 2-torus parabolic maps,, Nonlinear Dynamics, 50 (2007), 539.   Google Scholar

[10]

X. Fu and J. Duan, Global attractors and invariant measures for non-invertible planar piecewise isometric maps,, Phys. Lett. A, 371 (2007), 285.   Google Scholar

[11]

______, On global attractors for a class of nonhyperbolic piecewise affine maps,, Physica D, 237 (2008), 3369.   Google Scholar

[12]

A. A. Julius and A. J. van der Schaft, The maximal controlled invariant set of switched linear systems,, Proc. 41st IEEE Conf. on Decision and Control, (2002), 3174.   Google Scholar

[13]

B. Kahng, Chains of minimal image sets can attain arbitrary length until they reach maximal invariant sets,, preprint., ().   Google Scholar

[14]

_______, The invariant set theory of multiple valued iterative dynamical systems,, in Recent Advances in System Science and Simulation in Engineering, 7 (2008), 19.   Google Scholar

[15]

_______, Maximal invariant sets of multiple valued iterative dynamics in disturbed control systems,, Int. J. Circ. Sys. and Signal Processing, 2 (2008), 113.   Google Scholar

[16]

_______, Positive invariance of multiple valued iterative dynamical systems in disturbed control models,, in, (2009), 663.   Google Scholar

[17]

_______, Singularities of 2-dimensional invertible piecewise isometric dynamics,, Chaos, 19 (2009).   Google Scholar

[18]

_______, The approximate control problems of the maximal invariant sets of non-linear discrete-time dis-turbed control dynamical systems: an algorithmic approach,, in Proc. Int. Conf. on Control and Auto. and Sys. Gyeonggi-do, (2010), 1513.   Google Scholar

[19]

_______, Multiple valued iterative dynamics models of nonlinear discrete-time control dynamical systems with disturbance,, J. Korean Math. Soc., 50 (2013), 17.   Google Scholar

[20]

E. Kerrigan, J. Lygeros and J. M. Maciejowski, "A Geometric Approach To Reachability Computations For Constrained Discrete-Time Systems,", in IFAC World Congress, (2002).   Google Scholar

[21]

E. Kerrigan and J. M. Maciejowski, "Invariant Sets for Constrained Nonlinear Discrete-Time Systems with Application to Feasibility in Model Predictive Control,", in Proc. 39th IEEE Conf. on Decision and Control, (2000).   Google Scholar

[22]

X. D. Koutsoukos and P. J. Antsaklis, Safety and reachability of piecewise-linear hybrid dynamical systems based on discrete abstractions,, J. Discr. Event Dynam. Sys., 13 (2003), 203.   Google Scholar

[23]

K. Lee and M. Lee, Hyperbolicity of $c^1$-stably expansive homoclinic classes,, Discr. and Contin. Dynam. Sys., 27 (2010), 1133.   Google Scholar

[24]

_______, Stably inverse shadowable transitive sets and dominated splitting,, Proc. Amer. Math. Soc., 140 (2012), 217.   Google Scholar

[25]

K. Lee, K. Moriyasu and K. Sakai, $c^1$-stable shadowing diffeomorphisms,, Discr. and Contin. Dynam. Sys., 22 (2008), 683.   Google Scholar

[26]

J. H. Lowenstein, G. Poggiaspalla and F. Vivaldi, Sticky orbits in a kicked-oscillator model,, Dynam. Sys., 20 (2005), 413.   Google Scholar

[27]

D. Q. Mayne, J. B. Rawlings, C. V. Rao and P. O. M. Scokaert, Constrained model predictive control: Stability and optimality,, Automatica, 36 (2000), 789.   Google Scholar

[28]

M. Mendes, "Dynamics of Piecewise Isometric Systems with Particular Emphasis to the Goetz Map,", Ph. D. Thesis, (2001).   Google Scholar

[29]

_______, Quasi-invariant attractors of piecewise isometric systems,, Discr. Contin. Dynam. Sys., 9 (2003), 323.   Google Scholar

[30]

C. J. Ong and E. G. Gilbert, Constrained linear systems with disturbances: Enlargement of their maximal invariant sets by nonlinear feedback,, (2006), (2006), 5246.   Google Scholar

[31]

S. V. Rakovic and M. Fiacchini, "Invariant Approximations of the Maximal Invariant Set or Encircling the Square,", in IFAC World Congress, (2008).   Google Scholar

[32]

S. V. Rakovic, E. Kerrigan and D. Q. Mayne, "Optimal Control of Constrained Piecewise Affine Systems with State-Dependent and Input-Dependent Distrubances,", in Proc. 16th Int. Sympo. on Mathematical Theory of Networks and Systems, (2004).   Google Scholar

[33]

S. V. Rakovic, E. Kerrigan, D. Q. Mayne and J. Lygeros, Reachability analysis of discrete-time systems with disturbances,, IEEE Transactions on Automatic Control, 51 (2006), 546.   Google Scholar

[34]

C. Tomlin, I. Mitchell, A. Bayen and M. Oishi, Computational techniques for the verification and control of hybrid systems,, Proc. IEEE, 91 (2003), 986.   Google Scholar

[35]

F. D. Torrisi and A. Bemporad, "Discrete-Time Hybrid Modeling and Verification,", in Proc. 40th IEEE Conf. on Decision and Control, (2001).   Google Scholar

[36]

R. Vidal, S. Schaffert, O. Shakernia, J. Lygeros and S. Sastry, "Decidable and Semi-Decidable Controller Synthesis for Classes of Discrete Time Hybrid Systems,", in Proc. 40th IEEE Conf. on Decision and Control, (2001).   Google Scholar

[1]

Sushil Kumar Dey, Bibhas C. Giri. Coordination of a sustainable reverse supply chain with revenue sharing contract. Journal of Industrial & Management Optimization, 2020  doi: 10.3934/jimo.2020165

[2]

Nguyen Thi Kim Son, Nguyen Phuong Dong, Le Hoang Son, Alireza Khastan, Hoang Viet Long. Complete controllability for a class of fractional evolution equations with uncertainty. Evolution Equations & Control Theory, 2020  doi: 10.3934/eect.2020104

[3]

Mark F. Demers. Uniqueness and exponential mixing for the measure of maximal entropy for piecewise hyperbolic maps. Discrete & Continuous Dynamical Systems - A, 2021, 41 (1) : 217-256. doi: 10.3934/dcds.2020217

[4]

Jiahao Qiu, Jianjie Zhao. Maximal factors of order $ d $ of dynamical cubespaces. Discrete & Continuous Dynamical Systems - A, 2021, 41 (2) : 601-620. doi: 10.3934/dcds.2020278

[5]

Sumit Arora, Manil T. Mohan, Jaydev Dabas. Approximate controllability of a Sobolev type impulsive functional evolution system in Banach spaces. Mathematical Control & Related Fields, 2020  doi: 10.3934/mcrf.2020049

[6]

Touria Karite, Ali Boutoulout. Global and regional constrained controllability for distributed parabolic linear systems: RHUM approach. Numerical Algebra, Control & Optimization, 2020  doi: 10.3934/naco.2020055

[7]

Zonghong Cao, Jie Min. Selection and impact of decision mode of encroachment and retail service in a dual-channel supply chain. Journal of Industrial & Management Optimization, 2020  doi: 10.3934/jimo.2020167

[8]

Russell Ricks. The unique measure of maximal entropy for a compact rank one locally CAT(0) space. Discrete & Continuous Dynamical Systems - A, 2021, 41 (2) : 507-523. doi: 10.3934/dcds.2020266

[9]

Soniya Singh, Sumit Arora, Manil T. Mohan, Jaydev Dabas. Approximate controllability of second order impulsive systems with state-dependent delay in Banach spaces. Evolution Equations & Control Theory, 2020  doi: 10.3934/eect.2020103

 Impact Factor: 

Metrics

  • PDF downloads (32)
  • HTML views (0)
  • Cited by (0)

Other articles
by authors

[Back to Top]