The declarative approach to design of robust control systems

We apply recent results concerning closed-form solution of nonlinear systems to previous work on computer-aided control system design (CACSD). We previously discussed an approach for CACSD (Kohn, 1994) which would establish a link from requirements development to implementation and would also support construction of automata which simultaneously comply with discrete and continuous constraints. In this paper we describe recent results which establish the feasibility of efficiently generating online solutions that comply at each update interval with logic and evolution constraints on system behaviors.