12115 search results - page 62 / 2423 » Bisimulation of Dynamical Systems |
ESOP
1992
Springer
14 years 28 days ago
1992
Springer
Dynamic typing is a program analysis targeted at removing runtime tagging and untagging operations from programs written in dynamically typed languages. This paper compares dynami...
ISCAS
2003
IEEE
14 years 2 months ago
2003
IEEE
The piecewise-linear approximation technique developed by Juli´an et al. in the past few years is applied to dynamical systems dependent on given numbers of state variables and p...
CDC
2009
IEEE
14 years 4 days ago
2009
IEEE
— In this paper, we give sufficient conditions which guarantee the existence of a diffeomorphism in an extended state space that allows to transform a multi-output nonlinear dyn...
FDL
2004
IEEE
14 years 17 days ago
2004
IEEE
The article describes semi-symbolic methods for the analysis of control and signal processing systems, including static and dynamic uncertainties. This above mentioned semi-symbol...
FSS
2002
13 years 8 months ago
2002
We formulate a stopping problem for dynamic fuzzy systems concerning with fuzzy decision environment. It could be regarded as a natural fuzzification of non-fuzzy stopping problem...