520 search results - page 7 / 104 » Distributed Monitoring of Hybrid Systems: A model-directed a... |
CISIS
2010
IEEE
14 years 29 days ago
2010
IEEE
Abstract—Introspection is the prerequisite of an autonomic behavior, the first step towards a performance improvement and a resource-usage optimization for largescale distribute...
ENTCS
2006
13 years 7 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
MKWI
2008
13 years 9 months ago
2008
: We introduce infrastructure monitoring as an application domain that demands decentralized system designs. This is motivated by the large scale of these systems, the heterogeneit...
HYBRID
2009
Springer
14 years 2 months ago
2009
Springer
We investigate a new approach for solving boundary control problems for dynamical systems that are governed by transport equations, when the control function is restricted to binar...
CAISE
2003
Springer
14 years 26 days ago
2003
Springer
We propose a kind of agent called probe-agent, which is responsible to collect and monitor the data and information according to its goals. On the other hand, it can summarize the ...