A hybrid systems approach to computer-aided control engineering

We provide preliminary ideas for a new approach to computer-aided control engineering (CACE) environments. We present two themes. The first theme is that the CACE environments should support a thread from requirements development through to implementation. While some CACE environments come close to this, none provide the end-to-end thread we envision. The second theme is that the environment should support construction of automatons which simultaneously comply with discrete and continuous constraints. Current environments require extensive simulation and experimentation to simultaneously comply with discrete and continuous constraints