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

15 years 3 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

15 years 3 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

14 years 11 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

14 years 10 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

14 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers