Sciweavers

2364 search results - page 3 / 473

» On O-Minimal Hybrid Systems

13

HYBRID
2004
Springer

93views Control Systems» more HYBRID 2004»

A Numerical Technique for Stability Analysis of Linear Switched Systems

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

6

HYBRID
2009
Springer

123views Control Systems» more HYBRID 2009»

Bounded and Unbounded Safety Verification Using Bisimulation Metrics

14 years 28 days ago

Bounded and Unbounded Safety Verification Using Bisimulation Metrics

Download www.rennes.supelec.fr

Gang Zheng, Antoine Girard

claim paper

Read More »

14

HYBRID
2007
Springer

95views Control Systems» more HYBRID 2007»

Asymptotic Stability of Switched Higher Order Laplacians

14 years 9 days ago

Asymptotic Stability of Switched Higher Order Laplacians

Download www.seas.upenn.edu

Abubakr Muhammad, Ali Jadbabaie

claim paper

Read More »

16

HYBRID
2007
Springer

102views Control Systems» more HYBRID 2007»

Comparing Forward and Backward Reachability as Tools for Safety Analysis

14 years 9 days ago

Comparing Forward and Backward Reachability as Tools for Safety Analysis

Download www.cs.ubc.ca

Ian M. Mitchell

claim paper

Read More »

16

HYBRID
2007
Springer

128views Control Systems» more HYBRID 2007»

Feedback Scheduling for Pipelines of Tasks

14 years 9 days ago

Feedback Scheduling for Pipelines of Tasks

Download retis.sssup.it

Tommaso Cucinotta, Luigi Palopoli

claim paper

Read More »

« Prev « First page 3 / 473 Last » Next »