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: | Cattaruzza, Dario, Abate, Alessandro, Schrammel, Peter, Kroening, Daniel |
---|---|
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 |
Ejemplares similares
-
Unbounded-Time Safety Verification of Stochastic Differential Dynamics
por: Feng, Shenghua, et al.
Publicado: (2020) -
Instrumentation needs for LTI
por: Meddahi, Malika
Publicado: (2001) -
Parameterized Verification of Systems with Global Synchronization and Guards
por: Jaber, Nouraldin, et al.
Publicado: (2020) -
Post-mortem of the LTI project seen from AB/BDI
por: Jensen, L
Publicado: (2004) -
Using LTI Dynamics to Identify the Influential Nodes in a Network
por: Murić, Goran, et al.
Publicado: (2016)