Modelica

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
• PETSc DMNetwork: a library for scalable network PDE-based multiphysics simulations
• 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
• 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
• 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
• Automated safety analysis by minimal path set detection for multi-domain object-oriented models
• 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
• Efficient parallel solution of large-scale nonlinear dynamic optimization problems
• Optimal control of hybrid systems with sliding modes
• 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
• Towards a modeling language for cyber-physical 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
• New method to assess tube support plate clogging phenomena in steam generators of nuclear power plants
• Numerical solution of quasi-linear differential-algebraic equations and industrial simulation of multibody systems.
• An ideal homokinetic joint formulation for general-purpose multibody real-time simulation
• How to shape noise spectra for continuous system simulation
• Design ofSPICELib: A Modelica library for modeling and analysis of electric circuits
• Analysis and numerical solution of structured and switched differential-algebraic systems
• Minimal formulation of joint motion for biomechanisms
• Drum-boiler dynamics
• TACO: a toolkit for AMPL control optimization
• Affine crystal graphs and two-colored partitions
• Automatic sensitivity analysis of DAE-systems generated from equation-based modeling languages
• The structural index of sensitivity equation systems
• From synchronous programs to symbolic representations of hybrid 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
• Optimal control for unstructured nonlinear differential-algebraic equations of arbitrary index
• Object-oriented modelling of flexible beams
• A formal model for a hybrid programming language
• Control-oriented modelling and simulation of spacecraft attitude and orbit dynamics
• Computer modeling and simulation of dynamic systems using Wolfram SystemModeler
• On the choice of boundary conditions for mode shapes in flexible multibody systems
• On parameter and state estimation for linear differential--algebraic equations
• CPS modeling integration hub and design space exploration with application to microrobotics
• Interactive dynamic optimization server -- connecting one modelling language with many solvers
• A component-oriented model for wastewater pumping plants
• Modelling and control of auxiliary loads in heavy vehicles
• Bond graph modelling of a 4-parameter photovoltaic array
• 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
• Fault detection and localization using Modelica and abductive reasoning
• Dynamic description for system of rigid bodies with Modelica. General approach
• \textit{CellularAutomataLib2}: improving the support for cellular automata modelling in Modelica
• A Python framework to create and simulate models with variable structure in common simulation environments
• A two-way path between formal and informal design of embedded systems
• 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
• From simulation models to hybrid automata using urgency and relaxation
• Languages and Tools for Hybrid Systems Design
• Sparse automatic differentiation for complex networks of differential-algebraic equations using abstract elementary algebra
• 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
• Title not available (Why is that?)
• Model-100: specification language for interacting processes
• Implementation of a modelica compiler using JastAdd attribute grammars

This page was built for software: Modelica