Title :
Synthesizability of 3 Party Formal Specifications-Does My Controller See Enough?
Author :
Banerjee, Ansuman
Author_Institution :
Interra Syst. India Pvt. Ltd., India
Abstract :
This paper presents the problem of bounded synthesizability of formal specifications in the context of three party systems, consisting of a machine, its environment and a controller. The overall objective is to determine whether it is possible to synthesize both the machine and its controller for a given Linear Temporal Logic (LTL) specification over the signals in the machine and the controller interfaces.
Keywords :
control system synthesis; digital control; formal specification; observability; temporal logic; 3-party formal specification synthesizability; bounded synthesizability; control observability; controller interface; controller synthesis; digital control; linear temporal logic specification; three party system; Circuits; Control system synthesis; Control systems; Digital control; Formal specifications; Instruments; Medical control systems; Microprocessors; Observability; Signal synthesis; LTL; QBF; Realizability; Satisfiability;
Conference_Titel :
VLSI Design, 2010. VLSID '10. 23rd International Conference on
Conference_Location :
Bangalore
Print_ISBN :
978-1-4244-5541-6
DOI :
10.1109/VLSI.Design.2010.46
