The declarative approach to design of robust control systems

Author

Kohn, Wolf ; James, John ; Nerode, Anil

Author_Institution

Sagent Corp, Bellevue, WA, USA

fYear

1996

Firstpage

26

Lastpage

31

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/CACSD.1996.555192

Filename

555192