R & D Projects

Luddo 3D - Design and development of 3D Ludo game
August 2013


Luddo is very popular game in Pakistan. Internationally and nationally people play this game for entertainment. Usually a square board, dice and some tokens are used in order to play this game. We proposed an electronic version of the game in order to modernize the experience of playing Luddo game in computers and smart phones. Four, three, or two players can play this game at a time. We have proposed a single player gaming experience also; developed the electronic game and added functionality of playing game with the computer player; Moreover we have developed a Luddo game in a 3-Dimensional graphic environment using a 3D-graphics engine. We are the first team to developed this 3D-Luddo game across the world.

Design and development of a formal multi-agent information management system
(HEC Grant 0.5 Million - Duration 10 months - Nov 2012 to Sept 2013)
1. Application of formal methods for the development of multi-agent based information management system
2. Design and development of a formal architecture for the Information management system
3. Implementation of this Information management system by using a multi-agent framework
4. The use of free open source multi-agent platform and softwares.


An Architecture for Secure Video Streaming in Multicast environment
(The Islamia University of Bahawalpur - 2012)




Approach for the formal specification and verification of multi-agent robotic systems
(PhD Project - July 2007 - September 2010 - Lab VALORIA UBS FRANCE)
We have proposed a development approach based on a combination of methods and techniques that allow for formal verification and evaluation during specification definition and that is also flexible. We have analyzed the development process of a robotic multi-agent system after classifying it in the major phases of requirement specifications, verification specifications, architecture specifications and implementation.



Service-Oriented Robotic Simulation Implementation  
(August 2008 - February 2010) - ENSIBS + Lab VALORIA UBS FRANCE)
Robotics Studio allows developers to develop robotic applications which manage the sensors, actuators, and the behavior of robots in their environment. The same application code is used both in the simulated robots in a simulation environment and in real robots in real world environment. It has a Service-Oriented Architecture (SOA), with services being designed and developed by Visual Programming Language (VPL) and direct Visual C# programming.
Project description:
This project develops robotic simulation agents in Robotics Studio. The application developed consists of the core specifications, these core specifications were developed by following the Gaia multi-agent method. There were several extensions developed of these specifications. It manages the transport of goods between multiple warehouses in a closed environment. The entities are mobile carrier agents, the loader/un-loader agents that load/un-load goods at warehouses. The environment consists of the route (with its topology) and the goods to transport.
The mission consists of transporting all or a part of goods from one source (warehouse) towards a destination (warehouse).
The carrier agents discover the route topology and must construct and follow a route to reach their destination. The project extensions implement the simulation scenarios, and then thus validate the specifications. The extensions are:
  • The scalability of the number of carrier agents. We started from a static solution where we knew the number of carrier agents at start, to a dynamic solution which allows the dynamic addition and removal of carrier agents either with the help of a supervisor (HMI), or with the help of a service that allows the adaptation of the number of carrier agents.
  • The evolution of the route. We passed from a solution where the topology of the route is known at the beginning to a solution where the topology of the route evolves dynamically with the help of addition/deletion of discrete portions of route with the help of a supervisor service.
  • The evolution of the number of the warehouses and mission. We pass from a solution where the number of warehouses are static (i.e. known in advance) and the mission consists of transporting a part or all the goods from one warehouse to another warehouse, to a solution which allows to introduce new warehouses (placed at different portions of route via a supervisor service) and modification of carrier agent missions to assure an equilibrium between the warehouses (i.e. our goal is the same quantity of goods in each warehouse)
  • The proposition of a strategy for the resolution of collisions between carrier agents



Design and Development of Graphical Programming Interface to program mini-robots
MS Final Project (March 2005 - September 2005) - UBS FRANCE
mini-robot: a small robot consisting of a processor chip and a C language interpreter
The project work was part of the MAAM (Molecule = Atome | Atome + Molecule) project. 
Use technologies such as of UML, CVS, XML, Java with eclipse to build a graphical programming interface that can be used to program the mini-robot.The analysis, design and development of an application that we have named KitRobot. It is a graphical pick and drop interface for programming mini-robots. It supports xml primitives to dynamically load objects of program development (Constructor object & Robot object). Constructor object primitives define the programming constructs whereas Robot object primitives define robot physical constructs. These primitives give a flexible environment to robot programmer. 
Objectives: 
The principal objective was the development of a Programming Integrated Development Environment (IDE) for the robot. This environment supports a Graphical Programming User Interface for program development with the help of graphical symbols. The output program is then further compiled by the integrated compiler of the application. 
The second objective: the use of XML files for the programming IDE. These XML files store the Constructor objects & Robot objects. They  make the application flexible, maintainable and allow further addition of features, with out making major changes in the source code.
The third objective: the development of a compiler for this IDE. This compiler generates a low level language that is interpreted directly by the robot compiler.
The fourth objective: proper and complete documentation of each phase of specification, analysis, design and coding. The complete UML modelization of each phase of application.
Fifth and last objective: the development of an application that is flexible, maintainable, platform independent and well-documented.

Project HUMANIM
(October 2004 - February 2005) - UBS FRANCE
Humanoid visualization
Objective:
Development of a tool that allows the 3D visualization of humanoid animation. Modelization of architecture and development of the application.
Technique:
Modelization H-Anim Movement capture by system VICON