Showing eess.SYShow all
3 papers · 1 filter
eess.SY2026
STLts-Div: Diversified Trace Synthesis from STL Specifications Using MILP (Extended Version)
Martin Jouve-Genty, Han Su, Sota Sato +3
Modern cyber-physical systems are complex, and requirements are often written in Signal Temporal Logic (STL). Writing the right STL is difficult in practice; engineers benefit from…
eess.SY2025
Runtime Safety and Reach-avoid Prediction of Stochastic Systems via Observation-aware Barrier Functions
Shenghua Feng, Jie An, Fanjiang Xu
Stochastic dynamical systems have emerged as fundamental models across numerous application domains, providing powerful mathematical representations for capturing uncertain system…
eess.SY2024
Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications
Sota Sato, Jie An, Zhenya Zhang +1
We present a bounded model checking algorithm for signal temporal logic (STL) that exploits mixed-integer linear programming (MILP). A key technical element is our novel MILP encod…