Continuous system simulation
From MaRDI portal
differential equation solversdifferential-algebraic equationsmodelingnumerical integrationsimulation
Research exposition (monographs, survey articles) pertaining to ordinary differential equations (34-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 numerical analysis (65-02) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02)
Recommendations
Cited in
(80)- Simulation of systems with dynamically varying model structure
- Semi-implicit BDF time discretization of the Navier-Stokes equations with VMS-LES modeling in a high performance computing framework
- Application of the rosenbrock methods to the solution of unsteady 3D incompressible Navier-Stokes equations
- Isogeometric analysis of the electrophysiology in the human heart: numerical simulation of the bidomain equations on the atria
- On the numerical stability in dynamical distributed simulations
- A spectral method for stochastic fractional PDEs using dynamically-orthogonal/bi-orthogonal decomposition
- Mixed-mode state-time discretization in ODE numerical integration
- An intergrid transfer operator using radial basis functions with application to cardiac electromechanics
- On the choice of initial guesses for the Newton-Raphson algorithm
- Compact sparse symbolic Jacobian computation in large systems of ODEs
- Modeling and simulation of large-scale systems: a systematic comparison of modeling paradigms
- 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
- Bringing consistency to simulation of population models -- Poisson simulation as a bridge between micro and macro simulation
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- \textit{CellularAutomataLib2}: improving the support for cellular automata modelling in Modelica
- 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
- HYST: a source transformation and translation tool for hybrid automaton models
- ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems
- 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: a novel spatial-temporal logic and its applications to networked systems
- 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
- Simulation of dynamic systems with MATLAB and Simulink
- Adjoint sensitivity analysis for nonsmooth differential-algebraic equation systems
- Benchmark fluid flow problems for continuous simulation languages
- scientific article; zbMATH DE number 50188 (Why is no real title available?)
- scientific article; zbMATH DE number 53442 (Why is no real title available?)
- scientific article; zbMATH DE number 624387 (Why is no real title available?)
- Symbolic elimination in dynamic optimization based on block-triangular ordering
- scientific article; zbMATH DE number 946253 (Why is no real title available?)
- scientific article; zbMATH DE number 847295 (Why is no real title available?)
- scientific article; zbMATH DE number 884995 (Why is no real title available?)
- Modelling and simulation of self-regulating pneumatic valves
- Challenges in Model Reduction for Real-Time Simulation of Traction Chain Systems
- Robust object-oriented formulation of directed thermofluid stream networks
- Structural types for systems of equations: type refinements for structurally dynamic first-class modular systems of equations
- Simulation of dynamic systems with MATLAB and Simulink
- Exploring the performance of spatial stochastic simulation algorithms
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
- Stability criterion of a class of non-causal systems of differential equations
- Modeling and simulation of closed loop multibody systems with bodies-joints composite modules
- Circuit analysis using monotone+skew splitting
- retQSS: a novel methodology for efficient modeling and simulation of particle systems in reticulated geometries
- Acoustic black hole in a hyperelastic rod
- Smooth hyperelastic potentials for 1D problems of bimodular materials
- Array-aware matching: taming the complexity of large-scale simulation models
- Nitsche method for Navier-Stokes equations with slip boundary conditions: convergence analysis and VMS-LES stabilization
- Quantized state system methods for stochastic differential equations
- Accuracy bounds for the simulation of a class of continuous-time nonlinear models
- A nearly exact discretization of a neutral-form neural network model
- A nearly exact discretization of a two-neuron system with a time delay
- Efficient matching in large DAE models
- A Hele-Shaw-Cahn-Hilliard model for incompressible two-phase flows with different densities
- On general linearly implicit quantized state system methods
- A model partitioning method based on dynamic decoupling for the efficient simulation of multibody systems
- Lebesgue approximation model of continuous-time nonlinear dynamic systems
This page was built for publication: Continuous system simulation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5476735)
