stochastic-systems

PRoTECT is an open-source software tool, with a user-friendly GUI, for the purposes of formal verification using polynomial-type barrier certificates for safety specifications. PRoTECT can handle discrete-time stochastic systems, continuous-time stochastic systems, discrete-time deterministic systems and continuous-time deterministic systems.

Model predictive control (MPC) for a stochastic linear system with runtime signal temporal logic (STL) specifications

Wrapper repository which contains STAMINA/STORM and STAMINA/PRISM as submodules

Experimental studies on communication rates of an event-triggered network

Dynamics-based evasion research. Simulating the collapse of static WAF defense heuristics through stochastic autopilot and chaotic trajectory scheduling.

Abstraction of stochastic systems to IMDPs and odIMDPs

Control-theoretic and mathematical methods applied to portfolio management — LQR rebalancing, Kalman regime detection, robust optimisation, and Riemannian geometry on covariance manifolds.

TOY SIMULATION / VERY BASIC EXPERIMENT exploring prediction- and uncertainty-aware stochastic sensor placement using synthetic trajectories, intensity maps, and greedy optimization in MATLAB.