Ce livre propose des modèles multi-agents réactifs fondés sur un cadre formel pour la vérification de propriétés et leurs validations par la simulation et l''expérimentation en considérant la navigation multi-véhicules comme domaine d''application. La navigation multi-véhicules soulève plusieurs problématiques: navigation autonome, interaction véhicule-véhicule,... Dans ce contexte, nous avons abordé plus particulièrement les aspects suivants: la conduite en convoi (platooning linéaire) et la navigation autonome. Pour cela, nous utilisons le paradigme des systèmes multi-agents réactifs, en utilisant un modèle d''interactions inspiré de la physique. Nous plaçons les systèmes multi-agents réactifs dans un cadre formel pour la vérification des propriétés, compte-tenu des contraintes de sécurité imposées par la classe d''applications cible. Pour faire face à la complexité des modèles, nous proposons une règle et une méthode de vérification compositionnelle. Nous abordons également la question de la validation du système multi-agents par la simulation et l''expérimentation.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Dans ce recueil de 13 nouvelles, la jeune autrice mexicaine frappe fort mais juste
Une fiction historique glaçante et inoubliable, aux confins de l’Antarctique
Découvrez les derniers trésors littéraires de l'année !
"On n'est pas dans le futurisme, mais dans un drame bourgeois ou un thriller atmosphérique"
