Temporal Inference Engine Files

TINX 1.0, 2.5 and 3.9mt plus TING 0.8

A real time inference engine for temporal logic specifications, which is able to process and generate any binary signal through Linux IPC or files. Specifications of signals are represented as special graphs and executed in real time.

This distribution includes a very fast, single-threaded version (2.5) and a multithreaded version (3.9mt) of the inference engine (Temporal Inference Network eXecutor). For an explanation of the executed networks, see the degree thesis included in the documentation (Italian only). These networks can represent general temporal logical specifications of real time systems and the inference engine can process and generate binary signals in real time according to these specifications, with a sampling time of the order of few milliseconds on a modern hardware. An open source compiler (Temporal Inference Network Generator) is also included, to generate these networks for a practical use of this tool in the context of a development system for general temporal logical specifications. TINX 1.0 is not a real time application but can be compiled and run on any ANSI C compliant environment, the other versions are real time applications for Linux.

This tool is licensed under the GNU Public License and includes the executor itself, the compiler, a very simple textual shell for signal generation and display which shows how to interface the inference engine and some examples of temporal logic specifications of simple dynamical systems.

Prof. Andrea Giotti, PhD