Sciweavers

LICS
2012
IEEE
12 years 1 months ago
The Complete Proof Theory of Hybrid Systems
—Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems. They freely combine dynamical features from both worlds. For that reason, it has ofte...
André Platzer
SIAMNUM
2011
102views more  SIAMNUM 2011»
13 years 2 months ago
Differential Equations for Roaming Pseudospectra: Paths to Extremal Points and Boundary Tracking
Abstract. When studying the ε-pseudospectrum of a matrix, one is often interested in computing the extremal points having maximum real part or modulus. This is a crucial step, for...
Nicola Guglielmi, Christian Lubich
CORR
2010
Springer
86views Education» more  CORR 2010»
13 years 8 months ago
Time-Symmetric Cellular Automata
Together with the concept of reversibility, another relevant physical notion is time-symmetry, which expresses that there is no way of distinguishing between backward and forward t...
Andrés Moreira, Anahí Gajardo
CORR
2010
Springer
114views Education» more  CORR 2010»
13 years 10 months ago
Computational Complexity of Iterated Maps on the Interval
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...
Christoph Spandl
CORR
2000
Springer
93views Education» more  CORR 2000»
13 years 11 months ago
Lattice Structure and Convergence of a Game of Cards
We study the dynamics of the so-called Game of Cards by using tools developed in the context of discrete dynamical systems. We extend a result of [4] and [10] (the last one in the ...
Eric Goles Ch., Michel Morvan, Ha Duong Phan
AMC
2000
94views more  AMC 2000»
13 years 11 months ago
Elements of a theory of simulation II: sequential dynamical systems
We study a class of discrete dynamical systems that is motivated by the generic structure of simulations. The systems consist of the following data: (a) a
Christopher L. Barrett, Henning S. Mortveit, Chris...
IJBC
2006
71views more  IJBC 2006»
13 years 11 months ago
Dynamics of Some Rational Discrete Dynamical Systems via Invariants
We consider several discrete dynamical systems for which some invariants can be found. Our study includes complex M
Anna Cima, Armengol Gasull, Víctor Ma&ntild...
IJCAI
2007
14 years 26 days ago
Computational Aspects of Analyzing Social Network Dynamics
Motivated by applications such as the spread of epidemics and the propagation of influence in social networks, we propose a formal model for analyzing the dynamics of such networ...
Christopher L. Barrett, Harry B. Hunt III, Madhav ...
KR
2010
Springer
14 years 4 months ago
Diagnosis as Planning Revisited
In discrete dynamical systems change results from actions. As such, given a set of observations, diagnoses often take the form of posited events that result in the observed behavi...
Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlrait...
ECAL
2003
Springer
14 years 4 months ago
Contextual Random Boolean Networks
Abstract. We propose the use of Deterministic Generalized Asynchronous Random Boolean Networks [1] as models of contextual deterministic discrete dynamical systems. We show that ch...
Carlos Gershenson, Jan Broekaert, Diederik Aerts