//-->
A formal control-theoretic model of a human–automation interactive manufacturing system control
Shin, D., (2006)
Adaptive CUSUM of the Q chart
Kim, N., (2010)
Using finite state automata (FSA) for formal modelling of affordances in human-machine cooperative manufacturing systems