Parallel heuristic for solution of lane covering problem in large scale

A methodology for geometrical modeling of roller coaster tracks

An intention-based service design discipline for the product-service architectur...

Conversion from colored Petri nets into Markov decision processes with imprecise...

Collaboration and cooperation among disperse productive systems of virtual enter...

Implementation of a distributed control architecture for productive system

Design of experiments applied to optimizers based on genetic algorithms

Optimal control system for a semi-autonomous underwater vehicle

A framework for modeling and formal verification of safety instrumented systems control...

Development of a rotary thermomagnetic motor for thermal energy conversion