mstlo 0.1.0

A Rust library for online monitoring of Signal Temporal Logic (STL) specifications.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

use mstlo::SynchronizationStrategy;
use mstlo::Variables;
use mstlo::monitor::{Algorithm, StlMonitor, semantic_markers};
use mstlo::step;
use mstlo::stl;
use std::time::Duration;

fn main() {
    let phi1 = stl!(G[0, 5] temp < $MAX_TEMP);
    let phi2 = stl!(pressure > 10.0 -> F[0, 2] valve_open == 1.0);
    let phi = stl!(phi1 and phi2);

    println!("Formula Structure:\n{}", phi.to_tree_string(2));

    let vars = Variables::new();
    vars.set("MAX_TEMP", 120.0);

    let mut monitor = StlMonitor::builder()
        .formula(phi)
        .semantics(semantic_markers::Rosi)
        .algorithm(Algorithm::Incremental)
        .synchronization_strategy(SynchronizationStrategy::ZeroOrderHold)
        .variables(vars.clone())
        .build()
        .expect("Failed to build STL monitor");

    println!("{}", monitor);

    monitor.update(&step!("temp", 125.5, Duration::from_secs(0)));
    monitor.update(&step!("pressure", 15.0, Duration::from_secs(0)));
    let res = monitor.update(&step!("valve_open", 1.0, Duration::from_secs(0)));
    println!("Verdicts after updates: {}", res);
}