A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Efficient Syntax-Driven Lumping of Differential Equations
[chapter]
2016
Lecture Notes in Computer Science
Preserved Fulltext
We present an algorithm to compute exact aggregations of a class of systems of ordinary differential equations (ODEs). ...
In particular, we consider a simple extension of the syntax of elementary chemical reaction networks because i) it can express ODEs with derivatives given by polynomials of degree at most two, which are ...
Headers |R| and |S| give the number of reactions and species of the original and reduced RNs. Headers "Red. ...
doi:10.1007/978-3-662-49674-9_6
fatcat:eaqgjxy3urhkzmbiclxx6hdcve
Challenges in Quantitative Abstractions for Collective Adaptive Systems
2016
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2016 pre-print arXiv:1607.02966v1 fatcat:udvnuezmdfcgnmn3kwvqvgenvy
This paper focuses on models based on ordinary differential equations and reviews recent results where abstraction is achieved by aggregation of variables, reflecting on the shortcomings in the state of ...
Like with most large-scale systems, the evaluation of quantitative properties of collective adaptive systems is an important issue that crosscuts all its development stages, from design (in the case of ...
Syntax-driven minimisation. A more efficient minimisation algorithm can be provided for ODEs with derivatives that are multivariate polynomials of degree at most two [8] . ...
doi:10.4204/eptcs.217.8
fatcat:3cep4abwk5bfnphytxtrcrid54
Implementing Haptic Feedback Environments from High-Level Descriptions
2009
2009 International Conference on Embedded Software and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
This approach allows the developer to directly express physical equations describing the underlying dynamics. ...
By raising the level of abstraction for the developer, we avoid many of the problems that limit the effectiveness of traditional approaches. * ...
Compilation of PhyDL The core of the PhyDL code is a set of differential equations. Numerical methods exist to solve first order differential equations on a digital computer [3, 14] . ...
doi:10.1109/icess.2009.90
dblp:conf/icess/ZhuIPTOP09
fatcat:dlx46ppoyrbexi74ap5bwslkzu
Ontology-Based Process Modelling-with Examples of Physical Topologies
2021
Processes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
An ontology captures the structural elements and the applicable rules and defines the syntax to establish the behaviour equations. ...
Linking the behaviours to the basic entities defines the alphabet of a graphical language. We use this graphical language to represent processes, which has proven to be efficient and valuable. ...
The parser generates an abstract syntax tree, and the template machine uses the abstract syntax tree and generates different compiled versions of the equations, including LaTex rendering of online documentation ...
doi:10.3390/pr9040592
fatcat:blr3i4b3obetvjvgyy4b7ep6pu
Topological Semantics for Lumped Parameter Systems Modeling
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
is governed by a system of ordinary differential and algebraic equations. ...
Languages and simulation tools for modeling such systems differ in syntax, informal semantics, and in the methods by which such systems of equations are generated and simulated, leading to numerous interoperability ...
This research was supported in part by the National Institute of Standards and Technology (NIST) under cooperative agreement 70NANB14H248, by NSF grants CMMI-1344205, CMMI-1361862, and CMMI-1547189, and ...
arXiv:1811.02666v1
fatcat:3fays64chjh3lhzvdvlauu6voe
A Matlab-Internal DSL for Modelling Hybrid Rigid-Continuum Robots with TMTDyn
2019
2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We present the language implementation, and discuss some of the benefits and challenges of building a Matlab-internal DSL. ...
maintainability of the models constructed using TMTDyn. ...
For a continuum system, where usually a system of differential equations describes the system mechanics, a differential format of the lumped-system approach can be employed. ...
doi:10.1109/models-c.2019.00086
dblp:conf/models/SadatiZB19
fatcat:joupa45utzc43eavwkw7g3gbku
VHDL-AMS-a hardware description language for analog and mixed-signal applications
1999
IEEE transactions on circuits and systems - 2, Analog and digital signal processing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
This paper provides an overview of the VHDL-AMS hardware description language for analog and mixed-signal applications, by describing the major elements of the language and illustrating them by examples ...
The systems to be modeled are lumped systems that can be described by ordinary differential equations and algebraic equations; the solution of the equations describing the behavior of the system may include ...
Differential and Algebraic Equations The continuous aspects of the behavior of the lumped systems targeted by VHDL-AMS can be described by a system of ordinary DAE's of the form (1) where is a vector ...
doi:10.1109/82.799677
fatcat:bu2cw46hh5akhnhbxexjhcjelm
NEURON Simulation Environment
[chapter]
2015
Encyclopedia of Computational Neuroscience
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
ACKNOWLEDGMENTS We wish to thank John Moore, Zach Mainen, Bill Lytton, David Jaffe, and the many other users of NEURON for their encouragement, helpful suggestions, and other contributions. ...
of kinetic schemes or sets of simultaneous differential and algebraic equations. ...
For example, sets of differential and nonlinear simultaneous equations are written using an expression syntax such as x' = f(x, y, t) g(x, y) = h(x, y) where the prime refers to the derivative with respect ...
doi:10.1007/978-1-4614-6675-8_795
fatcat:iporurjndzehhpogrrdtiwbb4u
The NEURON Simulation Environment
1997
Neural Computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
ACKNOWLEDGMENTS We wish to thank John Moore, Zach Mainen, Bill Lytton, David Jaffe, and the many other users of NEURON for their encouragement, helpful suggestions, and other contributions. ...
of kinetic schemes or sets of simultaneous differential and algebraic equations. ...
For example, sets of differential and nonlinear simultaneous equations are written using an expression syntax such as x' = f(x, y, t) g(x, y) = h(x, y) where the prime refers to the derivative with respect ...
doi:10.1162/neco.1997.9.6.1179
pmid:9248061
fatcat:qh2nccuscvhrjod4m42wik4hmq
NEURON Simulation Environment
[chapter]
2014
Encyclopedia of Computational Neuroscience
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
ACKNOWLEDGMENTS We wish to thank John Moore, Zach Mainen, Bill Lytton, David Jaffe, and the many other users of NEURON for their encouragement, helpful suggestions, and other contributions. ...
of kinetic schemes or sets of simultaneous differential and algebraic equations. ...
For example, sets of differential and nonlinear simultaneous equations are written using an expression syntax such as x' = f(x, y, t) g(x, y) = h(x, y) where the prime refers to the derivative with respect ...
doi:10.1007/978-1-4614-7320-6_795-1
fatcat:chxe2ostrzefbateen7h2q6z2u
Neuron simulation environment
2007
Scholarpedia
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
ACKNOWLEDGMENTS We wish to thank John Moore, Zach Mainen, Bill Lytton, David Jaffe, and the many other users of NEURON for their encouragement, helpful suggestions, and other contributions. ...
of kinetic schemes or sets of simultaneous differential and algebraic equations. ...
For example, sets of differential and nonlinear simultaneous equations are written using an expression syntax such as x' = f(x, y, t) g(x, y) = h(x, y) where the prime refers to the derivative with respect ...
doi:10.4249/scholarpedia.1378
fatcat:6mpndgmanje3fgq4lao7alldvm
Accompanying material for 'Lumpability for Uncertain Continuous-Time Markov Chains'
2019
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The pdf is an extended version of the draft containing the proofs, while the archive contains information on how to replicate the experiments presented in the draft and all the used models. ...
ERODE supports CTMC minimization as a special case of lumping algorithms for non-linear ordinary differential equations [15, 11, 13, 10] . 7 Given that CTMC ordinary lumpability is the most important ...
The most pressing line of future work is to extend lumpability to other nonlinear uncertain dynamical systems such as ordinary differential equations.
Proofs Proof (Theorem 2). ...
doi:10.5281/zenodo.3478161
fatcat:4sd327alprgxnattgvykf6gf7a
Modeling Single Flexible Link Using Hardware Description Language
2016
International Journal of Computing and Digital Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The paper objective is of twofold, verifying the new language capabilities, and modelling a system of high complexity. The model was compared with SIMULINK/MATLAB and proved to be highly accurate. ...
This paper presents a well known model of arm with flexible robotic link modeled in Hardware Description Language (HDL). ...
Analogue HDLs support the description of systems of Differential Algebraic Equations (DAEs) and support network semantics and behavioural descriptions. ...
doi:10.12785/ijcds/050308
fatcat:yvh6owxmozdabncluz2e6nkzry
The LifeV library: engineering mathematics beyond the proof of concept
[article]
2017
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
LifeV is a library for the finite element (FE) solution of partial differential equations in one, two, and three dimensions. ...
The main focus is on the parallel environment which is mainly driven by domain decomposition methods and based on external libraries such as MPI, the Trilinos project, HDF5 and ParMetis. ...
Details on the syntax of the two formats are available online. ...
arXiv:1710.06596v1
fatcat:g7nvlbv5xjhtrmjtvsvo42xulm
The kinetic preprocessor KPP-a software environment for solving chemical kinetics
2002
Computers and Chemical Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The concentrations of a chemical system evolve in time according to the differential law of mass action kinetics. ...
A computer simulation requires the implementation of the differential system and its numerical integration in time. ...
Acknowledgements The work of A. Sandu was supported in part by the NSF CAREER award ACI-0093139. The authors wish to thank to anonymous referees for their suggestions which strengthened this paper. ...
doi:10.1016/s0098-1354(02)00128-x
fatcat:cpfy4e2qwna4xpx4kf2x43ggui
« Previous
Showing results 1 — 15 out of 914 results