Continuous system simulation
From MaRDI portal
simulationnumerical integrationmodelingdifferential-algebraic equationsdifferential equation solvers
Research exposition (monographs, survey articles) pertaining to numerical analysis (65-02) 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 systems and control theory (93-02)
Recommendations
Cited in
(78)- Dynamic scheduling for networked control systems
- A nearly exact discretization of a two-neuron system with a time delay
- Closed loop analysis of control command software
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point
- Isogeometric analysis of the electrophysiology in the human heart: numerical simulation of the bidomain equations on the atria
- Compositional construction of approximate abstractions
- On the numerical stability in dynamical distributed simulations
- On the choice of initial guesses for the Newton-Raphson algorithm
- A sufficient condition for the boundedness of matrix products accepted by an automaton
- Computing the Skorokhod distance between polygonal traces
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
- Modelling and simulation of self-regulating pneumatic valves
- Recomputing causality assignments on lumped process models when adding new simplification assumptions
- scientific article; zbMATH DE number 946253 (Why is no real title available?)
- Exploring the performance of spatial stochastic simulation algorithms
- Application of the rosenbrock methods to the solution of unsteady 3D incompressible Navier-Stokes equations
- Finite state approximation for verification of partially observable stochastic hybrid systems
- Benchmark fluid flow problems for continuous simulation languages
- Statistical verification of dynamical systems using set oriented methods
- scientific article; zbMATH DE number 53442 (Why is no real title available?)
- Eliminating spurious transitions in reachability with support functions
- \textit{CellularAutomataLib2}: improving the support for cellular automata modelling in Modelica
- Probabilistic diagnosability of hybrid systems
- What's decidable about recursive hybrid automata?
- A Hele-Shaw-Cahn-Hilliard model for incompressible two-phase flows with different densities
- Symbolic elimination in dynamic optimization based on block-triangular ordering
- retQSS: a novel methodology for efficient modeling and simulation of particle systems in reticulated geometries
- Segregated algorithms for the numerical simulation of cardiac electromechanics in the left human ventricle
- Time-accurate calculation and bifurcation analysis of the incompressible flow over a square cavity using variational multiscale modeling
- Computing bisimulation functions using SOS optimization and -decidability over the reals
- An intergrid transfer operator using radial basis functions with application to cardiac electromechanics
- Array-aware matching: taming the complexity of large-scale simulation models
- Estimator-based reactive synthesis under incomplete information
- Stability criterion of a class of non-causal systems of differential equations
- Efficient matching in large DAE models
- A spectral method for stochastic fractional PDEs using dynamically-orthogonal/bi-orthogonal decomposition
- Simulation of systems with dynamically varying model structure
- Reach-avoid problems with time-varying dynamics, targets and constraints
- Simulation of dynamic systems with MATLAB and Simulink
- Vulnerability analysis of dynamical power networks to stochastic link failure attacks
- A model partitioning method based on dynamic decoupling for the efficient simulation of multibody systems
- Semi-implicit BDF time discretization of the Navier-Stokes equations with VMS-LES modeling in a high performance computing framework
- scientific article; zbMATH DE number 847295 (Why is no real title available?)
- Lebesgue approximation model of continuous-time nonlinear dynamic systems
- Stability and stabilization of polynomial dynamical systems using Bernstein polynomials
- Bringing consistency to simulation of population models -- Poisson simulation as a bridge between micro and macro simulation
- Reactive synthesis from signal temporal logic specifications
- scientific article; zbMATH DE number 624387 (Why is no real title available?)
- Simulation of dynamic systems with MATLAB and Simulink
- Acoustic black hole in a hyperelastic rod
- Efficient finite abstraction of mixed monotone systems
- Quantized state system methods for stochastic differential equations
- Mixed-mode state-time discretization in ODE numerical integration
- A viability approach for fast recursive feasible finite horizon path planning of autonomous RC cars
- An improved algorithm for robust safety analysis of sampled data systems
- Bounded-rate multi-mode systems based motion planning
- Requirements for hybrid cosimulation standards
- Adjoint sensitivity analysis for nonsmooth differential-algebraic equation systems
- Circuit analysis using monotone+skew splitting
- Accuracy bounds for the simulation of a class of continuous-time nonlinear models
- Challenges in Model Reduction for Real-Time Simulation of Traction Chain Systems
- Nitsche method for Navier-Stokes equations with slip boundary conditions: convergence analysis and VMS-LES stabilization
- Modeling and simulation of closed loop multibody systems with bodies-joints composite modules
- A delta-sampling verification theorem for discrete-time, possibly discontinuous systems
- Compact sparse symbolic Jacobian computation in large systems of ODEs
- Modeling and simulation of large-scale systems: a systematic comparison of modeling paradigms
- Robust object-oriented formulation of directed thermofluid stream networks
- Cross-entropy temporal logic motion planning
- First steps toward formal controller synthesis for bipedal robots
- Real-time control under clock offsets between sensors and controllers
- Temporal logic motion planning using POMDPs with parity objectives
- scientific article; zbMATH DE number 50188 (Why is no real title available?)
- SpaTeL: a novel spatial-temporal logic and its applications to networked systems
- HYST: a source transformation and translation tool for hybrid automaton models
- A nearly exact discretization of a neutral-form neural network model
- Smooth hyperelastic potentials for 1D problems of bimodular materials
- ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems
- Structural types for systems of equations: type refinements for structurally dynamic first-class modular systems of equations
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)
