Towards a model of human-cyber-physical automata and a synthesis framework for control policies