Sciweavers

3823 search results - page 13 / 765

» Stability of Hybrid Systems

22

HYBRID
2004
Springer

100views Control Systems» more HYBRID 2004»

Nonlinear Systems: Approximating Reach Sets

14 years 2 months ago

Nonlinear Systems: Approximating Reach Sets

Download www.csl.sri.com

Ashish Tiwari, Gaurav Khanna

claim paper

Read More »

20

HYBRID
2009
Springer

123views Control Systems» more HYBRID 2009»

Bounded and Unbounded Safety Verification Using Bisimulation Metrics

14 years 3 months ago

Bounded and Unbounded Safety Verification Using Bisimulation Metrics

Download www.rennes.supelec.fr

Gang Zheng, Antoine Girard

claim paper

Read More »

29

HYBRID
2007
Springer

102views Control Systems» more HYBRID 2007»

Comparing Forward and Backward Reachability as Tools for Safety Analysis

14 years 2 months ago

Comparing Forward and Backward Reachability as Tools for Safety Analysis

Download www.cs.ubc.ca

Ian M. Mitchell

claim paper

Read More »

29

HYBRID
2007
Springer

128views Control Systems» more HYBRID 2007»

Feedback Scheduling for Pipelines of Tasks

14 years 2 months ago

Feedback Scheduling for Pipelines of Tasks

Download retis.sssup.it

Tommaso Cucinotta, Luigi Palopoli

claim paper

Read More »

23

HYBRID
2005
Springer

106views Control Systems» more HYBRID 2005»

Sensor/Actuator Abstractions for Symbolic Embedded Control Design

14 years 2 months ago

Sensor/Actuator Abstractions for Symbolic Embedded Control Design

Download www.ee.ucla.edu

Paulo Tabuada

claim paper

Read More »

« Prev « First page 13 / 765 Last » Next »