Sciweavers

4434 search results - page 9 / 887
» On the Composition of Hybrid Systems
Sort
View
RTCSA
1997
IEEE
15 years 3 months ago
Behavior verification of hybrid real-time requirements by qualitative formalism
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
HYBRID
2007
Springer
15 years 5 months ago
Asymptotic Stability of Switched Higher Order Laplacians
Abubakr Muhammad, Ali Jadbabaie
HYBRID
2007
Springer
15 years 5 months ago
Feedback Scheduling for Pipelines of Tasks
Tommaso Cucinotta, Luigi Palopoli