Back to Results
First PageMeta Content
Abstract algebra / Abstract interpretation / Linear map / State space / Vector space / Algebra / Mathematics / Linear algebra


Scalable Analysis of Linear Systems using Mathematical Programming Sriram Sankaranarayanan, Henny B. Sipma, and Zohar Manna ?
Add to Reading List

Document Date: 2005-07-13 16:55:25

Open Document

File Size: 195,81 KB

Share Result on Facebook

Company

Preliminaries We / Linear Transition Systems / Siebel / /

/

IndustryTerm

large systems / simplex algorithm / transition systems / /

Organization

National Science Foundation / Computer Science Department / Stanford University Stanford / /

Person

Sriram Sankaranarayanan / Henny B. Sipma / Zohar Manna / /

Position

Propagation-based Analysis Forward / guard / /

Product

C-3014 / C-1693 / /

Technology

analysis algorithm / 3 3.1 Invariant Generation Algorithm / simulation / /

SocialTag