stochastic-systems

There are 4 repositories under stochastic-systems topic.

  • Kiguli/PRoTECT

    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.

    Language:Python5300

  • fluentverification/stamina

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

    Language:Python3200

  • zhang-zengjie/net-scs-acr

    Experimental studies on communication rates of an event-triggered network

    Language:MATLAB0100

  • zhang-zengjie/ram-ruts

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

    Language:Python0100