17054 search results - page 327 / 3411 » Logics of Dynamical Systems |
165
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
205
click to vote
ENTCS
2006
15 years 7 months ago
2006
We refine our algebraic axiomatization in [8,9] of epistemic actions and epistemic update (notions defined in [5,6] using Kripke-style semantics), to incorporate a mechanism for d...
171
Voted
ISCAS
2003
IEEE
16 years 21 days 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...
208
Voted
CDC
2009
IEEE
15 years 10 months 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...
190
Voted
FDL
2004
IEEE
15 years 11 months 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...