Title :
Designing optimal controllers for communications processes
Author :
Ionescu, Dan ; Lin, Jing-Yue
Author_Institution :
Dept. of Electr. Eng., Ottawa Univ., Ont., Canada
Abstract :
A design method for controllers of communications processes modeled using a temporal logic framework is introduced. A reachability analysis is accomplished and based on it a controller design procedure is applied using specification requirements. The controller is then optimized following an A* search technique. An example illustrates the methodology
Keywords :
communication complexity; computer networks; formal logic; formal specification; optimal control; protocols; telecommunications control; temporal logic; A* search technique; communications processes; design method; optimal controllers; reachability analysis; specification requirements; temporal logic framework; Communication standards; Communication system control; Data communication; Design methodology; Logic design; Optimal control; Process control; Process design; Protocols; Reachability analysis;
Conference_Titel :
Electrical and Computer Engineering, 1993. Canadian Conference on
Conference_Location :
Vancouver, BC
Print_ISBN :
0-7803-2416-1
DOI :
10.1109/CCECE.1993.332459
