-
Arizona State University
- United Kingdom
Popular repositories Loading
-
Constrained-Zonotopes-Examples
Constrained-Zonotopes-Examples PublicGuaranteed State Estimation via Remainder-Form Decomposition Function-Based Set Inclusion for Nonlinear Discrete-Time Systems. This proposed method is applied on two examples.
MATLAB 3
-
-
Invariant-Set_PetterNilsson_Preliminary-Results-on-Correct-by-Construction-Control-Software-Synthesi
Invariant-Set_PetterNilsson_Preliminary-Results-on-Correct-by-Construction-Control-Software-Synthesi PublicThe Algo's described in this paper were used for reachability analysis
-
-
-
MathWorks-Excellence-in-Innovation
MathWorks-Excellence-in-Innovation PublicForked from mathworks/MATLAB-Simulink-Challenge-Project-Hub
Capstone and senior design project ideas for undergraduate and graduate students to gain practical experience and insight into technology trends and industry directions.
MATLAB
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.