5200 search results - page 185 / 1040 » Symbolic models for control systems |
ESOP
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
SAC
2009
ACM
14 years 1 months ago
2009
ACM
Pervasive computing devices (e.g., sensor networks, localization devices, cameras, etc.) are increasingly present in every aspect of our lives. These devices are able to generate ...
IJON
2006
13 years 9 months ago
2006
We review a recently developed engineering control approach to attention. The control system is extended to include biasing by emotional valence, with qualitative analysis given of...
ENTCS
2006
13 years 9 months ago
2006
In this paper, some fundamental aspects of the semantics of rule-based systems are sketched and related to the semantics of visual models. A rule-based system comprises a set of r...
SMC
2007
IEEE
14 years 3 months ago
2007
IEEE
—The development of theoretical-based methods for the assessment of multi-agent systems properties is of critical importance. This work investigates methodologies for modeling, a...