摘要: Introduction to a special issue consisting of sample the broad range research activities, seeking provide theoretical foundations and software engineering tools help control engineers understand overcome challenges in building computer-controlled devices. >