Cette thèse est une contribution au problème du pronostic des systèmes complexes. Plus précisément, elle concerne l'approche basée modèles et est composée de trois contributions principales. Tout d'abord, dans une première contribution une définition du concept de pronostic est proposée et est positionnée par rapport aux concepts de diagnostic et de diagnostic prédictif. Pour cela, une notion de contrainte temporelle a été introduite afin de donner toute pertinence à la prédiction réalisée. Il a également été montré comment le pronostic est lié à la notion d'accessibilité en temps fini.La deuxième contribution est dédiée à l'utilisation des observateurs à convergence en temps fini pour la problématique du pronostic. Une méthodologie de pronostic est présentée pour les systèmes non linéaires à échelle de temps multiple. Puis, une troisième contribution est introduite par l'utilisation des observateurs par intervalle pour le pronostic. Une méthodologie de pronostic est proposée pour les systèmes non linéaires incertains à échelle de temps multiple. Pour illustrer les différents résultats théoriques, des simulations ont été conduites sur un modèle de comportement d'un oscillateur électromécanique. / This thesis is a contribution to the problem of a complex system prognosis. More precisely, it concerns the model-based prognosis approach and the thesis is divided into three main contributions. First of all, a definition of prognosis concept is proposed as a first contribution and is positionned in reference to the diagnosis and predictive diagnosis concepts. For that, a notion of temporal constraint is introduced to give all pertinence to the prediction achieved. It is also shown how prognosis is linked to the finite time reachability notion. The second contribution is dedicated to the use of finite time convergence observer for the prognosis problem. A prognosis methodology is presented for nonlinear multiple time scale systems. Then, a last contribution is introduced through the use of interval observer for the prognosis problem. A pronognosis methodology is proposed for nonlinear uncertain multiple time scale systems. To illustrate the theorical results, simulations are achieved based on a model of an electromechanical oscillator system.

Cette thèse traite de processus de détérioration en théorie du risque et en biomathématique. En théorie du risque, le processus de détérioration étudié est celui des sinistres supportés par une compagnie d'assurance. Le premier chapitre examine la distribution de Markov-Polya comme loi possible pour modéliser le nombre de sinistres et établit certains liens avec la famille de lois de Katz/Panjer. Nous construisons la loi de Markov-Polya sur base d'un modèle de survenance des sinistres et nous montrons qu'elle satisfait une récurrence élégante. Celle-ci permet notamment de déduire un algorithme efficace pour la loi composée correspondante. Nous déduisons la famille de Katz/Panjer comme famille limite de la loi de Markov-Polya. Le second chapitre traite de la famille dite "Lagrangian Katz" qui étend celle de Katz/Panjer. Nous motivons par un problème de premier passage son utilisation comme loi du nombre de sinistres. Nous caractérisons toutes les lois qui en font partie et nous déduisons un algorithme efficace pour la loi composée. Nous examinons également son indice de dispersion ainsi que son comportement asymptotique. Dans le troisième chapitre, nous étudions la probabilité de ruine sur horizon fini dans un modèle discret avec taux d'intérêt positifs. Nous déterminons un algorithme ainsi que différentes bornes pour cette probabilité. Une borne particulière nous permet de construire deux mesures de risque. Nous examinons également la possibilité de faire appel à de la réassurance proportionelle avec des niveaux de rétention égaux ou différents sur les périodes successives. Dans le cadre de processus épidémiques, la détérioration étudiée consiste en la propagation d'une maladie de type SIE (susceptible - infecté - éliminé). La manière dont un infecté contamine les susceptibles est décrite par des distributions de survie particulières. Nous en déduisons la distribution du nombre total de personnes infectées à la fin de l'épidémie. Nous examinons en détails les épidémies dites de type Markov-Polya et hypergéométrique. Nous approximons ensuite cette loi par un processus de branchement. Nous étudions également un processus de détérioration similaire en théorie de la fiabilité où le processus de détérioration consiste en la propagation de pannes en cascade dans un système de composantes interconnectées.

No description available.

