DocumentCode
2173240
Title
Designing optimal controllers for communications processes
Author
Ionescu, Dan ; Lin, Jing-Yue
Author_Institution
Dept. of Electr. Eng., Ottawa Univ., Ont., Canada
fYear
1993
fDate
14-17 Sep 1993
Firstpage
979
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrical and Computer Engineering, 1993. Canadian Conference on
Conference_Location
Vancouver, BC
Print_ISBN
0-7803-2416-1
Type
conf
DOI
10.1109/CCECE.1993.332459
Filename
332459
Link To Document