Theoretical Computer Science
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
CIRCA: the cooperative intelligent real-time control architecture
CIRCA: the cooperative intelligent real-time control architecture
Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Multi-Agent Planning as a Coordination Model for Self-Organized Systems
IAT '03 Proceedings of the IEEE/WIC International Conference on Intelligent Agent Technology
Framework for multi-agent planning based on hybrid automata
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
From team plan to individual plans: a petri net-based approach
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Adaptive conceding strategies for automated trading agents in dynamic, open markets
Decision Support Systems
Formal methods in agent-oriented software engineering
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Model of Petri net for representing an agent plan in dynamic environment
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
| Hi-index | 0.00 |
This paper proposes a multi-agent planning framework. It focuses on two fundamental aspects in dynamic context: the multi-agent plan validation and the control that takes into account the flexibility of agents behaviour. This framework is based on a dynamic management of control sets of the multi-agent plans. These control sets are pertinent constraints that enable to control and validate the multi-agent plans execution. We present the mechanisms of control and the validation criteria in multi-agent planning applied to our context of tactical aircraft simulation.