Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/14112
Title: An Interval Logic for Stream-Processing Functions: A Convolution-Based Construction
Authors: Dongol, B
Issue Date: 2017
Publisher: Springer
Citation: Formal Techniques for Safety-Critical Systems. FTSCS 2016. Communications in Computer and Information Science, vol 694, (2017)
Abstract: We develop an interval-based logic for reasoning about systems consisting of components speci ed using stream-processing functions, which map streams of inputs to streams of outputs. The construction is algebraic and builds on a theory of convolution from formal power series. Using these algebraic foundations, we uniformly (and systematically) de ne operators for time- and space-based (de)composition. We also show that Banach's xed point theory can be incorporated into the framework, building on an existing theory of partially ordered monoids, which enables a feedback operator to be de ned algebraically.
URI: http://bura.brunel.ac.uk/handle/2438/14112
Appears in Collections:Dept of Computer Science Research Papers

Files in This Item:
File Description SizeFormat 
Fulltext.pdf348.91 kBAdobe PDFView/Open


Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.