269 search results - page 6 / 54 » Applications of MetiTarski in the Verification of Control an... |
HYBRID
2003
Springer
14 years 18 days ago
2003
Springer
Abstract. An important class of soft real-time applications require dynamic allocation of computational resources in order to comply with their quality of service (QoS) requirement...
RTCSA
1997
IEEE
13 years 11 months ago
1997
IEEE
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...
CDC
2010
IEEE
13 years 1 months ago
2010
IEEE
Motivated by current technological advances in the design of real-time embedded systems, this work deals with the digital control of a continuous-time linear time-invariant (LTI) s...
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
HYBRID
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. Multi-modal control is a commonly used design tool for breaking up complex control tasks into sequences of simpler tasks. In this paper, we show that by viewing the contr...