DocumentCode
3318974
Title
Synthesizability of 3 Party Formal Specifications-Does My Controller See Enough?
Author
Banerjee, Ansuman
Author_Institution
Interra Syst. India Pvt. Ltd., India
fYear
2010
fDate
3-7 Jan. 2010
Firstpage
81
Lastpage
86
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;
fLanguage
English
Publisher
ieee
Conference_Titel
VLSI Design, 2010. VLSID '10. 23rd International Conference on
Conference_Location
Bangalore
ISSN
1063-9667
Print_ISBN
978-1-4244-5541-6
Type
conf
DOI
10.1109/VLSI.Design.2010.46
Filename
5401186
Link To Document