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

Debayan Roy, Licong Zhang, Wanli Chang, Samarjit Chakraborty

Browse the full FDL paper archive.