12115 search results - page 435 / 2423 » Bisimulation of Dynamical Systems |
195
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We consider the problem of small-gain analysis of asymptotic behavior in interconnected nonlinear dynamic systems. Mathematical models of these systems are allowed to be uncert...
184
click to vote
MICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
Selective dynamic compilation systems, typically driven by annotations that identify run-time constants, can achieve significant program speedups. However, manually inserting ann...
193
click to vote
GEOINFO
2004
15 years 8 months ago
2004
: Spatial Dynamic Simulation Systems have three main components: the space dimension, the time dimension and the dynamic process. Dynamic processes have been modeled by transition ...
180
Voted
CCE
2008
15 years 7 months ago
2008
Most solid oxide fuel cell (SOFC) modelling efforts emphasize steady-state cell operation. However, understanding the dynamic behaviour is essential to predict the performance and...
215
Voted
APAL
2005
15 years 6 months ago
2005
Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dy...