Automated synthesis of cyber-physical systems from joint controller/architecture specifications

Debayan Roy, Licong Zhang, Wanli Chang, Samarjit Chakraborty. Automated synthesis of cyber-physical systems from joint controller/architecture specifications. In Rolf Drechsler, Robert Wille, editors, 2016 Forum on Specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016. pages 1-8, IEEE, 2016. [doi]

Authors

Debayan Roy

This author has not been identified. Look up 'Debayan Roy' in Google

Licong Zhang

This author has not been identified. Look up 'Licong Zhang' in Google

Wanli Chang

This author has not been identified. Look up 'Wanli Chang' in Google

Samarjit Chakraborty

This author has not been identified. Look up 'Samarjit Chakraborty' in Google