Cargando…

Reachability Analysis Using Message Passing over Tree Decompositions

In this paper, we study efficient approaches to reachability analysis for discrete-time nonlinear dynamical systems when the dependencies among the variables of the system have low treewidth. Reachability analysis over nonlinear dynamical systems asks if a given set of target states can be reached,...

Descripción completa

Detalles Bibliográficos
Autor principal: Sankaranarayanan, Sriram
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7363237/
http://dx.doi.org/10.1007/978-3-030-53288-8_30