Search Sciweavers | Sciweavers

4434 search results - page 9 / 887

» On the Composition of Hybrid Systems

204

click to vote

RTCSA
1997
IEEE

142views Embedded Systems» more RTCSA 1997»

Behavior verification of hybrid real-time requirements by qualitative formalism

15 years 11 months ago

Download koasas.kaist.ac.kr

Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...

Jang-Soo Lee, Sung Deok Cha

claim paper

Read More »

130

click to vote

HYBRID
2009
Springer

123views Control Systems» more HYBRID 2009»

Bounded and Unbounded Safety Verification Using Bisimulation Metrics

16 years 1 months ago

Download www.rennes.supelec.fr

Gang Zheng, Antoine Girard

claim paper

Read More »

146

click to vote

HYBRID
2007
Springer

95views Control Systems» more HYBRID 2007»

Asymptotic Stability of Switched Higher Order Laplacians

16 years 24 days ago

Download www.seas.upenn.edu

Abubakr Muhammad, Ali Jadbabaie

claim paper

Read More »

146

click to vote

HYBRID
2007
Springer

102views Control Systems» more HYBRID 2007»

Comparing Forward and Backward Reachability as Tools for Safety Analysis

16 years 24 days ago

Download www.cs.ubc.ca

Ian M. Mitchell

claim paper

Read More »

162

click to vote

HYBRID
2007
Springer

128views Control Systems» more HYBRID 2007»

Feedback Scheduling for Pipelines of Tasks

16 years 24 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers