Small interactive things I’ve built to explore ideas.

Specification builder

Interactively build specifications using Signal Temporal Logic (STL) to characterize normal operating conditions of a wastewater treatment plant and evaluate simulated sensor traces against specifications.

Open demo →