269 search results - page 33 / 54 » Applications of MetiTarski in the Verification of Control an... |
HYBRID
2010
Springer
13 years 5 months ago
2010
Springer
In recent years, there have been intensive theoretical research works on modeling/analysis of oscillatory phenomena. In this paper, we derive a sufficient condition under which (a...
HYBRID
2004
Springer
14 years 23 days ago
2004
Springer
The joint spectral radius of a set of matrices is a measure of the maximal asymptotic growth rate that can be obtained by forming long products of matrices taken from the set. This...
ISSRE
2010
IEEE
13 years 5 months ago
2010
IEEE
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
ISCAS
2003
IEEE
14 years 19 days ago
2003
IEEE
Modelling of multi-layer power system interactions will become increasingly important as market mechanisms and feedback controls become more tightly coupled into the physical syst...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
– The advancement of multimedia services including audio/visual media has been rapid. The applications of cellular phones, in particular, have increased by using these technologi...