CSP channels for CAN-bus connected embedded control systems

Closed loop control system typically contains multitude of sensors and actuators operated simultaneously. So they are parallel and distributed in its essence. But when mapping this parallelism to software, lot of obstacles concerning multithreading communication and synchronization issues arise. To overcome this problem, the CT kernel/library based on CSP algebra has been developed. This project (TES.5410) is about developing communication extension to the CT library to make it applicable in distributed systems. Since the library is tailored for control systems, properties and requirements of control systems are taken into special consideration. Applicability of existing middleware solutions is examined. A comparison of applicable fieldbus protocols is done in order to determine most suitable ones and CAN fieldbus is chosen to be first fieldbus used. Brief overview of CSP and existing CSP based libraries is given. Middleware architecture is proposed along with few novel ideas

Stability of sinusoidal responses of marginally stable bandpass sigma delta modulators

In this paper, we analyze the stability of the sinusoidal responses of second order interpolative marginally stable bandpass sigma delta modulators (SDMs) with the sum of the numerator and denominator polynomials equal to one and explore new results on the more general second order interpolative marginally stable bandpass SDMs. These results can be further extended to the high order interpolative marginally stable bandpass SDMs

Stabilization of systems with asynchronous sensors and controllers

We study the stabilization of networked control systems with asynchronous sensors and controllers. Offsets between the sensor and controller clocks are unknown and modeled as parametric uncertainty. First we consider multi-input linear systems and provide a sufficient condition for the existence of linear time-invariant controllers that are capable of stabilizing the closed-loop system for every clock offset in a given range of admissible values. For first-order systems, we next obtain the maximum length of the offset range for which the system can be stabilized by a single controller. Finally, this bound is compared with the offset bounds that would be allowed if we restricted our attention to static output feedback controllers.Comment: 32 pages, 6 figures. This paper was partially presented at the 2015 American Control Conference, July 1-3, 2015, the US

Application of LSI to signal detection: The deltic DFPCC

The development of the DELTIC DFPCC serial mode signal processor is discussed. The processor is designed to detect in the presence of background noise a signal coded into the zero crossings of the waveform. The unique features of the DELTIC DFPCC include versatility in handling a variety of signals and relative simplicity in implementation. A theoretical performance model is presented which predicts the expected value of the output signal as a function of the input signal to noise ratio. Experimental results obtained with the prototype system, which was breadboarded with LSI, MSI and SSI components, are given. The device was compared with other LSI schemes for signal processing and it was concluded that the DELTIC DFPCC is simpler and in some cases more versatile than other systems. With established LSI technology, low frequency systems applicable to sonar and similar problems are feasible

Event-driven observer-based smart-sensors for output feedback control of linear systems

This paper deals with a recent design of event-driven observer-based smart sensors for output feedback control of linear systems. We re-design the triggering mechanism proposed in a previously reported system with the implementation of self-sampling data smart sensors; as a result, we improve its performance. Our approach is theoretically supported by using Lyapunov theory and numerically evidenced by controlling the inverted pendulum on the cart mechanism.Postprint (published version

Discrete and intersample analysis of systems with aperiodic sampling

International audienceThis article addresses the stability analysis of linear time invariant systems with aperiodic sampled-data control. Adopting a difference inclusion formalism, we show that necessary and sufficient stability conditions are given by the existence of discrete-time quasi-quadratic Lyapunov functions. A constructive method for computing such functions is provided from the approximation of the necessary and sufficient conditions. In practice, this leads to sufficient stability criteria under LMI form. The inter-sampling behavior is discussed there: based on differential inclusions, we provide continuous-time methods that use the advantages of the discrete-time approach. The results are illustrated by numerical examples that indicate the improvement with regard to the existing literature