In this thesis, we discuss models for multi-agent dynamical systems. We study the tracking/migration problem for flocks and a theoretical framework for design and analysis of flocking algorithm is presented. The interactions between agents in the systems are denoted by potential functions that act as distance functions, hence, the design of proper potential functions are crucial in modelling and analyzing the flocking problem for multi-agent dynamical systems. Constructions for both non-smooth potential functions and smooth potential functions with finite cut-off are investigated in detail. The main contributions of this thesis are to extend the literature of continuous flocking models with impulsive control and delay. Lyapunov function techniques and techniques for stability of continuous and impulsive switching system are used, we study the asymptotic stability of the equilibrium of our models with impulsive control and discovery that by applying impulsive control to Olfati-Saber's continuous model, we can remove the damping term and improve the performance by avoiding the deficiency caused by time delay in velocity sensing. Additionally, we discuss both free-flocking and constrained-flocking algorithm for multi-agent dynamical system, we extend literature results by applying velocity feedbacks which are given by the dynamical obstacles in the environment to our impulsive control and successfully lead to flocking with obstacle avoidance capability in a more energy-efficient way. Simulations are given to support our results, some conclusions are made and future directions are given.

In this thesis, we discuss models for multi-agent dynamical systems. We study the tracking/migration problem for flocks and a theoretical framework for design and analysis of flocking algorithm is presented. The interactions between agents in the systems are denoted by potential functions that act as distance functions, hence, the design of proper potential functions are crucial in modelling and analyzing the flocking problem for multi-agent dynamical systems. Constructions for both non-smooth potential functions and smooth potential functions with finite cut-off are investigated in detail. The main contributions of this thesis are to extend the literature of continuous flocking models with impulsive control and delay. Lyapunov function techniques and techniques for stability of continuous and impulsive switching system are used, we study the asymptotic stability of the equilibrium of our models with impulsive control and discovery that by applying impulsive control to Olfati-Saber's continuous model, we can remove the damping term and improve the performance by avoiding the deficiency caused by time delay in velocity sensing. Additionally, we discuss both free-flocking and constrained-flocking algorithm for multi-agent dynamical system, we extend literature results by applying velocity feedbacks which are given by the dynamical obstacles in the environment to our impulsive control and successfully lead to flocking with obstacle avoidance capability in a more energy-efficient way. Simulations are given to support our results, some conclusions are made and future directions are given.

No description available.

When two or more chaotic systems are coupled, they may exhibit synchronized chaotic oscillations. The synchronization of chaos is usually understood as the regime of chaotic oscillations in which the corresponding variables or coupled systems are equal to each other. This kind of synchronized chaos is most frequently observed in systems specifically designed to be able to produce this behaviour. In this thesis, one particular type of synchronization, called impulsive synchronization, is investigated and applied to low dimensional chaotic, hyperchaotic and spatiotemporal chaotic systems. This synchronization technique requires driving one chaotic system, called response system, by samples of the state variables of the other chaotic system, called drive system, at discrete moments. Equi-Lagrange stability and equi-attractivity in the large property of the synchronization error become our major concerns when discussing the dynamics of synchronization to guarantee the convergence of the error dynamics to zero. Sufficient conditions for equi-Lagrange stability and equi-attractivity in the large are obtained for the different types of chaos-generating systems used. The issue of robustness of synchronized chaotic oscillations with respect to parameter variations and time delay, is also addressed and investigated when dealing with impulsive synchronization of low dimensional chaotic and hyperchaotic systems. Due to the fact that it is impossible to design two identical chaotic systems and that transmission and sampling delays in impulsive synchronization are inevitable, robustness becomes a fundamental issue in the models considered. Therefore it is established, in this thesis, that under relatively large parameter perturbations and bounded delay, impulsive synchronization still shows very desired behaviour. In fact, criteria for robustness of this particular type of synchronization are derived for both cases, especially in the case of time delay, where sufficient conditions for the synchronization error to be equi-attractivity in the large, are derived and an upper bound on the delay terms is also obtained in terms of the other parameters of the systems involved. The theoretical results, described above, regarding impulsive synchronization, are reconfirmed numerically. This is done by analyzing the Lyapunov exponents of the error dynamics and by showing the simulations of the different models discussed in each case. The application of the theory of synchronization, in general, and impulsive synchronization, in particular, to communication security, is also presented in this thesis. A new impulsive cryptosystem, called induced-message cryptosystem, is proposed and its properties are investigated. It was established that this cryptosystem does not require the transmission of the encrypted signal but instead the impulses will carry the information needed for synchronization and for retrieving the message signal. Thus the security of transmission is increased and the time-frame congestion problem, discussed in the literature, is also solved. Several other impulsive cryptosystems are also proposed to accommodate more solutions to several security issues and to illustrate the different properties of impulsive synchronization. Finally, extending the applications of impulsive synchronization to employ spatiotemporal chaotic systems, generated by partial differential equations, is addressed. Several possible models implementing this approach are suggested in this thesis and few questions are raised towards possible future research work in this area.

