sadraddini

Sadra Sadraddini's repositories

A Toolbox For Polytopic Objects, Operations, and Containment Problems

Language:Python20 1 2

Control of piecewise affine systems

Language:Python8 3 1

Parameterized Robust Control Invariant Sets (PARCIS)

Language:Jupyter Notebook500

Robust Control from Signal Temporal Logic Specifications

Language:PythonMIT5 20

Fourier-Motzkin Elimination Method for Polyhedral Projection

Language:Python400

Polytopic Trajectories for Time Varying Linear Systems

Language:Python301

Distributed Robust Set-Invariance Control of Interconnected Linear Systems

Language:Python000

Model-based design and verification for robotics.

Language:C++NOASSERTION000

Macro learning-based Control of Traffic Networks

Language:Python000

WebGL-based 3D visualizer for Python

Language:PythonMIT000

Hausdorff distance computer for finite unions of polytopes

Language:PythonMIT000

Piecewise Affine Model Identification

MIT020

Robust Output-Feedback Control

Language:Python010

A Metric Distance for STL Formulas

Language:Python000