Modelica
From MaRDI portal
Software:16531
swMATH4352MaRDI QIDQ16531FDOQ16531
Author name not available (Why is that?)
Cited In (only showing first 100 items - show all)
- A graph-based modeling abstraction for optimization: concepts and implementation in Plasmo.jl
- On the numerical stability in dynamical distributed simulations
- On the choice of initial guesses for the Newton-Raphson algorithm
- Implementing hybrid semantics: from functional to imperative
- Modelling and simulation of self-regulating pneumatic valves
- Physical modelling of a long pneumatic transmission line: models of successively decreasing complexity and their experimental validation
- JuSFEM: a Julia-based open-source package of parallel smoothed finite element method (S-FEM) for elastic problems
- Nonlinear eigenvalue problems: a challenge for modern eigenvalue methods
- Dynamical properties of hybrid systems simulators
- Handbook of Dynamic System Modeling
- On the effect of multirate co-simulation techniques in the efficiency and accuracy of multibody system dynamics
- An automated modelling approach for dynamic performance evaluation of mechatronic multibody systems
- Mathematical models as research data via flexiformal theory graphs
- Reachability Analysis of Nonlinear Differential-Algebraic Systems
- Hybrid automata: an insight into the discrete abstraction of discontinuous systems
- Dynamic object-oriented heat exchanger models for simulation of fluid property transitions
- Locking-free compressible quadrilateral finite elements: Poisson's ratio-dependent vector interpolants
- A Formal Model for a Hybrid Programming Language
- Modelling approach for the simulation-based preliminary design of power transmissions
- Regularization of DAEs based on the signature method
- Conditions of contracts for separating responsibilities in heterogeneous systems
- Title not available (Why is that?)
- Lyapunov, Bohl and Sacker-Sell spectral intervals for differential-algebraic equations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Regular solutions of DAE hybrid systems and regularization techniques
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A robust approach for finding all well-separated solutions of sparse systems of nonlinear equations
- Approximation algorithms in combinatorial scientific computing
- Title not available (Why is that?)
- Efficient parallel solution of large-scale nonlinear dynamic optimization problems
- Efficient coupling of multibody software with numerical computing environments and block diagram simulators
- Implementation of the Contensou-Erismann tangent forces model in the Hertz contact problem
- Object-oriented modelling of general flexible multibody systems
- Simulation of systems with dynamically varying model structure
- Data-driven simulation for general-purpose multibody dynamics using deep neural networks
- Non-standard semantics of hybrid systems modelers
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Control: a perspective
- Center of percussion and gait design of biped robots
- Unified multi-domain modelling and simulation of space robot for capturing a moving target
- Assimulo: a unified framework for ODE solvers
- Multiphysics modeling and optimization of mechatronic multibody systems
- Observer-based fault tolerant control design for a class of LPV descriptor systems
- Explicit parallel co-simulation approach: analysis and improved coupling method based on H-infinity synthesis
- Computer Modeling and Simulation of Dynamic Systems Using Wolfram SystemModeler
- New method to assess tube support plate clogging phenomena in steam generators of nuclear power plants
- An ideal homokinetic joint formulation for general-purpose multibody real-time simulation
- PETSc DMNetwork
- Design ofSPICELib: A Modelica library for modeling and analysis of electric circuits
- Minimal formulation of joint motion for biomechanisms
- Drum-boiler dynamics
- TACO: a toolkit for AMPL control optimization
- Affine crystal graphs and two-colored partitions
- The structural index of sensitivity equation systems
- Optimal Control of Hybrid Systems with Sliding Modes
- From synchronous programs to symbolic representations of hybrid systems
- Towards a Modeling Language for Cyber-Physical Systems
- Efficient connection processing in equation-based object-oriented models
- \(QR\) methods and error analysis for computing Lyapunov and Sacker--Sell spectral intervals for linear differential-algebraic equations
- Model Continuity in Discrete Event Simulation
- Modeling of the wet end part of a paper mill with Dymola
- Title not available (Why is that?)
- Optimal control for unstructured nonlinear differential-algebraic equations of arbitrary index
- Object-oriented modelling of flexible beams
- Control-oriented modelling and simulation of spacecraft attitude and orbit dynamics
- On the choice of boundary conditions for mode shapes in flexible multibody systems
- On parameter and state estimation for linear differential--algebraic equations
- Modelling and control of auxiliary loads in heavy vehicles
- Adjoint Sensitivity Analysis for Nonsmooth Differential-Algebraic Equation Systems
- Bond graph modelling of a 4-parameter photovoltaic array
- Title not available (Why is that?)
- Title not available (Why is that?)
- Knowledge-based simulation model generation for control law design applied to a quadrotor UAV
- Object-oriented modelling and simulation of ACUREX solar thermal power plant
- Recomputing causality assignments on lumped process models when adding new simplification assumptions
- Object-oriented sub-zonal modelling for efficient energy-related building simulation
- Psychological aspects of equation-based modelling
- Virtual lab in Modelica of a cement clinker cooler for operator training
- CPS Modeling Integration Hub and Design Space Exploration with Application to Microrobotics
- A Python framework to create and simulate models with variable structure in common simulation environments
- Symbolic elimination in dynamic optimization based on block-triangular ordering
- Model based control system design using SysML, Simulink, and Computer Algebra System
- Surrogate assisted interactive multiobjective optimization in energy system design of buildings
- An equation-based algorithmic differentiation technique for differential algebraic equations
- An integrated Runge-Kutta root finding method for reliable collision detection in multibody systems
- Languages and Tools for Hybrid Systems Design
- Integrating formal specifications into applications: the ProB Java API
- New Software Tool for Modelling and Control of Discrete-Event and Hybrid Systems Using Petri Nets
- Constructive Collisions
- Title not available (Why is that?)
- Model-100: specification language for interacting processes
- Implementation of a modelica compiler using JastAdd attribute grammars
- CellularAutomataLib2: improving the support for cellular automata modelling in Modelica
- A Two-Way Path Between Formal and Informal Design of Embedded Systems
- Analysis of the model-based corrector approach for explicit cosimulation
- Comparison of X-T and X-X co-simulation techniques applied on railway dynamics
- Object-oriented modelling and simulation of a motorcycle
This page was built for software: Modelica