An preview on the on-line coverage methods for the exploration of unknown 3 dimensional oceanic terrains using multiple autonomous underwater vehicles (AUVs) based on the concept of planar algorithm developed by Hert.
Insight in the use of a chemo-sensing Unmanned Aerial Vehicle (cUAV) for humanitarian demining task and the wide spectrum of developments oriented towards the autonomous and non-supervised mine detection on large scale and unspecified environments by means of a blimp-based chemo-sensing UAV...
A study on techniques for solving reachability problems in PN and TPN based on mathematical programming. An incremental search using step sequences that represent parallel and reentrant firings of transitions.
An overview on the applications of Petri Net modeling, state space representation and associated solution techniques, hierarchical decomposition and control, hybrid modeling, and multiple agent systems, on intelligent control of manufacturing systems.
Rating: Rated: 0 times
The application of a mathematical modeling language for distributed systems to the communication systems of a microchip enabling it to do simultaneous inter-processor communication.
Rating: Rated: 1 times
The use of sequencing and scheduling techniques by the metal industry and the academic community for the continuing improvement in the production of sheet metal.