Les travaux de cette thèse portent sur la modélisation et l’étude numérique dessystèmes couplés de deux équations de Schrödinger non linéaires. Dans un premiertemps, nous considérons un système de deux équations de Schrödinger non linéairesPT −symétrique qui modélise des phénomèmes de fibre optique biréfringent. Lecomportement de la solution est étudié dans certains espaces comme l’espace de SobolevH1. De plus, l’étude numérique du modèle est faite afin de valider les résultatsanalytiques et, montre clairement le comportement qualitatif de la solution dansles espaces choisis. Pour ce même modèle en dimension supérieure, des conditionssuffisantes sont établies pour que la solution explose en temps fini pour certainesnon linéarités et pour le cas général de la non linéarité focalisante, nous faisonsl’étude numérique du modéle et nous présentons certains cas d’explosion de la solutionen temps fini et aussi des solutions du modèle qui existent tout le temps.D’autre part, nous adressons un nouveau modèle d’équations discrètes de Schrödingernon linéaires PT -symétrique. Un tel modèle décrit la dynamique d’une chaînede pendules faiblement couplés près d’une résonance entre une force paramétriqueet la fréquence linéaire des pendules. En vue d’étudier la stabilité des pendules, desconditions suffisantes ont été établies sur les paramètres du modèle pour que la solutiond’équilibre zéro soit linéairement et non linéairement stable. Des expériencesnumériques sont présentées pour valider les résultats analytiques et pour caractériserla déstabilisation de la chaîne de pendules couplés dans la région d’instabilité. / The works of this thesis concern the modeling and the numerical study of thesystems of two coupled nonlinear Schrödinger equations. At first, we considered aparity-time-symmetric system of the two coupled nonlinear Schrödinger (NLS) equationsthat modeled phenomenons in birefringent nonlinear optical fiber. We studythe behavior of the solution in some spaces like the Sobolev space H1. And we studythe numerical aspect of the model which clearly shows the behavior of the solutionin the chosen space. For the same model in higher dimension, we establish sufficientconditions for the initial conditions to blow up in finite time for some nonlinearityand for others we do the numerical study of the model and we present some casesof blowing up of the solution in finite time and also of the solutions of the modelthat exist all the time. On the other hand, we address a new model of discrete nonlinearSchrödinger equations PT -symmetric. A such model describes dynamics inthe chain of weakly coupled pendula pairs near the resonance between the parametricallydriven force and the linear frequency of each pendulum. In order to studythe stability of the pendulums, we establish sufficient conditions on the parametersof the model so that the equilibrium solution is stable. Numerical experiments arepresented to validate the analytical results and to characterize the unstabilizationof the coupled pendulum chain in the region of instability.

Dans cette thèse, j'étudie des équations aux dérivées partielles qui modélisent des phénomènes biologiques.Dans la première partie, je m'intéresse à une variante des équations de Keller-Segel qui modélise la chimiotaxie des micro-organismes et vise à expliquer la façon dont des colonies bactériennes s'auto-organisent et forment, en fonction de la quantité de nutriments disponibles, différents motifs géométriques. Pour le modèle en question, je construis des solutions et j'étudie leur comportement en temps long. Je montre que certaines solutions explosent en temps fini.Dans la deuxième partie, je m'intéresse au modèle Intègre et tire avec bruit et fuite non-linéaire, une équation de type Fokker-Planck qui décrit l'activité d'un réseau de neurones. J'améliore certaines estimées sur l'existence globale et l'explosion en temps fini et je démontre des résultats pour une variante du modèle avec un délai synaptique : existence globale, comportement en temps long, recherche de solutions périodiques.Dans la troisième partie, je propose une modélisation d'abord stochastique, ensuite déterministe, pour le phénomène d'adaptation des dommages à l'ADN chez les eucaryote. Des simulations numériques sont proposées et commentées. / In this thesis, I study some partial differential equations modelling biological phenomena.In the first part, I am concerned with a variant of the Keller-Segel equations which models chemotaxis in microorganisms and aims at understanding the way they self-organise and form, depending upon the density of nutrients, different geometrical patterns. For this model, I construct solutions and I study their long time behaviour. I show that some solutions blow-up in finite time.In the second part, I study the model Nonlinear Noisy leaky integrate and fire, a Fokker-Planck type equation which describes the activity of a neural network. I upgrade some estimates on global existence and finite time blow-up and I prove results for a variant of the model in which a synaptic delay is added : global existence, long time behaviour, search of periodic solutions.In the third part, I propose a stochastic model, and then a deterministic model, for the phenomenon of adaptation to DNA damage in eukaryotes. Numerical simulations are proposed and discussed.

