Title :
The declarative approach to design of robust control systems
Author :
Kohn, Wolf ; James, John ; Nerode, Anil
Author_Institution :
Sagent Corp, Bellevue, WA, USA
Abstract :
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
Keywords :
automata theory; control system CAD; cooperative systems; inference mechanisms; knowledge based systems; nonlinear systems; optimisation; real-time systems; robust control; software agents; computer-aided control system design; control automata; evolution constraint; inference mechanism; knowledge based systems; logic constraint; multiple agent control architecture; real time systems; robust control; Automata; Automatic control; Automatic generation control; Communication system control; Computer architecture; Control engineering; Control engineering computing; Control systems; Logic; Robust control;
Conference_Titel :
Computer-Aided Control System Design, 1996., Proceedings of the 1996 IEEE International Symposium on
Conference_Location :
Dearborn, MI
Print_ISBN :
0-7803-3032-3
DOI :
10.1109/CACSD.1996.555192
