We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Systèmes Multi Agents
systèmes multi-agents
The energy management system under development is based on Multi Agent Systems.
Le système de gestion de l'énergie en cours de développement repose sur des Systèmes Multi Agents.
The thesis focuses on the problem of formal modeling and automatic and semi-automatic verification of properties in Multi Agent Systems.
La thèse s'intéresse à la problématique de modélisation formelle et de vérification automatique et semi-automatique de propriétés pour les Systèmes Multi Agents.
For significant and sustained contributions to the research on autonomous agents and multi agent systems.
Pour des contributions significatives et soutenues à la recherche sur les agents autonomes et les systèmes multi-agents.
Hoverball is an emerging project coming out of the idea to create a playful real time simulator for Multi Agent Systems.
Hoverball est un jeune projet partant de l'idée de créer un simulateur ludique à temps réel pour les systèmes multi-agents.
The implementation of your platform M2M and MAS (multi agent systems), the complex collaborative systems with distributed intelligence (web 3.0).
L'implémentation de votre plateforme M2M et SMA (systèmes multi agents), les systèmes collaboratifs complexes à intelligence répartie (web 3.0).
Abstract: Petri nets (PN) are currently the most promising approaches to model and to verify complex systems such as Multi Agent Systems (MAS).
Résumé : Les Réseaux de Petri (RdP) sont actuellement les approches les plus prometteuses pour modéliser et vérifier les systèmes complexes tels que les Systèmes Multi Agents (SMA).
More specifically, the objective is to propose a new original formal model based on Petri nets, Agents Petri nets (APN), which express consistently more accurate a Multi Agent Systems.
Plus précisément, l'objectif consiste à proposer un nouveau modèle formel original basé sur les réseaux de Petri, les Réseaux de Petri à Agents (RdPA), qui permettent d'exprimer de manière consistante et plus précise les systèmes Multi Agents.
This class of model allows focusing on the formal verification of classical properties such as alertness or absence of deadlock in the context of Multi Agent Systems.
Cette classe de modèle permet de s'intéresser à la vérification formelle de propriétés classiques comme notamment la vivacité ou l'absence d'interblocage dans le cadre des Systèmes Multi-Agent.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.