Dans le cadre de la thèse des modèles physico-mathématiques pour des microsystèmes électromécaniques avec une permittivité générale sont développés et analysés par des méthodes mathématiques modernes du domaine des équations aux dérivées partielles. En particulier ces systèmes sont à frontière libre et pour conséquence difficiles à traiter. Des méthodes numériques ont été développées pour valider les résultats analytiques obtenus. / In the framework of this thesis physical/mathematical models for microelectromechanical systems with general permittivity have been developed and analysed with modern mathematical methods from the domain of partial differential equations. In particular these systems are moving boundary problems and thus difficult to handle. Numerical methods have been developed in order to validate the obtained analytical results.

Thermodynamic processes in finite time are in general irreversible. But there are chances to avoid irreversibility. For instance, there are canonical ensembles of special quantum systems with a given probability distribution describing the likelihood to find the system at time t=0 in a particular state with energy E_i(0), which can be controlled in a specific way, such that the initial probability distribution is recovered at the end of the process (t=T), but the state energies did change, hence E_i(0) is not equal to E_i(T). This allows to change thermodynamic quantities (expectation values) adiabatically, reversibly and in finite time. Such special processes are called Shortcuts to Adiabaticity. The presented thesis analyzes the origin of these shortcuts utilizing special Hamiltonian systems with dynamical algebra. Their main feature is to provide canonical invariance, which means a canonical ensemble stays canonical under Hamiltonian dynamics. This invariance carried by the dynamical algebra will be discussed using Lie group theory. In addition, the persistence of the dynamical algebra with respect to calculating expectation values will be deduced. This allows to benefit from all intrinsic symmetries within the discussion of ensemble trajectories. In consequence, these trajectories will evolve under Hamiltonian dynamics on a specific manifold given by the so-called Casimir companion. In addition, the deformation of this manifold due to non-Hamiltonian (dissipative) dynamics will be discussed, which allows to present a framework for modeling irreversible processes based on Hamiltonian systems with dynamical algebra. An application of this framework based on the parametric harmonic oscillator will be presented by determining time-optimal controls for transitions between two equilibrium as well as between non-equilibrium and equilibrium states. The latter one will lead to time-optimal equilibration strategies for a statistical ensemble of parametric harmonic oscillators. / Thermodynamische Prozesse in endlicher Zeit sind im Allgemeinen irreversibel. Es gibt jedoch Möglichkeiten, diese Irreversibilität zu umgehen. Ein kanonisches Ensemble eines speziellen quantenmechanischen Systems kann zum Beispiel auf eine ganz spezielle Art und Weise gesteuert werden, sodass nach endlicher Zeit T wieder eine kanonische Besetzungverteilung hergestellt ist, sich aber dennoch die Energie des Systems geändert hat (E(0) ungleich E(T)). Solche Prozesse erlauben das Ändern thermodynamischer Größen (Ensemblemittelwerte) der erwähnten speziellen Systeme in endlicher Zeit und auf eine adiabatische und reversible Art. Man nennt diese Art von speziellen Prozessen Shortcuts to Adiabaticity und die speziellen Systeme hamiltonsche Systeme mit dynamischer Algebra. Die vorliegende Dissertation hat zum Ziel den Ursprung dieser Shortcuts to Adiabaticity zu analysieren und eine Methodik zu entwickeln, die es erlaubt irreversible thermodynamische Prozesse adequat mittels dieser speziellen Systeme zu modellieren. Dazu wird deren besondere Eigenschaft ausgenutzt, die kanonische Invarianz, d.h. ein kanonisches Ensemble bleibt kanonisch bezüglich hamiltonscher Dynamik. Der Ursprung dieser Invarianz liegt in der dynamischen Algebra, die mit Hilfe der Theorie der Lie-Gruppen näher betrachtet wird. Dies erlaubt, eine weitere besondere Eigenschaft abzuleiten: Die Ensemblemittelwerte unterliegen ebenfalls den Symmetrien, die die dynamische Algebra widerspiegelt. Bei näherer Betrachtung befinden sich alle Trajektorien der Ensemblemittelwerte auf einer Mannigfaltigkeit, die durch den sogenannten Casimir Companion beschrieben wird. Darüber hinaus wird nicht-hamiltonsche/dissipative Dynamik betrachtet, welche zu einer Deformation der Mannigfaltigkeit führt. Abschließend wird eine Zusammenfassung der grundlegenden Methodik zur Modellierung irreversibler Prozesse mittels hamiltonscher Systeme mit dynamischer Algebra gegeben. Zum besseren Verständnis wird ein ausführliches Anwendungsbeispiel dieser Methodik präsentiert, in dem die zeitoptimale Steuerung eines Ensembles des harmonischen Oszillators zwischen zwei Gleichgewichtszuständen sowie zwischen Gleichgewichts- und Nichtgleichgewichtszuständen abgeleitet wird.

