Normative systems (norms) have been widely proposed as a technique for coordinating multi-agent systems (MAS). The automated synthesis of norms is a complex problem that remains open. iron (Intelligent Robust On-line Norm synthesis mechanism) is a novel mechanism for the on-line automated synthesis of norms for MASs. iron produces conflict-free norms that characterise necessary conditions for c...

The CONNECT Integrated Project aims at enabling continuous composition of networked systems to respond to the evolution of functionalities provided to and required from the networked environment. CONNECT aims at dropping the interoperability barrier by adopting a revolutionary approach to the seamless networking of digital systems, that is, synthesizing on-the-fly the connectors via which netwo...

Normative systems (norms) have been widely proposed as a technique for coordinating multi-agent systems (MAS). The automated synthesis of norms is a complex problem that remains open. iron (Intelligent Robust On-line Norm synthesis mechanism) is a novel mechanism for the on-line automated synthesis of norms for MASs. iron produces conflict-free norms that characterise necessary conditions for c...

In this paper, we postulate “re-use” and not “synthesis” as driving force for productivity increase, confirm that postulate by analysis of semi-custom-design and RTL Synthesis, and derive from that postulate the next paradigm shift in the automated design process: Automated TLM Design: Manual architecture design on transaction level based on transaction level IP models and automated generation ...

We study the correctness of automated synthesis for concurrent monitors. We adapt HML, a subset of the Hennessy-Milner logic with recursion, to specify safety properties of Erlang programs, and define an automated translation from HML formulas to Erlang monitors so as to detect formula violations at runtime. We then formalise monitor correctness for our concurrent setting and describe a techn...

In highly competitive industrial market, the concept of failure analysis is an unavoidable fact in complex industrial systems. Reliability of such systems not only depends on the reliability of each element of these systems, but also depends on occurrence of sequence of failures. In this paper, a novel approach to sequential failure analysis is proposed which is based upon fuzzy logic and the c...

agricultural sector experiences the application of automated systems since two decades ago. these systems are applied to harvest fruits in agriculture. computer vision is one of the technologies that are most widely used in food industries and agriculture. in this paper, an automated system based on computer vision for harvesting greenhouse tomatoes is presented. a ccd camera takes images from ...