AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically


pub
Go Generating

AI Traceability

AI parses the academic lineage of this thesis


Master Reading Tree
Generate MRT

Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace

IEEE Transactions on Automatic Control, no. 2 (2020): 477-492

Cited by: 1|Views6
EI WOS
Get fulltext within 24h
Bibtex

Abstract

One often wishes for the ability to formally analyze large-scale systems---typically, however, one can either formally analyze a rather small system or informally analyze a large-scale system. This work tries to further close this performance gap for reachability analysis of linear systems. Reachability analysis can capture the whole set ...More

Code:

Data:

Your rating :
0

 

Tags
Comments
小科