1c4762a1bSJed Brown static char help[] = "Trajectory sensitivity of a hybrid system with state-dependent switchings.\n"; 2c4762a1bSJed Brown 3c4762a1bSJed Brown /* 4c4762a1bSJed Brown The dynamics is described by the ODE 5c4762a1bSJed Brown u_t = A_i u 6c4762a1bSJed Brown 7c4762a1bSJed Brown where A_1 = [ 1 -100 8c4762a1bSJed Brown 10 1 ], 9c4762a1bSJed Brown A_2 = [ 1 10 10c4762a1bSJed Brown -100 1 ]. 11c4762a1bSJed Brown The index i changes from 1 to 2 when u[1]=2.75u[0] and from 2 to 1 when u[1]=0.36u[0]. 12c4762a1bSJed Brown Initially u=[0 1]^T and i=1. 13c4762a1bSJed Brown 14c4762a1bSJed Brown References: 15606c0280SSatish Balay + * - H. Zhang, S. Abhyankar, E. Constantinescu, M. Mihai, Discrete Adjoint Sensitivity Analysis of Hybrid Dynamical Systems With Switching, IEEE Transactions on Circuits and Systems I: Regular Papers, 64(5), May 2017 16606c0280SSatish Balay - * - I. A. Hiskens, M.A. Pai, Trajectory Sensitivity Analysis of Hybrid Systems, IEEE Transactions on Circuits and Systems, Vol 47, No 2, February 2000 17c4762a1bSJed Brown */ 18c4762a1bSJed Brown 19c4762a1bSJed Brown #include <petscts.h> 20c4762a1bSJed Brown 21c4762a1bSJed Brown typedef struct { 22c4762a1bSJed Brown PetscScalar lambda1; 23c4762a1bSJed Brown PetscScalar lambda2; 24c4762a1bSJed Brown PetscInt mode; /* mode flag*/ 25c4762a1bSJed Brown PetscReal print_time; 26c4762a1bSJed Brown } AppCtx; 27c4762a1bSJed Brown 28d71ae5a4SJacob Faibussowitsch PetscErrorCode MyMonitor(TS ts, PetscInt stepnum, PetscReal time, Vec U, void *ctx) 29d71ae5a4SJacob Faibussowitsch { 30c4762a1bSJed Brown AppCtx *actx = (AppCtx *)ctx; 31c4762a1bSJed Brown Mat sp; 32c4762a1bSJed Brown PetscScalar *u; 33c4762a1bSJed Brown PetscInt nump; 34c4762a1bSJed Brown FILE *f; 35c4762a1bSJed Brown 36c4762a1bSJed Brown PetscFunctionBegin; 37c4762a1bSJed Brown if (time >= actx->print_time) { 38c4762a1bSJed Brown actx->print_time += 1. / 256.; 399566063dSJacob Faibussowitsch PetscCall(TSForwardGetSensitivities(ts, &nump, &sp)); 409566063dSJacob Faibussowitsch PetscCall(MatDenseGetColumn(sp, 2, &u)); 41c4762a1bSJed Brown f = fopen("fwd_sp.out", "a"); 4263a3b9bcSJacob Faibussowitsch PetscCall(PetscFPrintf(PETSC_COMM_WORLD, f, "%20.15lf %20.15lf %20.15lf\n", (double)time, (double)PetscRealPart(u[0]), (double)PetscRealPart(u[1]))); 439566063dSJacob Faibussowitsch PetscCall(MatDenseRestoreColumn(sp, &u)); 44c4762a1bSJed Brown fclose(f); 45c4762a1bSJed Brown } 463ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 47c4762a1bSJed Brown } 48c4762a1bSJed Brown 49fa9584fbSIlya Fursov PetscErrorCode EventFunction(TS ts, PetscReal t, Vec U, PetscReal *fvalue, void *ctx) 50d71ae5a4SJacob Faibussowitsch { 51c4762a1bSJed Brown AppCtx *actx = (AppCtx *)ctx; 52c4762a1bSJed Brown const PetscScalar *u; 53c4762a1bSJed Brown 54c4762a1bSJed Brown PetscFunctionBegin; 559566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(U, &u)); 56c4762a1bSJed Brown if (actx->mode == 1) { 57fa9584fbSIlya Fursov fvalue[0] = PetscRealPart(u[1] - actx->lambda1 * u[0]); 58c4762a1bSJed Brown } else if (actx->mode == 2) { 59fa9584fbSIlya Fursov fvalue[0] = PetscRealPart(u[1] - actx->lambda2 * u[0]); 60c4762a1bSJed Brown } 619566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(U, &u)); 623ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 63c4762a1bSJed Brown } 64c4762a1bSJed Brown 65d71ae5a4SJacob Faibussowitsch PetscErrorCode ShiftGradients(TS ts, Vec U, AppCtx *actx) 66d71ae5a4SJacob Faibussowitsch { 67c4762a1bSJed Brown Mat sp; 68c4762a1bSJed Brown PetscScalar *x; 69c4762a1bSJed Brown PetscScalar *u; 70c4762a1bSJed Brown PetscScalar tmp[2], A1[2][2], A2[2], denorm; 71c4762a1bSJed Brown PetscInt nump; 72c4762a1bSJed Brown 73c4762a1bSJed Brown PetscFunctionBegin; 749566063dSJacob Faibussowitsch PetscCall(TSForwardGetSensitivities(ts, &nump, &sp)); 759566063dSJacob Faibussowitsch PetscCall(VecGetArray(U, &u)); 76c4762a1bSJed Brown 77c4762a1bSJed Brown if (actx->mode == 1) { 78c4762a1bSJed Brown denorm = -actx->lambda1 * (u[0] - 100. * u[1]) + 1. * (10. * u[0] + u[1]); 79c4762a1bSJed Brown A1[0][0] = 110. * u[1] * (-actx->lambda1) / denorm + 1.; 80c4762a1bSJed Brown A1[1][0] = -110. * u[0] * (-actx->lambda1) / denorm; 81c4762a1bSJed Brown A1[0][1] = 110. * u[1] * 1. / denorm; 82c4762a1bSJed Brown A1[1][1] = -110. * u[0] * 1. / denorm + 1.; 83c4762a1bSJed Brown 84c4762a1bSJed Brown A2[0] = 110. * u[1] * (-u[0]) / denorm; 85c4762a1bSJed Brown A2[1] = -110. * u[0] * (-u[0]) / denorm; 86c4762a1bSJed Brown } else { 87c4762a1bSJed Brown denorm = -actx->lambda2 * (u[0] + 10. * u[1]) + 1. * (-100. * u[0] + u[1]); 88c4762a1bSJed Brown A1[0][0] = 110. * u[1] * (actx->lambda2) / denorm + 1; 89c4762a1bSJed Brown A1[1][0] = -110. * u[0] * (actx->lambda2) / denorm; 90c4762a1bSJed Brown A1[0][1] = -110. * u[1] * 1. / denorm; 91c4762a1bSJed Brown A1[1][1] = 110. * u[0] * 1. / denorm + 1.; 92c4762a1bSJed Brown 93c4762a1bSJed Brown A2[0] = 0; 94c4762a1bSJed Brown A2[1] = 0; 95c4762a1bSJed Brown } 96c4762a1bSJed Brown 979566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(U, &u)); 98c4762a1bSJed Brown 999566063dSJacob Faibussowitsch PetscCall(MatDenseGetColumn(sp, 0, &x)); 100c4762a1bSJed Brown tmp[0] = A1[0][0] * x[0] + A1[0][1] * x[1]; 101c4762a1bSJed Brown tmp[1] = A1[1][0] * x[0] + A1[1][1] * x[1]; 102c4762a1bSJed Brown x[0] = tmp[0]; 103c4762a1bSJed Brown x[1] = tmp[1]; 1049566063dSJacob Faibussowitsch PetscCall(MatDenseRestoreColumn(sp, &x)); 105c4762a1bSJed Brown 1069566063dSJacob Faibussowitsch PetscCall(MatDenseGetColumn(sp, 1, &x)); 107c4762a1bSJed Brown tmp[0] = A1[0][0] * x[0] + A1[0][1] * x[1]; 108c4762a1bSJed Brown tmp[1] = A1[1][0] * x[0] + A1[1][1] * x[1]; 109c4762a1bSJed Brown x[0] = tmp[0]; 110c4762a1bSJed Brown x[1] = tmp[1]; 1119566063dSJacob Faibussowitsch PetscCall(MatDenseRestoreColumn(sp, &x)); 112c4762a1bSJed Brown 1139566063dSJacob Faibussowitsch PetscCall(MatDenseGetColumn(sp, 2, &x)); 114c4762a1bSJed Brown tmp[0] = A1[0][0] * x[0] + A1[0][1] * x[1]; 115c4762a1bSJed Brown tmp[1] = A1[1][0] * x[0] + A1[1][1] * x[1]; 116c4762a1bSJed Brown x[0] = tmp[0] + A2[0]; 117c4762a1bSJed Brown x[1] = tmp[1] + A2[1]; 1189566063dSJacob Faibussowitsch PetscCall(MatDenseRestoreColumn(sp, &x)); 119c4762a1bSJed Brown 1203ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 121c4762a1bSJed Brown } 122c4762a1bSJed Brown 123d71ae5a4SJacob Faibussowitsch PetscErrorCode PostEventFunction(TS ts, PetscInt nevents, PetscInt event_list[], PetscReal t, Vec U, PetscBool forwardsolve, void *ctx) 124d71ae5a4SJacob Faibussowitsch { 125c4762a1bSJed Brown AppCtx *actx = (AppCtx *)ctx; 126c4762a1bSJed Brown 127c4762a1bSJed Brown PetscFunctionBegin; 1289566063dSJacob Faibussowitsch /* PetscCall(VecView(U,PETSC_VIEWER_STDOUT_WORLD)); */ 1299566063dSJacob Faibussowitsch PetscCall(ShiftGradients(ts, U, actx)); 130c4762a1bSJed Brown if (actx->mode == 1) { 131c4762a1bSJed Brown actx->mode = 2; 1329566063dSJacob Faibussowitsch /* PetscCall(PetscPrintf(PETSC_COMM_SELF,"Change from mode 1 to 2 at t = %f \n",(double)t)); */ 133c4762a1bSJed Brown } else if (actx->mode == 2) { 134c4762a1bSJed Brown actx->mode = 1; 1359566063dSJacob Faibussowitsch /* PetscCall(PetscPrintf(PETSC_COMM_SELF,"Change from mode 2 to 1 at t = %f \n",(double)t)); */ 136c4762a1bSJed Brown } 1373ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 138c4762a1bSJed Brown } 139c4762a1bSJed Brown 140c4762a1bSJed Brown /* 141c4762a1bSJed Brown Defines the ODE passed to the ODE solver 142c4762a1bSJed Brown */ 143d71ae5a4SJacob Faibussowitsch static PetscErrorCode IFunction(TS ts, PetscReal t, Vec U, Vec Udot, Vec F, void *ctx) 144d71ae5a4SJacob Faibussowitsch { 145c4762a1bSJed Brown AppCtx *actx = (AppCtx *)ctx; 146c4762a1bSJed Brown PetscScalar *f; 147c4762a1bSJed Brown const PetscScalar *u, *udot; 148c4762a1bSJed Brown 149c4762a1bSJed Brown PetscFunctionBegin; 150c4762a1bSJed Brown /* The next three lines allow us to access the entries of the vectors directly */ 1519566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(U, &u)); 1529566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(Udot, &udot)); 1539566063dSJacob Faibussowitsch PetscCall(VecGetArray(F, &f)); 154c4762a1bSJed Brown 155c4762a1bSJed Brown if (actx->mode == 1) { 156c4762a1bSJed Brown f[0] = udot[0] - u[0] + 100 * u[1]; 157c4762a1bSJed Brown f[1] = udot[1] - 10 * u[0] - u[1]; 158c4762a1bSJed Brown } else if (actx->mode == 2) { 159c4762a1bSJed Brown f[0] = udot[0] - u[0] - 10 * u[1]; 160c4762a1bSJed Brown f[1] = udot[1] + 100 * u[0] - u[1]; 161c4762a1bSJed Brown } 162c4762a1bSJed Brown 1639566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(U, &u)); 1649566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(Udot, &udot)); 1659566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(F, &f)); 1663ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 167c4762a1bSJed Brown } 168c4762a1bSJed Brown 169c4762a1bSJed Brown /* 170c4762a1bSJed Brown Defines the Jacobian of the ODE passed to the ODE solver. See TSSetIJacobian() for the meaning of a and the Jacobian. 171c4762a1bSJed Brown */ 172d71ae5a4SJacob Faibussowitsch static PetscErrorCode IJacobian(TS ts, PetscReal t, Vec U, Vec Udot, PetscReal a, Mat A, Mat B, void *ctx) 173d71ae5a4SJacob Faibussowitsch { 174c4762a1bSJed Brown AppCtx *actx = (AppCtx *)ctx; 175c4762a1bSJed Brown PetscInt rowcol[] = {0, 1}; 176c4762a1bSJed Brown PetscScalar J[2][2]; 177c4762a1bSJed Brown const PetscScalar *u, *udot; 178c4762a1bSJed Brown 179c4762a1bSJed Brown PetscFunctionBegin; 1809566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(U, &u)); 1819566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(Udot, &udot)); 182c4762a1bSJed Brown 183c4762a1bSJed Brown if (actx->mode == 1) { 1849371c9d4SSatish Balay J[0][0] = a - 1; 1859371c9d4SSatish Balay J[0][1] = 100; 1869371c9d4SSatish Balay J[1][0] = -10; 1879371c9d4SSatish Balay J[1][1] = a - 1; 188c4762a1bSJed Brown } else if (actx->mode == 2) { 1899371c9d4SSatish Balay J[0][0] = a - 1; 1909371c9d4SSatish Balay J[0][1] = -10; 1919371c9d4SSatish Balay J[1][0] = 100; 1929371c9d4SSatish Balay J[1][1] = a - 1; 193c4762a1bSJed Brown } 1949566063dSJacob Faibussowitsch PetscCall(MatSetValues(B, 2, rowcol, 2, rowcol, &J[0][0], INSERT_VALUES)); 195c4762a1bSJed Brown 1969566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(U, &u)); 1979566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(Udot, &udot)); 198c4762a1bSJed Brown 1999566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(A, MAT_FINAL_ASSEMBLY)); 2009566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(A, MAT_FINAL_ASSEMBLY)); 201c4762a1bSJed Brown if (A != B) { 2029566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY)); 2039566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY)); 204c4762a1bSJed Brown } 2053ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 206c4762a1bSJed Brown } 207c4762a1bSJed Brown 208c4762a1bSJed Brown /* Matrix JacobianP is constant so that it only needs to be evaluated once */ 209d71ae5a4SJacob Faibussowitsch static PetscErrorCode RHSJacobianP(TS ts, PetscReal t, Vec X, Mat Ap, void *ctx) 210d71ae5a4SJacob Faibussowitsch { 211c4762a1bSJed Brown PetscFunctionBeginUser; 2123ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 213c4762a1bSJed Brown } 214c4762a1bSJed Brown 215d71ae5a4SJacob Faibussowitsch int main(int argc, char **argv) 216d71ae5a4SJacob Faibussowitsch { 217c4762a1bSJed Brown TS ts; /* ODE integrator */ 218c4762a1bSJed Brown Vec U; /* solution will be stored here */ 219c4762a1bSJed Brown Mat A; /* Jacobian matrix */ 220c4762a1bSJed Brown Mat Ap; /* Jacobian dfdp */ 221c4762a1bSJed Brown PetscMPIInt size; 222c4762a1bSJed Brown PetscInt n = 2; 223c4762a1bSJed Brown PetscScalar *u; 224c4762a1bSJed Brown AppCtx app; 225c4762a1bSJed Brown PetscInt direction[1]; 226c4762a1bSJed Brown PetscBool terminate[1]; 227c4762a1bSJed Brown Mat sp; 228c4762a1bSJed Brown PetscReal tend; 229c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 230c4762a1bSJed Brown Initialize program 231c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 232327415f7SBarry Smith PetscFunctionBeginUser; 2339566063dSJacob Faibussowitsch PetscCall(PetscInitialize(&argc, &argv, (char *)0, help)); 2349566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(PETSC_COMM_WORLD, &size)); 2353c633725SBarry Smith PetscCheck(size == 1, PETSC_COMM_WORLD, PETSC_ERR_WRONG_MPI_SIZE, "Only for sequential runs"); 236c4762a1bSJed Brown app.mode = 1; 237c4762a1bSJed Brown app.lambda1 = 2.75; 238c4762a1bSJed Brown app.lambda2 = 0.36; 239c4762a1bSJed Brown app.print_time = 1. / 256.; 240c4762a1bSJed Brown tend = 0.125; 241d0609cedSBarry Smith PetscOptionsBegin(PETSC_COMM_WORLD, NULL, "ex1fwd options", ""); 242c4762a1bSJed Brown { 2439566063dSJacob Faibussowitsch PetscCall(PetscOptionsReal("-lambda1", "", "", app.lambda1, &app.lambda1, NULL)); 2449566063dSJacob Faibussowitsch PetscCall(PetscOptionsReal("-lambda2", "", "", app.lambda2, &app.lambda2, NULL)); 2459566063dSJacob Faibussowitsch PetscCall(PetscOptionsReal("-tend", "", "", tend, &tend, NULL)); 246c4762a1bSJed Brown } 247d0609cedSBarry Smith PetscOptionsEnd(); 248c4762a1bSJed Brown 249c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 250c4762a1bSJed Brown Create necessary matrix and vectors 251c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 2529566063dSJacob Faibussowitsch PetscCall(MatCreate(PETSC_COMM_WORLD, &A)); 2539566063dSJacob Faibussowitsch PetscCall(MatSetSizes(A, n, n, PETSC_DETERMINE, PETSC_DETERMINE)); 2549566063dSJacob Faibussowitsch PetscCall(MatSetType(A, MATDENSE)); 2559566063dSJacob Faibussowitsch PetscCall(MatSetFromOptions(A)); 2569566063dSJacob Faibussowitsch PetscCall(MatSetUp(A)); 257c4762a1bSJed Brown 2589566063dSJacob Faibussowitsch PetscCall(MatCreateVecs(A, &U, NULL)); 259c4762a1bSJed Brown 2609566063dSJacob Faibussowitsch PetscCall(MatCreate(PETSC_COMM_WORLD, &Ap)); 2619566063dSJacob Faibussowitsch PetscCall(MatSetSizes(Ap, n, 3, PETSC_DETERMINE, PETSC_DETERMINE)); 2629566063dSJacob Faibussowitsch PetscCall(MatSetType(Ap, MATDENSE)); 2639566063dSJacob Faibussowitsch PetscCall(MatSetFromOptions(Ap)); 2649566063dSJacob Faibussowitsch PetscCall(MatSetUp(Ap)); 2659566063dSJacob Faibussowitsch PetscCall(MatZeroEntries(Ap)); 266c4762a1bSJed Brown 2679566063dSJacob Faibussowitsch PetscCall(MatCreateDense(PETSC_COMM_WORLD, PETSC_DECIDE, PETSC_DECIDE, n, 3, NULL, &sp)); 2689566063dSJacob Faibussowitsch PetscCall(MatZeroEntries(sp)); 2699566063dSJacob Faibussowitsch PetscCall(MatShift(sp, 1.0)); 270c4762a1bSJed Brown 2719566063dSJacob Faibussowitsch PetscCall(VecGetArray(U, &u)); 272c4762a1bSJed Brown u[0] = 0; 273c4762a1bSJed Brown u[1] = 1; 2749566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(U, &u)); 275c4762a1bSJed Brown 276c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 277c4762a1bSJed Brown Create timestepping solver context 278c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 2799566063dSJacob Faibussowitsch PetscCall(TSCreate(PETSC_COMM_WORLD, &ts)); 2809566063dSJacob Faibussowitsch PetscCall(TSSetProblemType(ts, TS_NONLINEAR)); 2819566063dSJacob Faibussowitsch PetscCall(TSSetType(ts, TSCN)); 2829566063dSJacob Faibussowitsch PetscCall(TSSetIFunction(ts, NULL, (TSIFunction)IFunction, &app)); 2839566063dSJacob Faibussowitsch PetscCall(TSSetIJacobian(ts, A, A, (TSIJacobian)IJacobian, &app)); 284c4762a1bSJed Brown 285c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 286c4762a1bSJed Brown Set initial conditions 287c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 2889566063dSJacob Faibussowitsch PetscCall(TSSetSolution(ts, U)); 289c4762a1bSJed Brown 2909566063dSJacob Faibussowitsch PetscCall(TSForwardSetSensitivities(ts, 3, sp)); 291c4762a1bSJed Brown /* Set RHS JacobianP */ 2929566063dSJacob Faibussowitsch PetscCall(TSSetRHSJacobianP(ts, Ap, RHSJacobianP, &app)); 293c4762a1bSJed Brown 294c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 295c4762a1bSJed Brown Set solver options 296c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 2979566063dSJacob Faibussowitsch PetscCall(TSSetMaxTime(ts, tend)); 2989566063dSJacob Faibussowitsch PetscCall(TSSetExactFinalTime(ts, TS_EXACTFINALTIME_MATCHSTEP)); 2999566063dSJacob Faibussowitsch PetscCall(TSSetTimeStep(ts, 1. / 256.)); 300f3fa974cSJacob Faibussowitsch PetscCall(TSMonitorSet(ts, MyMonitor, &app, NULL)); 3019566063dSJacob Faibussowitsch PetscCall(TSSetFromOptions(ts)); 302c4762a1bSJed Brown 303c4762a1bSJed Brown /* Set directions and terminate flags for the two events */ 304c4762a1bSJed Brown direction[0] = 0; 305c4762a1bSJed Brown terminate[0] = PETSC_FALSE; 3069566063dSJacob Faibussowitsch PetscCall(TSSetEventHandler(ts, 1, direction, terminate, EventFunction, PostEventFunction, (void *)&app)); 307c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 308c4762a1bSJed Brown Run timestepping solver 309c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 3109566063dSJacob Faibussowitsch PetscCall(TSSolve(ts, U)); 311c4762a1bSJed Brown 312c4762a1bSJed Brown /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 313c4762a1bSJed Brown Free work space. All PETSc objects should be destroyed when they are no longer needed. 314c4762a1bSJed Brown - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ 3159566063dSJacob Faibussowitsch PetscCall(MatDestroy(&A)); 3169566063dSJacob Faibussowitsch PetscCall(VecDestroy(&U)); 3179566063dSJacob Faibussowitsch PetscCall(TSDestroy(&ts)); 318c4762a1bSJed Brown 3199566063dSJacob Faibussowitsch PetscCall(MatDestroy(&Ap)); 3209566063dSJacob Faibussowitsch PetscCall(MatDestroy(&sp)); 3219566063dSJacob Faibussowitsch PetscCall(PetscFinalize()); 322d0609cedSBarry Smith return (0); 323c4762a1bSJed Brown } 324c4762a1bSJed Brown 325c4762a1bSJed Brown /*TEST 326c4762a1bSJed Brown 327c4762a1bSJed Brown build: 328c4762a1bSJed Brown requires: !complex 329c4762a1bSJed Brown 330c4762a1bSJed Brown test: 331*fe4ad979SIlya Fursov args: -ts_monitor 332c4762a1bSJed Brown 333c4762a1bSJed Brown TEST*/ 334