Scalable symbolic-numeric set computations in Julia

This repository provides the codes for designing a data-driven control architecture for preserving the safety and tracking performance of constrained cyber-physical systems under networked attacks. (coming soon!)

This repository contains code for visualizing robot capability specially wrench polytope capacity of cable driven shoulder joint

This repository is a MATLAB version of hyperplane shifting algorithm that can be used to represent available wrench set facets

This repository provides the codes for simulating a data-driven safety preserving control architecture for constrained cyber physical systems under cyber attacks.

Data Driven Reachability Analysis from Noisy Data

Data-Driven Predictive Control

This repository provides codes in MATLAB for computing data-driven backward reachable sets and set-theoretic model predictive control (ST-MPC).

This repository provides codes in MATLAB for computing data-driven backward reachable sets and set-theoretic model predictive control (ST-MPC).

Running ARMTD in pybullet and create rendered animation.

A Toolbox For Polytopic Objects, Operations, and Containment Problems

Tube-Based Zonotopic Data Driven Predictive Control

Python library that implements ZPC: Zonotopic Data-Driven Predictive Control.

Python implementation of data-driven reachability analysis using Zonotopes

Zonotope implementation in python. Supports CVXPY

Repository of my work with Hybrid Systems, covering topics from Reachability Analysis to Predicate Logic

This repo is for Distributed Set-Based Observers Using Diffusion Strategy