Search Sciweavers | Sciweavers

483 search results - page 3 / 97

» Linear Ranking with Reachability

click to vote

FORMATS
2007
Springer

92views Formal Methods» more FORMATS 2007»

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata

13 years 11 months ago

Download www.lsv.ens-cachan.fr

Susmit Jha, Bryan A. Brady, Sanjit A. Seshia

posted by susmitjha

Read More »

click to vote

HYBRID
2007
Springer

88views Control Systems» more HYBRID 2007»

Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction

13 years 11 months ago

Download www.cs.cmu.edu

Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, ...

claim paper

Read More »

click to vote

CIE
2008
Springer

66views Applied Computing» more CIE 2008»

Reachability in Linear Dynamical Systems

13 years 7 months ago

Download www.loria.fr

Emmanuel Hainry

claim paper

Read More »

click to vote

HASE
2008
IEEE

146views Control Systems» more HASE 2008»

Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions

13 years 6 months ago

Download www.eecs.berkeley.edu

Sumit Kumar Jha, Susmit Jha

posted by susmitjha

Read More »

click to vote

AMCS
2008

113views Mathematics» more AMCS 2008»

Fractional Positive Continuous-Time Linear Systems and Their Reachability

13 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers