Andere Kunden interessierten sich auch für
![Simulation par éléments finis du processus d¿ECAE pour différents modèles de matériaux]( "Simulation par éléments finis du processus d¿ECAE pour différents modèles de matériaux")
Simulation par éléments finis du processus d¿ECAE pour différents modèles de matériaux26,99 €![Etude de la déformation à chaud des alliages modèles nickel niobium]( "Etude de la déformation à chaud des alliages modèles nickel niobium")
Etude de la déformation à chaud des alliages modèles nickel niobium46,99 €![Contribution à l''analyse de testabilité des Systèmes Réactifs]( "Contribution à l''analyse de testabilité des Systèmes Réactifs")
Contribution à l''analyse de testabilité des Systèmes Réactifs51,99 €![Estimation des modèles LPV à Temps Continu]( "Estimation des modèles LPV à Temps Continu")
Estimation des modèles LPV à Temps Continu40,99 €![Technologies pour les architectures basées sur les micro-services]( "Technologies pour les architectures basées sur les micro-services")
Technologies pour les architectures basées sur les micro-services37,99 €![Modèles d'exploitation des réservoirs pour un système multiréservoir]( "Modèles d'exploitation des réservoirs pour un système multiréservoir")
Modèles d'exploitation des réservoirs pour un système multiréservoir29,99 €![Amélioration de la qualité des modèles à l'aide d'informations sémantiques dans le WUM]( "Amélioration de la qualité des modèles à l'aide d'informations sémantiques dans le WUM")
Amélioration de la qualité des modèles à l'aide d'informations sémantiques dans le WUM26,99 €
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.