Keyword: matrix information geometry : Search

Applied Filters

People

Publications

Conferences

Publication Date

2 Results for: Keyword: matrix information geometryEdit SearchSave SearchRSS

Searched The ACM Guide to Computing Literature (3,843,210 records)|Limit your search to The ACM Full-Text Collection (775,266 records)

Showing 1 - 2of2 Results

Select All

Export Citations Save to Binder

per page:

Recency

research-article
September 2016
A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems
ACM Transactions on Embedded Computing Systems (TECS), Volume 15, Issue 4Article No.: 69, Pages 1–20https://doi.org/10.1145/2932187

We present a new numerical abstract domain based on ellipsoids designed for the formal verification of switched linear systems. Unlike the existing approaches, this domain does not rely on a user-given template. We overcome the difficulty that ...
2
103
Metrics
Total Citations2
Total Downloads103
Last 12 Months5
Last 6 weeks0
Get Access
research-article
October 2015
A scalable algebraic method to infer quadratic invariants of switched systems
EMSOFT '15: Proceedings of the 12th International Conference on Embedded SoftwarePages 75–84

We present a new numerical abstract domain based on ellipsoids designed for the formal verification of switched linear systems. Unlike the existing approaches, this domain does not rely on a user-given template. We overcome the difficulty that ...
1
37
Metrics
Total Citations1
Total Downloads37
Last 12 Months1
Last 6 weeks1
Get Access