Search Sciweavers | Sciweavers

483 search results - page 3 / 97

» Linear Ranking with Reachability

136

click to vote

FORMATS
2007
Springer

92views Formal Methods» more FORMATS 2007»

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata

16 years 2 days ago

Download www.lsv.ens-cachan.fr

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

posted by susmitjha

Read More »

123

Voted

HYBRID
2007
Springer

88views Control Systems» more HYBRID 2007»

Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction

16 years 2 days ago

Download www.cs.cmu.edu

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

claim paper

Read More »

100

Voted

CIE
2008
Springer

66views Applied Computing» more CIE 2008»

Reachability in Linear Dynamical Systems

15 years 8 months ago

Download www.loria.fr

Emmanuel Hainry

claim paper

Read More »

163

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

15 years 7 months ago

Download www.eecs.berkeley.edu

Sumit Kumar Jha, Susmit Jha

posted by susmitjha

Read More »

123

click to vote

AMCS
2008

113views Mathematics» more AMCS 2008»

Fractional Positive Continuous-Time Linear Systems and Their Reachability

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers