Sciweavers

2366 search results - page 4 / 474

» Pfaffian Hybrid Systems

14

HYBRID
2007
Springer

113views Control Systems» more HYBRID 2007»

Approximately Bisimilar Finite Abstractions of Stable Linear Systems

13 years 11 months ago

Approximately Bisimilar Finite Abstractions of Stable Linear Systems

Download www-ljk.imag.fr

Antoine Girard

claim paper

Read More »

9

HYBRID
2004
Springer

100views Control Systems» more HYBRID 2004»

Nonlinear Systems: Approximating Reach Sets

13 years 10 months ago

Nonlinear Systems: Approximating Reach Sets

Download www.csl.sri.com

Ashish Tiwari, Gaurav Khanna

claim paper

Read More »

11

HYBRID
2004
Springer

93views Control Systems» more HYBRID 2004»

A Numerical Technique for Stability Analysis of Linear Switched Systems

13 years 10 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 »

5

HYBRID
2009
Springer

123views Control Systems» more HYBRID 2009»

Bounded and Unbounded Safety Verification Using Bisimulation Metrics

14 years 5 days ago

Bounded and Unbounded Safety Verification Using Bisimulation Metrics

Download www.rennes.supelec.fr

Gang Zheng, Antoine Girard

claim paper

Read More »

13

HYBRID
2007
Springer

95views Control Systems» more HYBRID 2007»

Asymptotic Stability of Switched Higher Order Laplacians

13 years 11 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 4 / 474 Last » Next »