Sciweavers

2366 search results - page 5 / 474

» Pfaffian Hybrid Systems

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 »

21

HYBRID
2004
Springer

100views Control Systems» more HYBRID 2004»

Non-concurrent Error Detection and Correction in Switched Linear Controllers

14 years 1 months ago

Non-concurrent Error Detection and Correction in Switched Linear Controllers

Download www.seas.upenn.edu

Shreyas Sundaram, Christoforos N. Hadjicostis

claim paper

Read More »

30

CAV
2012
Springer

242views Hardware» more CAV 2012»

Exercises in Nonstandard Static Analysis of Hybrid Systems

11 years 11 months ago

Exercises in Nonstandard Static Analysis of Hybrid Systems

Download www.fos.kuis.kyoto-u.ac.jp

Abstract. In formal veriﬁcation of hybrid systems, a big challenge is to incorporate continuous ﬂow dynamics in a discrete framework. Our previous work proposed to use nonstand...

Ichiro Hasuo, Kohei Suenaga

claim paper

Read More »

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