Code

Github


Selected Public Repositories


Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems

Given an Uncertain Linear Dynamical System and a safety condition, this tool can check if the given condition is violated upto time T.

Dependencies and Installation: This is a Python based tool. This has dependencies on Python Numpy and Gurobi. The dependencies and installation documentation can be found here.

How to Use: Documentation on how to use this tool to verify existing benchmarks or user defined linear dynamical systems can be found here.

Development: To extend the functionalites of this tool, please refer to the API documentation here.

Based on: This is a python based tool based on the paper Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems, Bineet Ghosh, Parasara Sridhar Duggirala, ACM Transactions on Embedded Computing Systems (TECS). The full paper can be downloaded from here. The abstract can be read here. The PPT of the paper can be found here

[GitHub Link]           [cite]

Languages