Pinned Repositories
distinct
Distributed Robust Set-Invariance Control of Interconnected Linear Systems
drake
Model-based design and verification for robotics.
Mallet
Macro learning-based Control of Traffic Networks
meshcat-python
WebGL-based 3D visualizer for Python
PARCIS
Parameterized Robust Control Invariant Sets (PARCIS)
polytrajectory
Polytopic Trajectories for Time Varying Linear Systems
PWA-Control
Control of piecewise affine systems
pyfomo
Fourier-Motzkin Elimination Method for Polyhedral Projection
pypolycontain
A Toolbox For Polytopic Objects, Operations, and Containment Problems
STL-Control
Robust Control from Signal Temporal Logic Specifications
sadraddini's Repositories
sadraddini/pypolycontain
A Toolbox For Polytopic Objects, Operations, and Containment Problems
sadraddini/PWA-Control
Control of piecewise affine systems
sadraddini/PARCIS
Parameterized Robust Control Invariant Sets (PARCIS)
sadraddini/STL-Control
Robust Control from Signal Temporal Logic Specifications
sadraddini/pyfomo
Fourier-Motzkin Elimination Method for Polyhedral Projection
sadraddini/polytrajectory
Polytopic Trajectories for Time Varying Linear Systems
sadraddini/distinct
Distributed Robust Set-Invariance Control of Interconnected Linear Systems
sadraddini/drake
Model-based design and verification for robotics.
sadraddini/Mallet
Macro learning-based Control of Traffic Networks
sadraddini/meshcat-python
WebGL-based 3D visualizer for Python
sadraddini/poly-hausdorff
Hausdorff distance computer for finite unions of polytopes
sadraddini/pwarx
Piecewise Affine Model Identification
sadraddini/rufous
Robust Output-Feedback Control
sadraddini/STL-Distance
A Metric Distance for STL Formulas