Chemical synthesis in microfluidic systems has matured over the two past decades from simple demonstration examples to applications in pharmaceuticals and fine chemicals. Advantages of controlled mixing, enhanced heat and mass transfer, expanded reaction conditions, and safety have driven adoption of continuous flow techniques. The field has moved beyond single transformations to continuous mul...

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...

This paper presents a unified framework for high level synthesis of linear analog systems, which is now an important research area in analog VLSI systems design. The salient features of this synthesis methodology are automated synthesis of system architectures and performance optimization by architectural exploration method. Operational transconductance amplifier (OTA) and capacitor (C) based i...

Fixture design is crucial part of manufacturing process. Fixture design is a critical design activity process, in which automation plays an integral role in linking computer-aided design (CAD) and computer-aided manufacturing (CAD). This paper presents a literature review in computer aided fixture design (CAFD) in terms of automation and optimization techniques over the past decades. First, the...

We present algorithms to synthesize component-based systems that are safe and deadlock-free using priorities, which define stateless-precedence between enabled actions. Our core method combines the concept of faultlocalization (using safety-game) and fault-repair (using SAT for conflict resolution). For complex systems, we propose three complementary methods as preprocessing steps for priority ...

Service-based systems have many applications, including collaborative research and development, e-business, health care, environmental control, military applications, and homeland security. Situation-aware service coordination is required for these systems to coordinate distributed activities under changing environment and workload. In this paper, an automated agent synthesis approach for situa...