Search Sciweavers | Sciweavers

483 search results - page 3 / 97

» Linear Ranking with Reachability

106

Voted

FORMATS
2007
Springer

92views Formal Methods» more FORMATS 2007»

Symbolic Reachability Analysis of Lazy Linear Hybrid Automata

15 years 10 months ago

Download www.lsv.ens-cachan.fr

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

posted by susmitjha

Read More »

101

click to vote

HYBRID
2007
Springer

88views Control Systems» more HYBRID 2007»

Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction

15 years 10 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

Voted

CIE
2008
Springer

66views Applied Computing» more CIE 2008»

Reachability in Linear Dynamical Systems

15 years 5 months ago

Download www.loria.fr

Emmanuel Hainry

claim paper

Read More »

125

Voted

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 4 months ago

Download www.eecs.berkeley.edu

Sumit Kumar Jha, Susmit Jha

posted by susmitjha

Read More »

103

Voted

AMCS
2008

113views Mathematics» more AMCS 2008»

Fractional Positive Continuous-Time Linear Systems and Their Reachability

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers