Filters








914 Hits in 3.7 sec

Efficient Syntax-Driven Lumping of Differential Equations [chapter]

Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2016 Lecture Notes in Computer Science  
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

Mirco Tribastone
2016 Electronic Proceedings in Theoretical Computer Science  
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

Angela Yun Zhu, Jun Inoue, Marisa Linnea Peralta, Walid Taha, Marcia K. O'Malley, Dane Powell
2009 2009 International Conference on Embedded Software and Systems  
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

Heinz A Preisig
2021 Processes  
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]

Randi Wang, Vadim Shapiro
2018 arXiv   pre-print
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

S.M. Hadi Sadati, Steffen Zschaler, Christos Bergeles
2019 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)  
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

E. Christen, K. Bakalar
1999 IEEE transactions on circuits and systems - 2, Analog and digital signal processing  
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]

Michael Hines, Ted Carnevale
2015 Encyclopedia of Computational Neuroscience  
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

M. L. Hines, N. T. Carnevale
1997 Neural Computation  
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]

Michael Hines, Ted Carnevale
2014 Encyclopedia of Computational Neuroscience  
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

Ted Carnevale
2007 Scholarpedia  
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'

Luca Cardelli, Radu Grosu, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
2019 Zenodo  
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

Hessa Al-Junaid
2016 International Journal of Computing and Digital Systems  
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]

Luca Bertagna, Simone Deparis, Luca Formaggia, Davide Forti, and Alessandro Veneziani
2017 arXiv   pre-print
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

Valeriu Damian, Adrian Sandu, Mirela Damian, Florian Potra, Gregory R. Carmichael
2002 Computers and Chemical Engineering  
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