Requirements for integrated control systems design of production systems to management...

Programming method for non-deterministic dynamic Job Shop manufacturing systems

Regeneration of productive systems through dynamic reallocation of resources with...

Control system for diagnosis and treatment of failures on ventricular assist dev...

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

Modeling of distributed collaborative control systems of production systems

Project of modular control systems for production systems

Modeling of programs and its verification for programmable logic controllers

Control of reconfigurable manufacturing systems

Mitigation of critical faults in production systems