Sciweavers

1146 search results - page 5 / 230

» Periodically Controlled Hybrid Systems

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 »

22

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 »

25

HYBRID
2007
Springer

102views Control Systems» more HYBRID 2007»

Comparing Forward and Backward Reachability as Tools for Safety Analysis

14 years 1 months ago

Comparing Forward and Backward Reachability as Tools for Safety Analysis

Download www.cs.ubc.ca

Ian M. Mitchell

claim paper

Read More »

25

HYBRID
2007
Springer

128views Control Systems» more HYBRID 2007»

Feedback Scheduling for Pipelines of Tasks

14 years 1 months ago

Feedback Scheduling for Pipelines of Tasks

Download retis.sssup.it

Tommaso Cucinotta, Luigi Palopoli

claim paper

Read More »

29

RTSS
1997
IEEE

113views Control Systems» more RTSS 1997»

Exploiting skips in periodic tasks for enhancing aperiodic responsiveness

13 years 12 months ago

Exploiting skips in periodic tasks for enhancing aperiodic responsiveness

Download retis.sssup.it

In certain real-time applications, ranging from multimedia to telecommunication systems, timing constraints can be more flexible than scheduling theory usually permits. For exampl...

Marco Caccamo, Giorgio C. Buttazzo

claim paper

Read More »

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