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

use mstlo::monitor::*;
use mstlo::{step, stl};

fn main() {
    // Build a monitor from the macro DSL.
    let formula = stl!(G[0, 1](x > 5.0));
    let mut monitor = StlMonitor::builder()
        .formula(formula)
        .algorithm(Algorithm::Incremental)
        .semantics(DelayedQuantitative)
        .build()
        .unwrap();

    // Stream updates
    let out1 = monitor.update(&step!("x", 7.0, 0s));
    let out2 = monitor.update(&step!("x", 6.0, 1s));
    let out3 = monitor.update(&step!("x", 4.0, 2s));
    let out4 = monitor.update(&step!("x", 7.0, 3s));

    println!("{:?}", out1.verdicts());
    println!("{:?}", out2.verdicts());
    println!("{:?}", out3.verdicts());
    println!("{:?}", out4.verdicts());

    assert_eq!(out1.verdicts(), vec![]);
    assert_eq!(out2.verdicts(), vec![step!("x", 1.0, 0s)]);
    assert_eq!(out3.verdicts(), vec![step!("x", -1.0, 1s)]);
    assert_eq!(out4.verdicts(), vec![step!("x", -1.0, 2s)]);
}