When two or more chaotic systems are coupled, they may exhibit synchronized chaotic oscillations. The synchronization of chaos is usually understood as the regime of chaotic oscillations in which the corresponding variables or coupled systems are equal to each other. This kind of synchronized chaos is most frequently observed in systems specifically designed to be able to produce this behaviour. In this thesis, one particular type of synchronization, called impulsive synchronization, is investigated and applied to low dimensional chaotic, hyperchaotic and spatiotemporal chaotic systems. This synchronization technique requires driving one chaotic system, called response system, by samples of the state variables of the other chaotic system, called drive system, at discrete moments. Equi-Lagrange stability and equi-attractivity in the large property of the synchronization error become our major concerns when discussing the dynamics of synchronization to guarantee the convergence of the error dynamics to zero. Sufficient conditions for equi-Lagrange stability and equi-attractivity in the large are obtained for the different types of chaos-generating systems used. The issue of robustness of synchronized chaotic oscillations with respect to parameter variations and time delay, is also addressed and investigated when dealing with impulsive synchronization of low dimensional chaotic and hyperchaotic systems. Due to the fact that it is impossible to design two identical chaotic systems and that transmission and sampling delays in impulsive synchronization are inevitable, robustness becomes a fundamental issue in the models considered. Therefore it is established, in this thesis, that under relatively large parameter perturbations and bounded delay, impulsive synchronization still shows very desired behaviour. In fact, criteria for robustness of this particular type of synchronization are derived for both cases, especially in the case of time delay, where sufficient conditions for the synchronization error to be equi-attractivity in the large, are derived and an upper bound on the delay terms is also obtained in terms of the other parameters of the systems involved. The theoretical results, described above, regarding impulsive synchronization, are reconfirmed numerically. This is done by analyzing the Lyapunov exponents of the error dynamics and by showing the simulations of the different models discussed in each case. The application of the theory of synchronization, in general, and impulsive synchronization, in particular, to communication security, is also presented in this thesis. A new impulsive cryptosystem, called induced-message cryptosystem, is proposed and its properties are investigated. It was established that this cryptosystem does not require the transmission of the encrypted signal but instead the impulses will carry the information needed for synchronization and for retrieving the message signal. Thus the security of transmission is increased and the time-frame congestion problem, discussed in the literature, is also solved. Several other impulsive cryptosystems are also proposed to accommodate more solutions to several security issues and to illustrate the different properties of impulsive synchronization. Finally, extending the applications of impulsive synchronization to employ spatiotemporal chaotic systems, generated by partial differential equations, is addressed. Several possible models implementing this approach are suggested in this thesis and few questions are raised towards possible future research work in this area.

