Des ouvrages pour les adultes et les plus jeunes, qui aident à découvrir et comprendre la culture sourde
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 !
Des ouvrages pour les adultes et les plus jeunes, qui aident à découvrir et comprendre la culture sourde
Notre héros, sous le nom de code "César", documente les tortures au péril de sa vie...
Avec la collection "La BD en classe", le Syndicat national de l’édition propose des supports pédagogiques autour de thématiques précises
Découvrez les auteurs, autrices et libraires qui accompagneront le président du jury Jean-Christophe Rufin !