N MODERN industry, productivity, quality, reliability and safety heavily depend on the performance of the applied sensors. They ensure an interface between the production equipment and the surrounding world, and also provide a feedback for the result of the executed operations. Thus, sensors can be found in extremely wide range of applications and play a fairly important role in industrial syst...

This paper presents Design_net, a knowledge-based system to the online digital display, retrieval and archiving of rich media resources for industrial design education and research. It addresses the needs of end-users (teachers, researchers and students) and content providers interacting with the School of Design of the Politecnico di Milano. The project moves from the assumption that tradition...

The core focus of my research is on developing software tools and technologies to support the creation of augmented and mixed reality experiences (AR for short), especially the fundamental (and often subtle) problems that have made augmented reality systems difficult to design and deploy. In my research, I prefer not to focus on a specific aspect of AR software and technology (such as tracking ...

The metrology field has been progressed with the appearance of the wireless intelligent sensor systems providing more capabilities such as signal processing, remote multisensing fusion etc. This kind of devices is rapidly making their way into medical and industrial monitoring, collision avoidance, traffic control, automotive and others applications. However, numerous design challenges for wire...

AbstructDesign methods for sequence controllers play a very important role in advancing industrial automation. The increasing complexity and varying needs of modern discrete manufacturing systems have challenged the traditional design methods such as the use of ladder logic diagrams (LLD’s) for programmable logic controllers. The methodologies based on research results in computer science have ...

The International Conference on Formal Methods in Computer-Aided Design 2000 is a biennial forum on state·of·the·art tools, methods, and technologies for the application of formalized reasoning to the design of microelectronic systems. The conference covers all relevant formal aspects of work in computer·aided system design including specification, verification, synthesis and testing. A princip...

Industrial systems are generally characterized by their complication which is essentially caused by the large number of variables exist in such systems, and also the overlapping structure of information coming to or going from it. This complication can afford loss of some important parts of information, in addition to making study of these systems, if not impossible, at least very hard for rese...