1681 search results - page 200 / 337 » Formal Design of Distributed Control Systems with Lustre |
185
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...
138
click to vote
JIRS
2000
15 years 3 months ago
2000
Abstract. Autonomous learning systems of significant complexity often consist of several interacting modules or agents. These modules collaborate to produce a system which, when vi...
134
Voted
ICCAD
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper presents an architecture and a wrapper synthesis approach for the design of multi-clock systems-on-chips. We build upon the initial work on multi-clock latency-insen...
111
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— This work deals with a group of mobile sensors sampling a spatiotemporal random field whose mean is unknown and covariance is known up to a scaling parameter. The Bayesian pos...
286
click to vote
ICAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Increasingly, applications need to be able to self-reconfigure in response to changing requirements and environmental conditions. Autonomic computing has been proposed as a means...