-
Otmane Aït Mohamed
functional verification, formal methods, reliability analysis
-
Luis Rodrigues
aerospace, control systems, piecewise affine controllers
-
Youmin Zhang
intelligent unmanned systems, UAVs (drones), UGVs (unmanned ground vehicles)
-
Luiz A.C. Lopes
high power converters, renewable energy, distributed power generation
top associated keywords A-Z
- control systems24
- embedded systems8
- reliability analysis8
- simulation20
- UAVs (drones)5
- aircraft design optimization13
- algorithm design30
- automatic test generations1
- automotive applications8
- autonomous power systems1
- autonomous vehicles5
- autopilot1
- biological systems3
- communication protocols8
- complex dynamic systems19
- condition monitoring7
- control systems theory6
- cooperative control4
- design automation8
- distributed power generation2
- distributed/parallel systems25
- energy efficiency26
- energy storage9
- fault diagnosis4
- fault-tolerant control4
- flight simulation1
- formal methods6
- formation flight control4
- FPGA based design and verification2
- functional verification5
- high power converters2
- hybrid systems2
- implantable body sensor networks1
- intelligent unmanned systems6
- inventory management6
- islanding detection1
- mechatronics6
- microsystems4
- minigrids/microgrids3
- multiway decision graphs2
- music robotics1
- navigation2
- optimization11
- piecewise affine controllers1
- power electronics5
- power transmission systems5
- radiation effects on circuits1
- real-time simulation2
- renewable energy37
- robotics11
- rural electrification3