844 search results - page 4 / 169 » Reachability in Linear Dynamical Systems |
AMCS
2008
14 years 11 months ago
2008
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
105
Voted
ENTCS
2008
15 years 25 days 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...
92
Voted
MFCS
2010
Springer
14 years 11 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...
107
click to vote
ACTA
2007
15 years 27 days 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...