Cargando…
Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration
Reachability analysis of dynamical models is a relevant problem that has seen much progress in the last decades, however with clear limitations pertaining to the nature of the dynamics and the soundness of the results. This article focuses on sound safety verification of unbounded-time (infinite-hor...
| Autores principales: | , , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
Springer Netherlands
2020
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7900086/ https://www.ncbi.nlm.nih.gov/pubmed/33678930 http://dx.doi.org/10.1007/s10817-020-09562-z |