Dans cette thèse, nous étudions l’équation parabolique non linéaire ∂ t u = ∆u + a |x|⎺⥾ |u|ᵅ u, t > 0, x ∈ Rᴺ \ {0}, N ≥ 1, ⍺ ∈ R, α > 0, 0 < Ƴ < min(2,N) et avec une donnée initiale u(0) = φ. On établit l’existence et l’unicité locale dans Lq(Rᴺ) et dans Cₒ(Rᴺ). En particulier, la valeur q = N ⍺/(2 − γ) joue un rôle critique. Pour ⍺ > (2 − γ)/N, on montre l’existence de solutions auto-similaires globales avec données initiales φ(x) = ω(x) |x|−(2−γ)/⍺, où ω ∈ L∞(Rᴺ) homogène de degré 0 et ||ω||∞ est suffisamment petite. Nous montrons ainsi que si φ(x)∼ω(x) |x| ⎺(²⎺⥾)/⍺ pour |x| grande, alors la solution est globale et asymptotique dans L∞(Rᴺ) à une solution auto-similaire de l’équation non linéaire. Tandis que si φ(x)∼ω(x) |x| (x)|x|−σ pour des |x| grandes avec (2 − γ)/⍺ < σ < N, alors la solution est globale, mais elle est asymptotique dans L∞(Rᴺ) à eᵗ∆(ω(x) |x|−σ). L’équation avec un potentiel plus général, ∂ t u = ∆u + V(x) |u|ᵅ u, V(x) |x |⥾ ∈ L∞(Rᴺ), est également étudiée. En particulier, pour des données initiales φ(x)∼ω(x) |x| ⎺(²⎺⥾)/⍺, |x| grande, nous montrons que le comportement à grand temps est linéaire si V est à support compact au voisinage de l’origine, alors qu’il est non linéaire si V est à support compact au voisinage de l’infini. Nous étudions également le système non linéaire ∂ t u = ∆u + a |x|⎺⥾ |v|ᴾ⎺¹v, ∂ t v = ∆v + b |x|⎺ ᴾ |u|q⎺¹ u, t > 0, x ∈ Rᴺ \ {0}, N ≥ 1, a,b ∈ R, 0 < y < min(2,N)? 0 < p < min(2,N), p,q > 1. Sous des conditions sur les paramètres p, q, γ et ρ nous montrons l’existence et l’unicité de solutions globales avec données initiales petites par rapport à certaines normes. En particulier, on montre l’existence de solutions auto-similaires avec donnée initiale Φ = (φ₁, φ₂), où φ₁, φ₂ sont des données initiales homogènes. Nous montrons également que certaines solutions globales sont asymptotiquement auto-similaires. Comme deuxième objectif, nous considérons l’équation de la chaleur non linéaire ut = ∆u + |u|ᴾ⎺¹u - |u| q⎺¹u, avec t ≥ 0 et x ∈ Ω, la boule unité de Rᴺ, N ≥ 3, avec des conditions aux limites de Dirichlet. Soit h une solution stationnaire à symétrie radiale avec changement de signe de (E). On montre que la solution de (E) avec donnée initiale λh explose en temps fini si |λ − 1| > 0 est suffisamment petit et si 1 < q < p < Ps = N+2/N−2 et p suffisamment proche de Ps. Ceci prouve que l’ensemble des données initiales pour lesquelles la solution est globale n’est pas étoilé au voisinage de 0. / In this thesis, we study the nonlinear parabolic equation ∂ t u = ∆u + a |x|⎺⥾ |u|ᵅ u, t > 0, x ∈ Rᴺ \ {0}, N ≥ 1, ⍺ ∈ R, α > 0, 0 < Ƴ < min(2,N) and with initial value u(0) = φ. We establish local well-posedness in Lq(Rᴺ) and in Cₒ(Rᴺ). In particular, the value q = N ⍺/(2 − γ) plays a critical role.For ⍺ > (2 − γ)/N, we show the existence of global self-similar solutions with initial values φ(x) = ω(x) |x|−(2−γ)/⍺, where ω ∈ L∞(Rᴺ) is homogeneous of degree 0 and ||ω||∞ is sufficiently small. We then prove that if φ(x)∼ω(x) |x| ⎺(²⎺⥾)/⍺ for |x| large, then the solution is global and is asymptotic in the L∞-norm to a self-similar solution of the nonlinear equation. While if φ(x)∼ω(x) |x| (x)|x|−σ for |x| large with (2 − γ)/α < σ < N, then the solution is global but is asymptotic in the L∞-norm toe t(ω(x) |x|−σ). The equation with more general potential, ∂ t u = ∆u + V(x) |u|ᵅ u, V(x) |x |⥾ ∈ L∞(Rᴺ), is also studied. In particular, for initial data φ(x)∼ω(x) |x| ⎺(²⎺⥾)/⍺, |x| large , we show that the large time behavior is linear if V is compactly supported near the origin, while it is nonlinear if V is compactly supported near infinity. we study also the nonlinear parabolic system ∂ t u = ∆u + a |x|⎺⥾ |v|ᴾ⎺¹v, ∂ t v = ∆v + b |x|⎺ ᴾ |u|q⎺¹ u, t > 0, x ∈ Rᴺ \ {0}, N ≥ 1, a,b ∈ R, 0 < y < min(2,N)? 0 < p < min(2,N), p,q > 1. Under conditions on the parameters p, q, γ and ρ we show the existence and uniqueness of global solutions for initial values small with respect of some norms. In particular, we show the existence of self-similar solutions with initial value Φ = (φ₁, φ₂), where φ₁, φ₂ are homogeneous initial data. We also prove that some global solutions are asymptotic for large time to self-similar solutions. As a second objective we consider the nonlinear heat equation ut = ∆u + |u|ᴾ⎺¹u - |u| q⎺¹u, where t ≥ 0 and x ∈ Ω, the unit ball of Rᴺ, N ≥ 3, with Dirichlet boundary conditions. Let h be a radially symmetric, sign-changing stationary solution of (E). We prove that the solution of (E) with initial value λ h blows up in finite time if |λ − 1| > 0 is sufficiently small and if 1 < q < p < Ps = N+2/N−2 and p sufficiently close to Ps. This proves that the set of initial data for which the solution is global is not star-shaped around 0.

