844 search results - page 4 / 169 » Reachability in Linear Dynamical Systems |
AMCS
2008
14 years 9 months ago
2008
HYBRID
2007
Springer
15 years 4 months ago
2007
Springer
ENTCS
2008
14 years 10 months ago
2008
This paper introduces a new algorithm dedicated to the rigorous reachability analysis of nonlinear dynamical systems. The algorithm is initially presented in the context of discre...
MFCS
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. In this paper we discuss the computational power of Lipschitz dynamical systems which are robust to infinitesimal perturbations. Whereas the study in [1] was done only f...
ACTA
2007
14 years 10 months ago
2007
Abstract. In order to design and analyse complex systems, modelers need formal models with two contradictory requirements: a high expressivity and the decidability of behavioural p...