-
Otmane Aït Mohamed
functional verification, formal methods, reliability analysis
-
Shahin Hashtrudi Zad
control systems, discrete event systems, biological systems
-
Amir G. Aghdam
adaptive control, decentralized large-scale systems, control systems
-
Ali Akgunduz
aviation industry, air traffic control, greener aviation
-
Yong Zeng
design process, creativity, design engineering
-
Sofiène Tahar
communication protocols, hardware specification, functional verification
top associated keywords A-Z
- aircraft design optimization13
- communication protocols8
- control systems24
- design automation8
- discrete event systems2
- embedded systems8
- formal methods6
- functional verification5
- microsystems4
- multiway decision graphs2
- robustness7
- simulation20
- spacecraft and satellites9
- verification tools2
- VLSI technologies8
- adaptive control5
- air traffic control1
- airline yield management1
- airport operations1
- artificial intelligence (AI)53
- automata theory1
- automatic test generations1
- automation4
- aviation industry6
- avionics4
- big data30
- biological systems3
- business analytics9
- cognitive science34
- complex dynamic systems19
- computational linguistics6
- control systems theory6
- cooperative control4
- creative process6
- creativity11
- data analysis6
- data science38
- decentralized large-scale systems2
- design engineering7
- design process5
- design science4
- design theory5
- distributed deployment algorithms4
- DSL communication networks1
- EEG7
- engineering education10
- failure detection and isolation1
- fault diagnosis4
- formation flight control4
- FPGA based design and verification2
- greener aviation5