L’objectif principal de cette thèse est d’étudier le problème du contrôle de suivi distribué pour les systèmes de formation de multi-robots à contrainte non holonomique. Ce contrôle vise à entrainer une équipe de robots mobile de type monocycle pour former une configuration de formation désirée avec son centroïde se déplaçant avec une autre trajectoire de référence dynamique et pouvant être spécifié par le leader virtuel ou humain. Le problème du contrôle de suivi a été résolu au cours de cette thèse en développant divers contrôleurs distribués pratiques avec la considération d’un taux de convergence plus rapide, une précision de contrôle plus élevée, une robustesse plus forte, une estimation du temps de convergence explicite et indépendante et moins de coût de communication et de consommation d’énergie. Dans la première partie de la thèse nous étudions d’abord au niveau du chapitre 2 la stabilité à temps fini pour les systèmes de formation de multi-robots. Une nouvelle classe de contrôleur à temps fini est proposée dans le chapitre 3, également appelé contrôleur à temps fixe. Nous étudions les systèmes dynamiques de suivi de formation de multi-robots non holonomiques dans le chapitre 4. Dans la deuxième partie, nous étudions d'abord le mécanisme de communication et de contrôle déclenché par l'événement sur les systèmes de suivi de la formation de multi-robots non-holonomes au chapitre 5. De plus, afin de développer un schéma d'implémentation numérique, nous proposons une autre classe de contrôleurs périodiques déclenchés par un événement basé sur un observateur à temps fixe dans le chapitre 6. / The main aim of this thesis is to study the distributed tracking control problem for the multi-robot formation systems with nonholonomic constraint, of which the control objective it to drive a team of unicycle-type mobile robots to form one desired formation configuration with its centroid moving along with another dynamic reference trajectory, which can be specified by the virtual leader or human. We consider several problems in this point, ranging from finite-time stability andfixed-time stability, event-triggered communication and control mechanism, kinematics and dynamics, continuous-time systems and hybrid systems. The tracking control problem has been solved in this thesis via developing diverse practical distributed controller with the consideration of faster convergence rate, higher control accuracy, stronger robustness, explicit and independent convergence time estimate, less communication cost and energy consumption.In the first part of the thesis, we first study the finite-time stability for the multi-robot formation systems in Chapter 2. To improve the pior results, a novel class of finite-time controller is further proposed in Chapter 3, which is also called fixed-time controller. The dynamics of nonholonomic multi-robot formation systems is considered in Chapter 4. In the second part, we first investigate the event-triggered communication and control mechanism on the nonholonomic multi-robot formation tracking systems in Chapter 5. Moreover, in order to develop a digital implement scheme, we propose another class of periodic event-triggered controller based on fixed-time observer in Chapter 6.

