Automated Software Design of Process-Control Systems.

Dongfeng Wang, Farokh B. Bastani, I-Ling Yen

Browse the full SEKE paper archive.