temporal inference engine

We have hosted the application temporal inference engine in order to run this application in our online workstations with Wine or directly.

Quick description about temporal inference engine:

A real time inference engine for temporal logical specifications, which is able to acquire, process and generate any binary or real signal through POSIX IPC, files or UNIX sockets. Specifications of signals and dynamic systems are represented as special graphs and executed in real time, with a predictable sampling time of few milliseconds. Real time signal processing, dynamic system control, state machine modeling and logical property verification are some fields of application of this software. The accepted language provides timed logic and mathematical operators, conditional operators, interval operators, bounded quantifiers and parametrization of signals.

Features:

• Fast Inference Engine
• Real Time or Batch Run
• Temporal Logical Networks
• Specification Execution
• Optional Multithreading
• Communication through Linux IPC, Files or Sockets
• Sampling Time of Few Milliseconds
• Compiler Included
• Graphical Shell Included

Audience: Information Technology, Science/Research, Developers, Engineering.
User interface: Gnome, Command-line.
Programming Language: C.
Categories: