scientific article; zbMATH DE number 5041601

Publication date: 18 July 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

modeling simulation numerical integration differential-algebraic equations differential equation solvers

Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) Research exposition (monographs, survey articles) pertaining to partial differential equations (35-02) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to numerical analysis (65-01) Research exposition (monographs, survey articles) pertaining to ordinary differential equations (34-02)

Related Items (62)

Modelling and simulation of self-regulating pneumatic valves ⋮ Adjoint Sensitivity Analysis for Nonsmooth Differential-Algebraic Equation Systems ⋮ Challenges in Model Reduction for Real-Time Simulation of Traction Chain Systems ⋮ A spectral method for stochastic fractional PDEs using dynamically-orthogonal/bi-orthogonal decomposition ⋮ HYST ⋮ ProbReach ⋮ Semi-implicit BDF time discretization of the Navier-Stokes equations with VMS-LES modeling in a high performance computing framework ⋮ Robust object-oriented formulation of directed thermofluid stream networks ⋮ Mixed-mode state-time discretization in ODE numerical integration ⋮ Modeling and simulation of closed loop multibody systems with bodies-joints composite modules ⋮ A model partitioning method based on dynamic decoupling for the efficient simulation of multibody systems ⋮ Stability criterion of a class of non-causal systems of differential equations ⋮ Circuit analysis using monotone+skew splitting ⋮ Lebesgue approximation model of continuous-time nonlinear dynamic systems ⋮ retQSS: a novel methodology for efficient modeling and simulation of particle systems in reticulated geometries ⋮ Acoustic black hole in a hyperelastic rod ⋮ An intergrid transfer operator using radial basis functions with application to cardiac electromechanics ⋮ A viability approach for fast recursive feasible finite horizon path planning of autonomous RC cars ⋮ Reach-avoid problems with time-varying dynamics, targets and constraints ⋮ An improved algorithm for robust safety analysis of sampled data systems ⋮ What's decidable about recursive hybrid automata? ⋮ Bounded-rate multi-mode systems based motion planning ⋮ A sufficient condition for the boundedness of matrix products accepted by an automaton ⋮ Efficient finite abstraction of mixed monotone systems ⋮ Compositional construction of approximate abstractions ⋮ Computing bisimulation functions using SOS optimization and δ -decidability over the reals ⋮ Probabilistic diagnosability of hybrid systems ⋮ Dynamic scheduling for networked control systems ⋮ Closed loop analysis of control command software ⋮ Real-time control under clock offsets between sensors and controllers ⋮ A delta-sampling verification theorem for discrete-time, possibly discontinuous systems ⋮ Eliminating spurious transitions in reachability with support functions ⋮ Finite state approximation for verification of partially observable stochastic hybrid systems ⋮ Statistical verification of dynamical systems using set oriented methods ⋮ Requirements for hybrid cosimulation standards ⋮ SpaTeL ⋮ Computing the Skorokhod distance between polygonal traces ⋮ First steps toward formal controller synthesis for bipedal robots ⋮ Vulnerability analysis of dynamical power networks to stochastic link failure attacks ⋮ Temporal logic motion planning using POMDPs with parity objectives ⋮ Reactive synthesis from signal temporal logic specifications ⋮ Estimator-based reactive synthesis under incomplete information ⋮ Cross-entropy temporal logic motion planning ⋮ Stability and stabilization of polynomial dynamical systems using Bernstein polynomials ⋮ Segregated Algorithms for the Numerical Simulation of Cardiac Electromechanics in the Left Human Ventricle ⋮ Symbolic elimination in dynamic optimization based on block-triangular ordering ⋮ Application of the rosenbrock methods to the solution of unsteady 3D incompressible Navier-Stokes equations ⋮ Bringing consistency to simulation of population models -- Poisson simulation as a bridge between micro and macro simulation ⋮ Isogeometric analysis of the electrophysiology in the human heart: numerical simulation of the bidomain equations on the atria ⋮ On the choice of initial guesses for the Newton-Raphson algorithm ⋮ Compact sparse symbolic Jacobian computation in large systems of ODEs ⋮ On the numerical stability in dynamical distributed simulations ⋮ Structural types for systems of equations: type refinements for structurally dynamic first-class modular systems of equations ⋮ Exploring the performance of spatial stochastic simulation algorithms ⋮ Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games ⋮ A Hele-Shaw-Cahn-Hilliard model for incompressible two-phase flows with different densities ⋮ Modeling and simulation of large-scale systems: a systematic comparison of modeling paradigms ⋮ CellularAutomataLib2: improving the support for cellular automata modelling in Modelica ⋮ Simulation of systems with dynamically varying model structure ⋮ Time-accurate calculation and bifurcation analysis of the incompressible flow over a square cavity using variational multiscale modeling ⋮ Recomputing causality assignments on lumped process models when adding new simplification assumptions ⋮ Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point

Uses Software

Matlab

This page was built for publication: