1c4762a1bSJed Brown 2c4762a1bSJed Brown static char help[] = "Adjoint and tangent linear sensitivity analysis of the basic equation for generator stability analysis.\n"; 3c4762a1bSJed Brown 4c4762a1bSJed Brown /*F 5c4762a1bSJed Brown 6c4762a1bSJed Brown \begin{eqnarray} 7c4762a1bSJed Brown \frac{d \theta}{dt} = \omega_b (\omega - \omega_s) 8c4762a1bSJed Brown \frac{2 H}{\omega_s}\frac{d \omega}{dt} & = & P_m - P_max \sin(\theta) -D(\omega - \omega_s)\\ 9c4762a1bSJed Brown \end{eqnarray} 10c4762a1bSJed Brown 11c4762a1bSJed Brown F*/ 12c4762a1bSJed Brown 13c4762a1bSJed Brown /* 14c4762a1bSJed Brown This code demonstrate the sensitivity analysis interface to a system of ordinary differential equations with discontinuities. 15c4762a1bSJed Brown It computes the sensitivities of an integral cost function 16c4762a1bSJed Brown \int c*max(0,\theta(t)-u_s)^beta dt 17c4762a1bSJed Brown w.r.t. initial conditions and the parameter P_m. 18c4762a1bSJed Brown Backward Euler method is used for time integration. 19c4762a1bSJed Brown The discontinuities are detected with TSEvent. 20c4762a1bSJed Brown */ 21c4762a1bSJed Brown 22c4762a1bSJed Brown #include <petscts.h> 23c4762a1bSJed Brown #include "ex3.h" 24c4762a1bSJed Brown 25*d71ae5a4SJacob Faibussowitsch int main(int argc, char **argv) 26*d71ae5a4SJacob Faibussowitsch { 27c4762a1bSJed Brown TS ts, quadts; /* ODE integrator */ 28c4762a1bSJed Brown Vec U; /* solution will be stored here */ 29c4762a1bSJed Brown PetscMPIInt size; 30c4762a1bSJed Brown PetscInt n = 2; 31c4762a1bSJed Brown AppCtx ctx; 32c4762a1bSJed Brown PetscScalar *u; 33c4762a1bSJed Brown PetscReal du[2] = {0.0, 0.0}; 34c4762a1bSJed Brown PetscBool ensemble = PETSC_FALSE, flg1, flg2; 35c4762a1bSJed Brown PetscReal ftime; 36c4762a1bSJed Brown PetscInt steps; 37c4762a1bSJed Brown PetscScalar *x_ptr, *y_ptr, *s_ptr; 38c4762a1bSJed Brown Vec lambda[1], q, mu[1]; 39c4762a1bSJed Brown PetscInt direction[2]; 40c4762a1bSJed Brown PetscBool terminate[2]; 41c4762a1bSJed Brown Mat qgrad; 42c4762a1bSJed Brown Mat sp; /* Forward sensitivity matrix */ 43c4762a1bSJed Brown SAMethod sa; 44c4762a1bSJed Brown 45c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 46c4762a1bSJed Brown Initialize program 47c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 48327415f7SBarry Smith PetscFunctionBeginUser; 499566063dSJacob Faibussowitsch PetscCall(PetscInitialize(&argc, &argv, (char *)0, help)); 509566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(PETSC_COMM_WORLD, &size)); 513c633725SBarry Smith PetscCheck(size == 1, PETSC_COMM_WORLD, PETSC_ERR_WRONG_MPI_SIZE, "Only for sequential runs"); 52c4762a1bSJed Brown 53c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 54c4762a1bSJed Brown Create necessary matrix and vectors 55c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 569566063dSJacob Faibussowitsch PetscCall(MatCreate(PETSC_COMM_WORLD, &ctx.Jac)); 579566063dSJacob Faibussowitsch PetscCall(MatSetSizes(ctx.Jac, n, n, PETSC_DETERMINE, PETSC_DETERMINE)); 589566063dSJacob Faibussowitsch PetscCall(MatSetType(ctx.Jac, MATDENSE)); 599566063dSJacob Faibussowitsch PetscCall(MatSetFromOptions(ctx.Jac)); 609566063dSJacob Faibussowitsch PetscCall(MatSetUp(ctx.Jac)); 619566063dSJacob Faibussowitsch PetscCall(MatCreateVecs(ctx.Jac, &U, NULL)); 629566063dSJacob Faibussowitsch PetscCall(MatCreate(PETSC_COMM_WORLD, &ctx.Jacp)); 639566063dSJacob Faibussowitsch PetscCall(MatSetSizes(ctx.Jacp, PETSC_DECIDE, PETSC_DECIDE, 2, 1)); 649566063dSJacob Faibussowitsch PetscCall(MatSetFromOptions(ctx.Jacp)); 659566063dSJacob Faibussowitsch PetscCall(MatSetUp(ctx.Jacp)); 669566063dSJacob Faibussowitsch PetscCall(MatCreateDense(PETSC_COMM_WORLD, PETSC_DECIDE, PETSC_DECIDE, 1, 1, NULL, &ctx.DRDP)); 679566063dSJacob Faibussowitsch PetscCall(MatSetUp(ctx.DRDP)); 689566063dSJacob Faibussowitsch PetscCall(MatCreateDense(PETSC_COMM_WORLD, PETSC_DECIDE, PETSC_DECIDE, 2, 1, NULL, &ctx.DRDU)); 699566063dSJacob Faibussowitsch PetscCall(MatSetUp(ctx.DRDU)); 70c4762a1bSJed Brown 71c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 72c4762a1bSJed Brown Set runtime options 73c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 74d0609cedSBarry Smith PetscOptionsBegin(PETSC_COMM_WORLD, NULL, "Swing equation options", ""); 75c4762a1bSJed Brown { 76c4762a1bSJed Brown ctx.beta = 2; 77c4762a1bSJed Brown ctx.c = 10000.0; 78c4762a1bSJed Brown ctx.u_s = 1.0; 79c4762a1bSJed Brown ctx.omega_s = 1.0; 80c4762a1bSJed Brown ctx.omega_b = 120.0 * PETSC_PI; 81c4762a1bSJed Brown ctx.H = 5.0; 829566063dSJacob Faibussowitsch PetscCall(PetscOptionsScalar("-Inertia", "", "", ctx.H, &ctx.H, NULL)); 83c4762a1bSJed Brown ctx.D = 5.0; 849566063dSJacob Faibussowitsch PetscCall(PetscOptionsScalar("-D", "", "", ctx.D, &ctx.D, NULL)); 85c4762a1bSJed Brown ctx.E = 1.1378; 86c4762a1bSJed Brown ctx.V = 1.0; 87c4762a1bSJed Brown ctx.X = 0.545; 88c4762a1bSJed Brown ctx.Pmax = ctx.E * ctx.V / ctx.X; 89c4762a1bSJed Brown ctx.Pmax_ini = ctx.Pmax; 909566063dSJacob Faibussowitsch PetscCall(PetscOptionsScalar("-Pmax", "", "", ctx.Pmax, &ctx.Pmax, NULL)); 91c4762a1bSJed Brown ctx.Pm = 1.1; 929566063dSJacob Faibussowitsch PetscCall(PetscOptionsScalar("-Pm", "", "", ctx.Pm, &ctx.Pm, NULL)); 93c4762a1bSJed Brown ctx.tf = 0.1; 94c4762a1bSJed Brown ctx.tcl = 0.2; 959566063dSJacob Faibussowitsch PetscCall(PetscOptionsReal("-tf", "Time to start fault", "", ctx.tf, &ctx.tf, NULL)); 969566063dSJacob Faibussowitsch PetscCall(PetscOptionsReal("-tcl", "Time to end fault", "", ctx.tcl, &ctx.tcl, NULL)); 979566063dSJacob Faibussowitsch PetscCall(PetscOptionsBool("-ensemble", "Run ensemble of different initial conditions", "", ensemble, &ensemble, NULL)); 98c4762a1bSJed Brown if (ensemble) { 99c4762a1bSJed Brown ctx.tf = -1; 100c4762a1bSJed Brown ctx.tcl = -1; 101c4762a1bSJed Brown } 102c4762a1bSJed Brown 1039566063dSJacob Faibussowitsch PetscCall(VecGetArray(U, &u)); 104c4762a1bSJed Brown u[0] = PetscAsinScalar(ctx.Pm / ctx.Pmax); 105c4762a1bSJed Brown u[1] = 1.0; 1069566063dSJacob Faibussowitsch PetscCall(PetscOptionsRealArray("-u", "Initial solution", "", u, &n, &flg1)); 107c4762a1bSJed Brown n = 2; 1089566063dSJacob Faibussowitsch PetscCall(PetscOptionsRealArray("-du", "Perturbation in initial solution", "", du, &n, &flg2)); 109c4762a1bSJed Brown u[0] += du[0]; 110c4762a1bSJed Brown u[1] += du[1]; 1119566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(U, &u)); 112c4762a1bSJed Brown if (flg1 || flg2) { 113c4762a1bSJed Brown ctx.tf = -1; 114c4762a1bSJed Brown ctx.tcl = -1; 115c4762a1bSJed Brown } 116c4762a1bSJed Brown sa = SA_ADJ; 1179566063dSJacob Faibussowitsch PetscCall(PetscOptionsEnum("-sa_method", "Sensitivity analysis method (adj or tlm)", "", SAMethods, (PetscEnum)sa, (PetscEnum *)&sa, NULL)); 118c4762a1bSJed Brown } 119d0609cedSBarry Smith PetscOptionsEnd(); 120c4762a1bSJed Brown 121c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 122c4762a1bSJed Brown Create timestepping solver context 123c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 1249566063dSJacob Faibussowitsch PetscCall(TSCreate(PETSC_COMM_WORLD, &ts)); 1259566063dSJacob Faibussowitsch PetscCall(TSSetProblemType(ts, TS_NONLINEAR)); 1269566063dSJacob Faibussowitsch PetscCall(TSSetType(ts, TSBEULER)); 1279566063dSJacob Faibussowitsch PetscCall(TSSetRHSFunction(ts, NULL, (TSRHSFunction)RHSFunction, &ctx)); 1289566063dSJacob Faibussowitsch PetscCall(TSSetRHSJacobian(ts, ctx.Jac, ctx.Jac, (TSRHSJacobian)RHSJacobian, &ctx)); 129c4762a1bSJed Brown 130c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 131c4762a1bSJed Brown Set initial conditions 132c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 1339566063dSJacob Faibussowitsch PetscCall(TSSetSolution(ts, U)); 134c4762a1bSJed Brown 135c4762a1bSJed Brown /* Set RHS JacobianP */ 1369566063dSJacob Faibussowitsch PetscCall(TSSetRHSJacobianP(ts, ctx.Jacp, RHSJacobianP, &ctx)); 137c4762a1bSJed Brown 1389566063dSJacob Faibussowitsch PetscCall(TSCreateQuadratureTS(ts, PETSC_FALSE, &quadts)); 1399566063dSJacob Faibussowitsch PetscCall(TSSetRHSFunction(quadts, NULL, (TSRHSFunction)CostIntegrand, &ctx)); 1409566063dSJacob Faibussowitsch PetscCall(TSSetRHSJacobian(quadts, ctx.DRDU, ctx.DRDU, (TSRHSJacobian)DRDUJacobianTranspose, &ctx)); 1419566063dSJacob Faibussowitsch PetscCall(TSSetRHSJacobianP(quadts, ctx.DRDP, DRDPJacobianTranspose, &ctx)); 142c4762a1bSJed Brown if (sa == SA_ADJ) { 143c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 144c4762a1bSJed Brown Save trajectory of solution so that TSAdjointSolve() may be used 145c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 1469566063dSJacob Faibussowitsch PetscCall(TSSetSaveTrajectory(ts)); 1479566063dSJacob Faibussowitsch PetscCall(MatCreateVecs(ctx.Jac, &lambda[0], NULL)); 1489566063dSJacob Faibussowitsch PetscCall(MatCreateVecs(ctx.Jacp, &mu[0], NULL)); 1499566063dSJacob Faibussowitsch PetscCall(TSSetCostGradients(ts, 1, lambda, mu)); 150c4762a1bSJed Brown } 151c4762a1bSJed Brown 152c4762a1bSJed Brown if (sa == SA_TLM) { 153c4762a1bSJed Brown PetscScalar val[2]; 154c4762a1bSJed Brown PetscInt row[] = {0, 1}, col[] = {0}; 155c4762a1bSJed Brown 1569566063dSJacob Faibussowitsch PetscCall(MatCreateDense(PETSC_COMM_WORLD, PETSC_DECIDE, PETSC_DECIDE, 1, 1, NULL, &qgrad)); 1579566063dSJacob Faibussowitsch PetscCall(MatCreateDense(PETSC_COMM_WORLD, PETSC_DECIDE, PETSC_DECIDE, 2, 1, NULL, &sp)); 1589566063dSJacob Faibussowitsch PetscCall(TSForwardSetSensitivities(ts, 1, sp)); 1599566063dSJacob Faibussowitsch PetscCall(TSForwardSetSensitivities(quadts, 1, qgrad)); 160c4762a1bSJed Brown val[0] = 1. / PetscSqrtScalar(1. - (ctx.Pm / ctx.Pmax) * (ctx.Pm / ctx.Pmax)) / ctx.Pmax; 161c4762a1bSJed Brown val[1] = 0.0; 1629566063dSJacob Faibussowitsch PetscCall(MatSetValues(sp, 2, row, 1, col, val, INSERT_VALUES)); 1639566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(sp, MAT_FINAL_ASSEMBLY)); 1649566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(sp, MAT_FINAL_ASSEMBLY)); 165c4762a1bSJed Brown } 166c4762a1bSJed Brown 167c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 168c4762a1bSJed Brown Set solver options 169c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 1709566063dSJacob Faibussowitsch PetscCall(TSSetMaxTime(ts, 1.0)); 1719566063dSJacob Faibussowitsch PetscCall(TSSetExactFinalTime(ts, TS_EXACTFINALTIME_MATCHSTEP)); 1729566063dSJacob Faibussowitsch PetscCall(TSSetTimeStep(ts, 0.03125)); 1739566063dSJacob Faibussowitsch PetscCall(TSSetFromOptions(ts)); 174c4762a1bSJed Brown 175c4762a1bSJed Brown direction[0] = direction[1] = 1; 176c4762a1bSJed Brown terminate[0] = terminate[1] = PETSC_FALSE; 177c4762a1bSJed Brown 1789566063dSJacob Faibussowitsch PetscCall(TSSetEventHandler(ts, 2, direction, terminate, EventFunction, PostEventFunction, (void *)&ctx)); 179c4762a1bSJed Brown 180c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 181c4762a1bSJed Brown Solve nonlinear system 182c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 183c4762a1bSJed Brown if (ensemble) { 184c4762a1bSJed Brown for (du[1] = -2.5; du[1] <= .01; du[1] += .1) { 1859566063dSJacob Faibussowitsch PetscCall(VecGetArray(U, &u)); 186c4762a1bSJed Brown u[0] = PetscAsinScalar(ctx.Pm / ctx.Pmax); 187c4762a1bSJed Brown u[1] = ctx.omega_s; 188c4762a1bSJed Brown u[0] += du[0]; 189c4762a1bSJed Brown u[1] += du[1]; 1909566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(U, &u)); 1919566063dSJacob Faibussowitsch PetscCall(TSSetTimeStep(ts, 0.03125)); 1929566063dSJacob Faibussowitsch PetscCall(TSSolve(ts, U)); 193c4762a1bSJed Brown } 194c4762a1bSJed Brown } else { 1959566063dSJacob Faibussowitsch PetscCall(TSSolve(ts, U)); 196c4762a1bSJed Brown } 1979566063dSJacob Faibussowitsch PetscCall(TSGetSolveTime(ts, &ftime)); 1989566063dSJacob Faibussowitsch PetscCall(TSGetStepNumber(ts, &steps)); 199c4762a1bSJed Brown 200c4762a1bSJed Brown if (sa == SA_ADJ) { 201c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 202c4762a1bSJed Brown Adjoint model starts here 203c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 204c4762a1bSJed Brown /* Set initial conditions for the adjoint integration */ 2059566063dSJacob Faibussowitsch PetscCall(VecGetArray(lambda[0], &y_ptr)); 2069371c9d4SSatish Balay y_ptr[0] = 0.0; 2079371c9d4SSatish Balay y_ptr[1] = 0.0; 2089566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(lambda[0], &y_ptr)); 209c4762a1bSJed Brown 2109566063dSJacob Faibussowitsch PetscCall(VecGetArray(mu[0], &x_ptr)); 211c4762a1bSJed Brown x_ptr[0] = 0.0; 2129566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(mu[0], &x_ptr)); 213c4762a1bSJed Brown 2149566063dSJacob Faibussowitsch PetscCall(TSAdjointSolve(ts)); 215c4762a1bSJed Brown 2169566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD, "\n lambda: d[Psi(tf)]/d[phi0] d[Psi(tf)]/d[omega0]\n")); 2179566063dSJacob Faibussowitsch PetscCall(VecView(lambda[0], PETSC_VIEWER_STDOUT_WORLD)); 2189566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD, "\n mu: d[Psi(tf)]/d[pm]\n")); 2199566063dSJacob Faibussowitsch PetscCall(VecView(mu[0], PETSC_VIEWER_STDOUT_WORLD)); 2209566063dSJacob Faibussowitsch PetscCall(TSGetCostIntegral(ts, &q)); 2219566063dSJacob Faibussowitsch PetscCall(VecGetArray(q, &x_ptr)); 2229566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD, "\n cost function=%g\n", (double)(x_ptr[0] - ctx.Pm))); 2239566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(q, &x_ptr)); 2249566063dSJacob Faibussowitsch PetscCall(ComputeSensiP(lambda[0], mu[0], &ctx)); 2259566063dSJacob Faibussowitsch PetscCall(VecGetArray(mu[0], &x_ptr)); 2269566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD, "\n gradient=%g\n", (double)x_ptr[0])); 2279566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(mu[0], &x_ptr)); 2289566063dSJacob Faibussowitsch PetscCall(VecDestroy(&lambda[0])); 2299566063dSJacob Faibussowitsch PetscCall(VecDestroy(&mu[0])); 230c4762a1bSJed Brown } 231c4762a1bSJed Brown if (sa == SA_TLM) { 2329566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD, "\n trajectory sensitivity: d[phi(tf)]/d[pm] d[omega(tf)]/d[pm]\n")); 2339566063dSJacob Faibussowitsch PetscCall(MatView(sp, PETSC_VIEWER_STDOUT_WORLD)); 2349566063dSJacob Faibussowitsch PetscCall(TSGetCostIntegral(ts, &q)); 2359566063dSJacob Faibussowitsch PetscCall(VecGetArray(q, &s_ptr)); 2369566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD, "\n cost function=%g\n", (double)(s_ptr[0] - ctx.Pm))); 2379566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(q, &s_ptr)); 2389566063dSJacob Faibussowitsch PetscCall(MatDenseGetArray(qgrad, &s_ptr)); 2399566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD, "\n gradient=%g\n", (double)s_ptr[0])); 2409566063dSJacob Faibussowitsch PetscCall(MatDenseRestoreArray(qgrad, &s_ptr)); 2419566063dSJacob Faibussowitsch PetscCall(MatDestroy(&qgrad)); 2429566063dSJacob Faibussowitsch PetscCall(MatDestroy(&sp)); 243c4762a1bSJed Brown } 244c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 245c4762a1bSJed Brown Free work space. All PETSc objects should be destroyed when they are no longer needed. 246c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 2479566063dSJacob Faibussowitsch PetscCall(MatDestroy(&ctx.Jac)); 2489566063dSJacob Faibussowitsch PetscCall(MatDestroy(&ctx.Jacp)); 2499566063dSJacob Faibussowitsch PetscCall(MatDestroy(&ctx.DRDU)); 2509566063dSJacob Faibussowitsch PetscCall(MatDestroy(&ctx.DRDP)); 2519566063dSJacob Faibussowitsch PetscCall(VecDestroy(&U)); 2529566063dSJacob Faibussowitsch PetscCall(TSDestroy(&ts)); 2539566063dSJacob Faibussowitsch PetscCall(PetscFinalize()); 254b122ec5aSJacob Faibussowitsch return 0; 255c4762a1bSJed Brown } 256c4762a1bSJed Brown 257c4762a1bSJed Brown /*TEST 258c4762a1bSJed Brown 259c4762a1bSJed Brown build: 260c4762a1bSJed Brown requires: !complex !single 261c4762a1bSJed Brown 262c4762a1bSJed Brown test: 263c4762a1bSJed Brown args: -sa_method adj -viewer_binary_skip_info -ts_type cn -pc_type lu 264c4762a1bSJed Brown 265c4762a1bSJed Brown test: 266c4762a1bSJed Brown suffix: 2 267c4762a1bSJed Brown args: -sa_method tlm -ts_type cn -pc_type lu 268c4762a1bSJed Brown 269c4762a1bSJed Brown test: 270c4762a1bSJed Brown suffix: 3 271c4762a1bSJed Brown args: -sa_method adj -ts_type rk -ts_rk_type 2a -ts_adapt_type dsp 272c4762a1bSJed Brown 273c4762a1bSJed Brown TEST*/ 274