State event location in differential-algebraic models

DOI10.1145/232807.232809zbMath0887.65075OpenAlexW2031130394MaRDI QIDQ4369968

Paul I. Barton, Taeshin Park

Publication date: 25 May 1998

Published in: ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)

Full work available at URL: http://www.acm.org/pubs/contents/journals/tomacs/

zbMATH Keywords

numerical examplesdifferential-algebraic equationsinterval arithmeticevent detectionbackward differentiation formula methoddiscontinuity stickingconsistent event location

Mathematics Subject Classification ID

Implicit ordinary differential equations, differential-algebraic equations (34A09) Nonlinear ordinary differential equations and systems (34A34) Roundoff error (65G50) Numerical methods for initial value problems involving ordinary differential equations (65L05)

Related Items

Smoothing and regularization strategies for optimization of hybrid dynamic systems ⋮ Adjoint Sensitivity Analysis for Nonsmooth Differential-Algebraic Equation Systems ⋮ Efficient solution of ordinary differential equations with a parametric lexicographic linear program embedded ⋮ Numerical event location techniques in discontinuous differential algebraic equations ⋮ An efficient unified approach for the numerical solution of delay differential equations ⋮ Event-driven integration of linear structural dynamics models under unilateral elastic constraints ⋮ Improved relaxations for the parametric solutions of ODEs using differential inequalities ⋮ A dynamic quantized state system execution framework for hybrid automata ⋮ Optimization problem coupled with differential equations: a numerical algorithm mixing an Interior-point method and event detection ⋮ Dynamic optimization of state-dependent switched systems with free switching sequences ⋮ Switching behavior of solutions of ordinary differential equations with abs-factorable right-hand sides ⋮ Local optimization of dynamic programs with guaranteed satisfaction of path constraints ⋮ An integrated Runge-Kutta root finding method for reliable collision detection in multibody systems ⋮ A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability ⋮ Hybrid automata: an insight into the discrete abstraction of discontinuous systems ⋮ Parametric mixed-integer 0-1 linear programming: The general case for a single parameter ⋮ Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques ⋮ Global solution of optimization problems with parameter-embedded linear dynamic systems. ⋮ Computing reachable sets for uncertain nonlinear monotone systems ⋮ Optimal control of flow with discontinuities. ⋮ Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate ⋮ On choosing state variables for piecewise-smooth dynamical system simulations ⋮ Optimization-based convex relaxations for nonconvex parametric systems of ordinary differential equations ⋮ Efficient integration over discontinuities for differential-algebraic systems

Uses Software

• gPROMS