Sciweavers

3053 search results - page 5 / 611

» Hybrid Systems Diagnosis

25

HYBRID
2005
Springer

118views Control Systems» more HYBRID 2005»

Generating Polynomial Invariants for Hybrid Systems

14 years 1 months ago

Generating Polynomial Invariants for Hybrid Systems

Download www.csl.sri.com

Enric Rodríguez-Carbonell, Ashish Tiwari

claim paper

Read More »

22

HYBRID
2004
Springer

94views Control Systems» more HYBRID 2004»

Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints

14 years 1 months ago

Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints

Download www.cs.brandeis.edu

Timothy J. Hickey, David K. Wittenberg

claim paper

Read More »

24

HYBRID
2004
Springer

117views Control Systems» more HYBRID 2004»

Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks

14 years 1 months ago

Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks

Download www.stanford.edu

Patrick Lincoln, Ashish Tiwari

claim paper

Read More »

21

HYBRID
2010
Springer

156views Control Systems» more HYBRID 2010»

Succinct discrete time approximations of distributed hybrid automata

14 years 2 months ago

Succinct discrete time approximations of distributed hybrid automata

Download www2.ee.kth.se

P. S. Thiagarajan, Shaofa Yang

claim paper

Read More »

20

HYBRID
2009
Springer

110views Control Systems» more HYBRID 2009»

Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer

14 years 2 months ago

Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer

Download www.suzlab.nuem.nagoya-u.ac.jp

Yuichi Tazaki, Jun-ichi Imura

claim paper

Read More »

« Prev « First page 5 / 611 Last » Next »