Untitled in english

Modeling of programs and its verification for programmable logic controllers

Control of reconfigurable manufacturing systems

Control architecture for security of complex critical systems with possibility of...

Mitigation of critical faults in production systems

Safety-related control system: an integrated approach of accident models, defense-in-depth...

Diagnosis and treatment of critical faults in safety instrumented systems

Proposal of a method for coalition control of virtuals resouces based on multiagents...