Communicating Processes with Data for Supervisory Coordination

We employ supervisory controllers to safely coordinate high-level discrete(-event) behavior of distributed components of complex systems. Supervisory controllers observe discrete-event system behavior, make a decision on allowed activities, and communicate the control signals to the involved parties. Models of the supervisory controllers can be automatically synthesized based on formal models of the system components and a formalization of the safe coordination (control) requirements. Based on the obtained models, code generation can be used to implement the supervisory controllers in software, on a PLC, or an embedded (micro)processor. In this article, we develop a process theory with data that supports a model-based systems engineering framework for supervisory coordination. We employ communication to distinguish between the different flows of information, i.e., observation and supervision, whereas we employ data to specify the coordination requirements more compactly, and to increase the expressivity of the framework. To illustrate the framework, we remodel an industrial case study involving coordination of maintenance procedures of a printing process of a high-tech Oce printer.Comment: In Proceedings FOCLASA 2012, arXiv:1208.432

Mobile Interface for a Smart Wheelchair

Smart wheelchairs are designed for severely motor impaired people that have difficulties to drive standard -manual or electric poweredwheelchairs. Their goal is to automate driving tasks as much as possible in order to minimize user intervention. Nevertheless, human involvement is still necessary to maintain high level task control. Therefore in the interface design it is necessary to take into account the restrictions imposed by the system (mobile and small), by the type of users (people with severe motor restrictions) and by the task (to select a destination among a number of choices in a structured environment). This paper describes the structure of an adaptive mobile interface for smart wheelchairs that is driven by the context.Comisión Interministerial de Ciencia y Tecnología TER96-2056-C02-0

High dimensionality carrierless amplitude phase modulation technique for radio over fiber system

Advanced modulation formats such as carrierless amplitude phase (CAP) modulation technique is one of the solutions to increase flexibility and high bit rates to support multi-level and multi-dimensional modulations with the absence of sinusoidal carrier. Recent work are focussing on the 2D CAP-64 QAM Radio-over-Fiber (RoF) system but no extension of higher dimensions is reported. This thesis expands the area of CAP modulation technique and RoF system. The work described in this thesis is devoted to the investigation of 1.25 GSa/s sampling rate for multi-level and multi-dimensional CAP in point-to-point (P2P) and RoF system at 3 km single-mode fiber (SMF). Another advanced modulation format which is known as discrete multitone (DMT) is compared with CAP modulation in order to observe the performance in different modulation schemes. The 4QAM-DMT and 16QAM-DMT at different number of subcarriers are carried out in this propagation. Based on the results, the transmission performance in terms of BER and received optical power for RoF transmission are degraded to almost 3 dB when comparing to 3 km SMF transmission. These are caused by the wireless power loss and impairment effects. The bit rate and spectral efficiency can be increased with the increasing number of levels, and may decreased once the number of dimensions is increased due to the higher up-sampling factor. However, the additional dimensions can be used to support multiple service applications. Therefore, it can be concluded that CAP has better performance as compared to DMT in terms of higher spectral efficiency and data rate. To conclude, the results presented in this thesis exhibit high feasibility of CAP modulation in the increasing number of dimensions and levels. Thus, CAP has the potential to be utilized in multiple service allocations for different number of users