From 2772f92475336443af56cc37b1ee566d29c2f1a6 Mon Sep 17 00:00:00 2001
From: Girard Antoine <antoine.girard@centralesupelec.fr>
Date: Mon, 22 Jan 2024 16:43:28 +0000
Subject: [PATCH] Upload New File

---
 dynamics.m | 41 +++++++++++++++++++++++++++++++++++++++++
 1 file changed, 41 insertions(+)
 create mode 100644 dynamics.m

diff --git a/dynamics.m b/dynamics.m
new file mode 100644
index 0000000..e27f09b
--- /dev/null
+++ b/dynamics.m
@@ -0,0 +1,41 @@
+%% Tutorial example on symbolic control
+%% Author: Antoine GIRARD, Université Paris-Saclay, CNRS, CentraleSupélec, Laboratoire des signaux et systèmes, 91190, Gif-sur-Yvette, France.
+%% Date: 2024
+
+
+%% Definition of the dynamics of the system and of abstraction parameters
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% System Definition
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+% Sampling time 
+T=1;
+
+% System dynamics
+f=@(x,u,w) [x(1)+T*u(1)*cos(x(3))+T*w(1);...
+            x(2)+T*u(1)*sin(x(3))+T*w(2);...
+            x(3)+T*u(2)+T*w(3)];
+
+% Bounds on Jacobian matrices for over-appoximation of reachable sets
+Jf_x=@(u) [1 0 T*abs(u(1));...
+           0 1 T*abs(u(1));...
+           0 0 1];
+
+Jf_w=@(u) [T 0 0;...
+           0 T 0;...
+           0 0 T];
+       
+% Constraints
+bound_x=[0 10;0 10;-pi pi];                   % State Constraints
+bound_u=[0.25 1;-1 1];                        % Control Constraints
+bound_w=[-0.05 0.05;-0.05 0.05;-0.05 0.05];   % Disturbance Constraints
+
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Abstraction parameters
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+%Symbolic parameters
+n_x=[100;100;30];                        % Number of state partition cells
+n_u=[3;5];                               % Number of control partition cells
-- 
GitLab