Title :
A deductive approach towards controller synthesis
Author :
Manna, Zohar ; Sipma, Henny B.
Author_Institution :
Dept. of Comput. Sci., Stanford Univ., CA, USA
Abstract :
This paper proposes a deductive approach towards controller synthesis. The system to be controlled and the environment are modeled as phase transition systems and the specification of the entire system is expressed by a hybrid temporal logic formula. Verification rules are used to determine whether the system in conjunction with a control strategy meets the specification. The control strategy is refined until it meets the given specification
Keywords :
control system CAD; formal specification; temporal logic; controller synthesis; deductive approach; hybrid temporal logic formula; phase transition systems; verification rules; Automatic control; Computational modeling; Computer science; Control system synthesis; Control systems; Digital control; Logic; Military computing; NASA; Real time systems;
Conference_Titel :
Intelligent Control, 1995., Proceedings of the 1995 IEEE International Symposium on
Conference_Location :
Monterey, CA
Print_ISBN :
0-7803-2722-5
DOI :
10.1109/ISIC.1995.525034
