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.

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

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

Experimental studies on communication rates of an event-triggered network

Abstraction of stochastic systems to IMDPs and odIMDPs

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

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

Matrix-Valued Systems Toolbox (MVST): MATLAB toolbox for linear matrix-valued (impulsive and stochastic) dynamical systems: mean-square stability, stabilization, optimal control, covariance steering, dissipativity, KYP, H-infinity, games, positive systems. SOS/SDP engines with bundled solvers. Companion to a Springer monograph in preparation.

Where should fixed sensors go when traffic shifts? Python package and stress tests of forecast-aware placement: wins when the forecast is right, losses when it is not, on synthetic traffic and real AIS ship tracks.