Séminaires SCALP

Infinite-dimensional systems are systems governed by Partial Differential Equations, in which the independent variables are in general time and space. These systems can model delays, waves, beams, heat transfer, open channels, fluid motion, piezoelectric structures, and chemical reactors, among others. Recently, the port-Hamiltonian formulation has been extended to infinite-dimensional systems, being a tool that encompasses modelling, control, analysis, discretization and reduction. In this seminar, I will present a brief background on Infinite-Dimensional port-Hamiltonian systems with actuators and sensors at the spatial boundaries. Then, I will present an approach for the state estimation using dynamic observers and finally, I will discuss the approach of damping estimation and observer-based damping assignment.

Lieu : grande salle de réunions du bât. D (au fond du couloir) de l'ONERA à Toulouse.

Lien visio : https://rdv.onera.fr/seminaireDTIS

Hardware resources found in modern processor architecture, such as the memory hierarchy, can improve the performance of a task by anticipating its needs based on its execution history and behaviour. Schedulability analyses and policies tend to ignore such behaviours, in favour of conservative assumptions, as their effects are difficult to assess. When they are included, the analysis can be very complex and the measures needed are hard to obtain. In this presentation, we consider abstract timing models that capture stress and sensitivity with respect to the memory hierarchy, at a lower cost than conservative timing models, and their application to task scheduling.
 

Lieu : grande salle de réunions du bât. D (au fond du couloir) de l'ONERA à Toulouse.

Lien visio : https://rdv.onera.fr/seminaireDTIS

Une architecture logicielle a été développé au sein du DTIS pour permettre de simplifier la spécification et la vérification d'un système robotique en écrivant un modèle, appelé "skillset". Cet approche, dite "formelle" dans le sens où l'on peut vérifier mathématiquement un comportement, permet d'accompagner les roboticiens dans le  développement de leurs plateformes. Pour vérifier les skillsets ainsi créé, l'utilisation de réseaux de Petri semble tout adapté: cet ensemble de places avec des jetons, de transitions et d'arcs, qui semble très simple à première vue, permet une grande liberté de modélisation et de vérification. C'est tout particulièrement le cas pour la modélisation de machine à états et de partage de ressources entre elles, ce qui est le cas de nos skillsets. Nous allons voir ensemble comment passer d'un skillset à un réseau de Petri, et toute la magie qui en découle !

Lieu : grande salle de réunions du bât. D (au fond du couloir) de l'ONERA à Toulouse.

Lien visio : https://rdv.onera.fr/seminaireDTIS

Yassine ARIBA (LAAS)

Lieu : grande salle de réunions du bât. D (au fond du couloir) de l'ONERA à Toulouse.

Lien visio : https://rdv.onera.fr/seminaireDTIS

Lieu : grande salle de réunions du bât. D (au fond du couloir) de l'ONERA à Toulouse.

Lien visio : https://rdv.onera.fr/seminaireDTIS

In the study of coordination of multiagent networks, a large number of consensus problems have been studied. In a network consisting of a leader, all followers converge to the leader's states and achieve consensus. On the other hand, in networks containing more than one leader, it is more appropriate to speak of containment control, which consists in making all followers' states converge to a convex hull determined by the leaders' initial states. However, when the network contains multiple leaders and interactions with signed weights, the containment objective is no more achievable. For this case, we address the distributed bipartite containment tracking-control problem for autonomous vehicles described by first and second-order systems, and steered by multiple cooperative and competitive leaders. Because of the existence of multiple leaders and antagonistic interations, the followers' states converge to a residual compact set determined by the cooperative leaders' initial conditions and competitive leaders' symmetric initial conditions. For this bipartite containment set, we establish global exponential stability and we compute the exact equilibria to which all agents converge. We provide strict Lyapunov functions and establish robustness with respect to external disturbances. Finally, we present some first results on the distributed control of a multiagent system interconnected over a signed undirected network and we suppose that agents must keep a certain distance from each other to avoid inter-agent collisions. In order to take into account these constraints, we base our control law on the gradient of a barrier Lyapunov function.

Lieu : salle de réunions CP-NB.03.62 de l'ONERA à Palaiseau.

Lien visio : https://rdv.onera.fr/seminaireDTIS

Lieu : grande salle de réunions du bât. D (au fond du couloir) de l'ONERA à Toulouse.

Lien visio : https://rdv.onera.fr/seminaireDTIS

Nowadays, constellations of satellites have to deal with heterogeneous and complex observation requests, such as one-shot, video, stereoscopic, and periodic requests. In this paper, we consider the problem of scheduling these requests in order to maximize a measure of global utility. To solve this problem, we propose two Large Neighborhood Search algorithms that exploit problem decompositions. These algorithms explore large neighborhoods respectively based on heuristic search and Constraint Programming. The experiments performed on instances generated from real constellation features and weather data show that the approaches improve the state of the art.

Lieu : grande salle de réunions dans la coursive du bâtiment R de l'ONERA à Toulouse.

Lien visio : https://rdv.onera.fr/seminaireDTIS

Avec l'adoption croissante de l'informatique en nuage dans l'industrie, pour l'hébergement des systèmes d'information, les organisations font face à de nouveaux défis dans la conception et l'exploitation des systèmes.
Tandis que certaines décisions prises au début de la conception peuvent être difficiles à changer à cause de l'emprisonnement propriétaire, de nombreux défauts qui affectent divers aspects tels que les coûts d'exploitation du système sont détectés tard, une fois le système développé et mis en ligne.

Ces nombreux défauts freinent l'adoption de l'informatique en nuage. Dans cette présentation, je me concentrerai sur l'aspect financier, d'abord en exposant les difficultés que pose l'évaluation du coût d'un environnement infonuagique, en particulier dans un contexte industriel, dont nous avons collecté les besoins. Puis, je présenterai l'approche que nous proposons afin de répondre à ces besoins, ainsi qu'une implémentation logicielle de cette approche.

Lieu : grande salle de réunions dans la coursive du bâtiment R de l'ONERA à Toulouse.

Lien visio : https://rdv.onera.fr/seminaireDTIS