Sciweavers

3053 search results - page 6 / 611

» Hybrid Systems Diagnosis

20

HYBRID
2007
Springer

113views Control Systems» more HYBRID 2007»

Approximately Bisimilar Finite Abstractions of Stable Linear Systems

14 years 1 months ago

Approximately Bisimilar Finite Abstractions of Stable Linear Systems

Download www-ljk.imag.fr

Antoine Girard

claim paper

Read More »

19

HYBRID
2004
Springer

100views Control Systems» more HYBRID 2004»

Nonlinear Systems: Approximating Reach Sets

14 years 1 months ago

Nonlinear Systems: Approximating Reach Sets

Download www.csl.sri.com

Ashish Tiwari, Gaurav Khanna

claim paper

Read More »

21

HYBRID
2004
Springer

93views Control Systems» more HYBRID 2004»

A Numerical Technique for Stability Analysis of Linear Switched Systems

14 years 1 months ago

A Numerical Technique for Stability Analysis of Linear Switched Systems

Download www.dcs.gla.ac.uk

Christos A. Yfoulis, Robert Shorten

claim paper

Read More »

16

HYBRID
2009
Springer

123views Control Systems» more HYBRID 2009»

Bounded and Unbounded Safety Verification Using Bisimulation Metrics

14 years 2 months ago

Bounded and Unbounded Safety Verification Using Bisimulation Metrics

Download www.rennes.supelec.fr

Gang Zheng, Antoine Girard

claim paper

Read More »

20

HYBRID
2007
Springer

95views Control Systems» more HYBRID 2007»

Asymptotic Stability of Switched Higher Order Laplacians

14 years 1 months ago

Asymptotic Stability of Switched Higher Order Laplacians

Download www.seas.upenn.edu

Abubakr Muhammad, Ali Jadbabaie

claim paper

Read More »

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