Sciweavers

282 search results - page 2 / 57
» An Algebraic Method for Analyzing Open-Loop Dynamic Systems
Sort
View
GECCO
2008
Springer
180views Optimization» more  GECCO 2008»
13 years 9 months ago
Bond-graphs + genetic programming: analysis of an automatically synthesized rotary mechanical system
Initial results of an experiment devised to combine Bond-Graph modeling and simulation with genetic programming for automated design of a simple mechatronic system are reported in...
Saheeb Ahmed Kayani, Muhammad Afzaal Malik
WSC
2004
13 years 10 months ago
Using Dynamic Multiresolution Modelling to Analyze Large Material Flow Systems
The interactive, simulation-aided analysis of material flow systems is often done with the help of virtual reality. If a user wants to influence the simulation run, the simulation...
Wilhelm Dangelmaier, Bengt Mueck
FMCAD
2004
Springer
14 years 8 days ago
Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
Thao Dang, Alexandre Donzé, Oded Maler
STACS
1997
Springer
14 years 20 days ago
Methods and Applications of (MAX, +) Linear Algebra
Exotic semirings such as the “(max, +) semiring” (R ∪ {−∞}, max, +), or the “tropical semiring” (N ∪ {+∞}, min, +), have been invented and reinvented many times s...
Stephane Gaubert, Max Plus
SIAMNUM
2011
252views more  SIAMNUM 2011»
13 years 3 months ago
Analysis and Computation of Compatible Least-Squares Methods for div-curl Equations
We develop and analyze least-squares finite element methods for two complementary div-curl elliptic boundary value problems. The first one prescribes the tangential component of ...
Pavel B. Bochev, Kara Peterson, Christopher M. Sie...