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
• 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