12115 search results - page 60 / 2423 » Bisimulation of Dynamical Systems |
EUSFLAT
2007
13 years 10 months ago
2007
The paper deals with the modelling of dynamical processes based on Soft Computing methods. The structure of a Dynamic Fuzzy Model is illustrated on a linear dynamic system of firs...
PLDI
2012
ACM
11 years 11 months ago
2012
ACM
Workload, platform, and available resources constitute a parallel program’s execution environment. Most parallelization efforts statically target an anticipated range of environ...
INFOCOM
2012
IEEE
11 years 11 months ago
2012
IEEE
—We present the design and implementation of ADAM, the first adaptive beamforming based multicast system and experimental framework for indoor wireless environments. ADAM addres...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The exact computation of orbits of discrete dynamical systems on the interval is considered. Therefore, a multiple-precision floating point approach based on error analysis is ch...
CAV
2012
Springer
11 years 11 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...