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

Modeling for ultrasonics waves of reflected surfaces of various geometries

Manual and automatic, hybrid system for the position and path control in machine...