In the guidance literature, minimizing miss distance along with optimizing the energy usage had been an objective for several decades. In current day applications, additional terminal performance such as impact angle and impact time are of paramount importance. These terminal constraints increase warhead effectiveness and survivability of the interceptor. This thesis contributes to the design of guidance laws addressing terminal constraints such as impact angle, impact time, and both impact time as well as impact angle, in addition to interception of targets. In the first part of the thesis, the guidance laws which ensure the alignment of the interceptor at a desired impact angle within a finite time is proposed using different variants of sliding mode control(SMC).The impact angle is first redefined in terms of line-of-sight angle and then the impact angle problem is converted to a simpler problem of controlling line-of-sight angle and their rates. The sliding mode capturability and interpretation of the guidance laws are presented. In order to cater to very large heading angle errors, which give rise to negative closing speed initially, modifications to the guidance laws are also suggested. The modifications to the guidance laws for avoiding singularities, which may be encountered during implementation, due to the inherent nature of terminal SMC, are suggested. However, the guidance laws, which alleviates the possibility of such singularities completely, are also designed by using non singular terminal SMC. The two loop guidance and control, for a skid-to-turn cruciform interceptor in the pitch plane, is also proposed with an autopilot designed using the concept of dynamic SMC. The guidance laws addressing impact angle constraint for three dimensional scenarios are also presented. Unlike the usual approach of decoupling the three dimensional engagement in to two mutually orthogonal planar engagements, the guidance laws are derived using coupled engagement dynamics. These guidance laws are designed using conventional and non singular terminal SMC and provide asymptotic and finite time alignment of the intercept or to the desired impact angles, respectively. Next, the SMC based guidance laws which ensure the interception of targets at pre-specified impact times is proposed in this thesis. The guidance law is first designed for stationary targets and then extended to constant velocity targets using the notion of predicted interception point. A switching surface is designed using the concepts of collision course and time-to-go with non-linear engagement dynamics and its role in achieving the objectives is also discussed. In order to account for large heading angle errors and even for negative initial closing speeds, different methods of estimation of time-to-go, resulting in two different guidance laws, are used. Unlike the existing guidance laws, the proposed guidance laws achieve an impact time even less than its initially estimated value. The flexibility in selecting a desired impact time is also exploited using the maximum available acceleration information. A cooperative salvo attack strategy, based on the proposed impact time guidance law, with a desired impact time chosen in real time using a centralized coordination algorithm, is proposed for stationary targets. The coordination manager determines a common impact time based on time-to-goof the interceptors, by minimizing the total switching surface deviations which in turn reduces the control effort. The thesis also proposes a SMC based guidance strategy which addresses impact angle and impact time constraints simultaneously. This guidance scheme is based on switching between impact time and impact angle guidance laws based on certain conditions. Unlike existing impact time guidance laws, the proposed guidance strategy takes into account the curvature of the trajectory due to the impact angle requirement. The interceptor first corrects its course to nullify the impact time error and then aims to achieve interception with desired impact angle. In order to reduce the transitions between the two guidance laws, a novel hysteresis loop is introduced in the switching conditions. Initially stationary targets are considered, and later the same guidance scheme is extended to constant velocity targets using the notion of predicted interception point. Theclaimsofalltheguidancelawsarevalidatedwithextensivesimulationsandtheir performances are compared with existing guidance laws. Although all the guidance laws derived in the thesis are based on the assumption of constant speed interceptors, their performances are evaluated with a time-varying speed interceptor model, subjected to aerodynamic conditions, to validate their efficacy. The implementation of impact time guidance on time-varying speed interceptors is a formidable challenge in the guidance literature. Such implementations have also been presented in the thesis after introducing the notion of average speed and shown to yield satisfactory performance.