By a News Reporter-Staff News Editor at Computer Technology Journal -- New research on Information Technology is the subject of a report. According to news reporting out of Beijing, People's Republic of China, by VerticalNews editors, research stated, "In this paper we offer an efficient controller synthesis algorithm for assume-guarantee specifications of the form. Here, are all safety-MTL properties, where the sub-formulas are supposed to specify assumptions of the environment and the sub-formulas are specifying requirements to be guaranteed by the controller."
Our news journalists obtained a quote from the research from the Chinese Academy of Science, "Our synthesis method exploits the engine of Uppaal-Tiga and the novel translation of safety- and co-safety-MTL properties into under-approximating, deterministic timed automata. Our approach avoids determinization of Buchi automata, which is the main obstacle for the practical applicability of controller synthesis for linear-time specifications. The experiments demonstrate that the chosen specification formalism is expressive enough to specify complex behaviors. The proposed approach is sound but not complete. However, it successfully produced solutions for all the experiments."
According to the news editors, the research concluded: "Additionally we compared our tool with Acacia+ and Unbeast, state-of-the-art LTL synthesis tools; and our tool demonstrated better timing results, when we applied both tools to the analogous specifications."
For more information on this research see: Efficient controller synthesis for a fragment of MTL0,infinity. Acta Informatica, 2014;51(3-4):165-192. Acta Informatica can be contacted at: Springer, 233 Spring St, New York, NY 10013, USA. (Springer - www.springer.com; Acta Informatica - www.springerlink.com/content/0001-5903/)
Our news journalists report that additional information may be obtained by contacting P. Bulychev, Chinese Academy Sci, Inst Software, State Key Lab Comp Sci, Beijing, People's Republic of China. Additional authors for this research include A. David, K.G. Larsen and G.Y. Li.
Keywords for this news article include: Asia, Beijing, Information Technology, People's Republic of China
Our reports deliver fact-based news of research and discoveries from around the world. Copyright 2014, NewsRx LLC