The motivation of this research is to propose innovative nonlinear and optimal control design algorithms, which can be used in real life. The algorithms need to be computationally efficient, should deal with control constraints and should operate under state feedback. To show the efficacy of algorithms, automatic therapy for different cancer problems is chosen to be the field of application. In this thesis, first an advanced control design technique called ’optimal dynamic in-version’ has been successfully experimented with control constraints. The proposed approach has subsequently been shown to be quite effective in proposing automatic drug delivery schemes with simultaneous application of chemo and immunotherapy drugs for complete elimination of cancer cells in melanoma (a skin cancer) as well as glioma (a brain cancer). As per the current practice, the amount of drug dosages are generally given based on some apriori statistical study with a very small sample size, which in reality may either also lead to drug toxicity (due to excessive drug) or may become ineffective (due to insufficient drug) for a particular patient. Subject to the fidelity of the mathematical model (which has been taken from published literature), it has been shown in this thesis that nonlinear control theory can be used for computation of drug dosages, which can then be used in a feedback strategy, thereby customizing the drug for the patient’s condition, to cure the disease successfully. Next, attention has been shifted to impulsive control of systems. Such impulsive con-trol systems appear in many other applications such as control of swings, control of spacecrafts and rockets using reaction control system, radiotherapy in cancer treatment and so on. Two impulsive control design philosophies are proposed in this thesis. In one approach, recently proposed model predictive static programming (MPSP) has been extended for impulsive control systems and has been named as impulsive-MPSP (I-MPSP). In other approach, another recent development, namely the Pseudospectral method has been utilized to consider both the magnitude of the control impulses as well as the time instants at which they are applied as the decision variables. It can be noted, that to the best of the knowledge of the author, the time instants of control application, being considered as decision variables is being proposed for the first time in the nonlinear and optimal control framework. Both I-MPSP and Pseudospectral methods are computationally quite efficient and hence can be used for feedback control (I-MPSP happens to be computationally more efficient than the Pseudospectral method). Applicability of the proposed extensions have been shown by solving various benchmark problems such as (i) a scalar linear problem, (ii) Van der Pol’s oscillator problem and (iii) an inverted pendulum problem. Finally the applicability of the proposed I-MPSP strategy has been shown by solving challenging problems such as radiotherapy treatment of head and neck and adenocarcimona cancers. Radio-therapy model is considered with oxygen effect, in which radiosensitivity parameters are considered in different forms. Head and neck cancer is considered with constant radiosensitivity parameters and adenocarcinoma is considered with constant, linear, quadratic and saturation model of radiosensitivity parameters. Note that toxicity constraints on normal tissue, which are nonlinear control constraints, are also successfully incorporated in this control design.

Cette thèse s’intéresse au calcul de solutions globales de problèmes de commande optimaleen boucle ouverte. La méthodologie générale se base sur l’approche par les moments, oùun problème d’optimisation est relâché en un problème généralisé des moments, dont unehiérarchie de relaxations semi-définies peut être résolue numériquement. L’approche esttout d’abord appliquée aux problèmes impulsionnels linéaires à temps variant, en modélisantle contrôle par une mesure. Les conditions semi-définies qui en résultent permettentde s’affranchir complètement des difficultés liées à la discrétisation temporelle. Ensuite, ense basant sur le formalisme des mesures d’occupations, la méthode peut être étendue auxsystèmes impulsionnels non-linéaires, et fournit une suite monotone de bornes inférieuresau coût optimal. Enfin, les résultats précédents peuvent être transposés aux systèmes àcommutation, en modélisant chaque mode par une mesure d’occupation associée. Ceci permetd’obtenir des gains substantiels en charge de calcul par rapport à l’approche classiqueoù l’espace de contrôle est mesuré / This thesis details a global method for optimal control of open-loop systems. This is doneby relaxing the control problem as a generalized moment problem, which can be solvednumerically by a hierarchy of semi-definite relaxations. The approach is first applied tothe impulsive control of linear time varying systems, by modeling the controls by a measure.The resulting semi-definite conditions circumvent time discretiziation and relateddifficulties. By the use of occupation measures, the method is then extended to a classof impulsive non-linear problems. This results in a monotone sequence of lower boundsto the original control problem. Finally, those results are transposed to switched system,by modeling each mode by a corresponding occupation measure. This allows for largecomputational gains with respect to the classical approach, where the control space ismeasured