Sciweavers

APN
2008
Springer
13 years 10 months ago
A Monitoring Toolset for Paose
Abstract Paose (Petri net-based Agent-Oriented Software Engineering) combines the paradigm of AOSE (Agent-Oriented Software Engineering, see [10]) with the expressive power of Petr...
Lawrence Cabac, Till Dörges, Heiko Rölke
APN
2008
Springer
13 years 10 months ago
Synthesis of Petri Nets from Scenarios with VipTool
The aim of this tool paper is twofold: First we show that VipTool [9, 2] can now synthesize Petri nets from partially ordered runs. To integrate this extension and further new func...
Robin Bergenthum, Jörg Desel, Robert Lorenz, ...
APN
2008
Springer
13 years 10 months ago
HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets
HYPENS is an open source tool to simulate timed discrete, continuous and hybrid Petri nets. It has been developed in Matlab to allow designer and user to take advantage of several...
Fausto Sessego, Alessandro Giua, Carla Seatzu
ANTSW
2008
Springer
13 years 10 months ago
Modeling Phase Transition in Self-organized Mobile Robot Flocks
We implement a self-organized flocking behavior in a group of mobile robots and analyze its transition from an aligned state to an unaligned state. We briefly describe the robot an...
Ali Emre Turgut, Cristián Huepe, Hande &Cce...
ANTSW
2008
Springer
13 years 10 months ago
Autonomous Reconfiguration in a Self-assembling Multi-robot System
Self-assembling multi-robot systems can, in theory, overcome the physical limitations of individual robots by connecting to each other to form particular physical structures (morph...
Rehan O'Grady, Anders Lyhne Christensen, Marco Dor...
ANTSW
2008
Springer
13 years 10 months ago
Integration of ACO in a Constraint Programming Language
We propose to integrate ACO in a Constraint Programming (CP) language. Basically, we use the CP language to describe the problem to solve by means of constraints and we use the CP ...
Madjid Khichane, Patrick Albert, Christine Solnon
ANTSW
2008
Springer
13 years 10 months ago
Lattice Formation in Space for a Swarm of Pico Satellites
We present a distributed control strategy that lets a swarm of satellites autonomously form a lattice in orbit around a planet. The system, based on the artificial potential field ...
Carlo Pinciroli, Mauro Birattari, Elio Tuci, Marco...
ANTSW
2008
Springer
13 years 10 months ago
Social Odometry in Populations of Autonomous Robots
The improvement of odometry systems in collective robotics remains an important challenge for several applications. In this work, we propose a localisation strategy in which robots...
Álvaro Gutiérrez, Alexandre Campo, F...
ANTSW
2008
Springer
13 years 10 months ago
Enhancing the Cooperative Transport of Multiple Objects
In this paper we present an approach to the cooperative transport of multiple objects in swarm robotics. The approach is motivated by the observation that the performance of cooper...
Antoine Decugnière, Benjamin Poulain, Alexa...