Model Reduction for Aperiodically Sampled Data Systems

Two approaches to moment matching based model reduction of aperiodically sampled data systems are given. The term "aperiodic sampling" is used in the paper to indicate that the time between two consecutive sampling instants can take its value from a pre-specified finite set of allowed sampling intervals. Such systems can be represented by discrete-time linear switched (LS) state space (SS) models. One of the approaches investigated in the paper is to apply model reduction by moment matching on the linear time-invariant (LTI) plant model, then compare the responses of the LS SS models acquired from the original and reduced order LTI plants. The second approach is to apply a moment matching based model reduction method on the LS SS model acquired from the original LTI plant, and then compare the responses of the original and reduced LS SS models. It is proven that for both methods, as long as the original LTI plant is stable, the resulting reduced order LS SS model of the sampled data system is quadratically stable. The results from two approaches are compared with numerical examples

3 sampled-data control of nonlinear systems

This chapter provides some of the main ideas resulting from recent developments in sampled-data control of nonlinear systems. We have tried to bring the basic parts of the new developments within the comfortable grasp of graduate students. Instead of presenting the more general results that are available in the literature, we opted to present their less general versions that are easier to understand and whose proofs are easier to follow. We note that some of the proofs we present have not appeared in the literature in this simplified form. Hence, we believe that this chapter will serve as an important reference for students and researchers that are willing to learn about this area of research

Sampled data systems and generating functions

Application of Z-transforms to sampled-data system

Sampled data systems passivity and discrete port-Hamiltonian systems

In this paper, we present a novel way to approach the interconnection of a continuous and a discrete time physical system first presented in [1][2] [3]. This is done in a way which preserves passivity of the coupled system independently of the sampling time T. This strategy can be used both in the field of telemanipulation, for the implementation of a passive master/slave system on a digital transmission line with varying time delays and possible loss of packets (e.g., the Internet), and in the field of haptics, where the virtual environment should `feel¿ like a physical equivalent system

Sampled-data fuzzy controller for continuous nonlinear systems

The sampled-data fuzzy control of nonlinear systems is presented. The consequents of the fuzzy controller rules are linear sampled-data sub-controllers. As a result, the fuzzy controller is a weighted sum of some linear sampled-data sub-controllers that can be implemented by a microcontroller or a digital computer to lower the implementation cost. Consequently, a hybrid fuzzy controller consisting of continuous-time grades of memberships and discrete-time sub-controller is obtained. The system stability of the fuzzy control system is investigated on the basis of Lyapunov-based approach. The sampling activity introduces discontinuity to complicate the system dynamics and make the stability analysis difficult. The proposed fuzzy controller exhibits a favourable property to alleviate the conservativeness of the stability analysis. Furthermore, linear matrix inequality-based performance conditions are derived to guarantee the system performance of the fuzzy control system. An application example is given to illustrate the merits of the proposed approac

Input Synthesis for Sampled Data Systems by Program Logic

Inspired by a concrete industry problem we consider the input synthesis problem for hybrid systems: given a hybrid system that is subject to input from outside (also called disturbance or noise), find an input sequence that steers the system to the desired postcondition. In this paper we focus on sampled data systems--systems in which a digital controller interrupts a physical plant in a periodic manner, a class commonly known in control theory--and furthermore assume that a controller is given in the form of an imperative program. We develop a structural approach to input synthesis that features forward and backward reasoning in program logic for the purpose of reducing a search space. Although the examples we cover are limited both in size and in structure, experiments with a prototype implementation suggest potential of our program logic based approach.Comment: In Proceedings HAS 2014, arXiv:1501.0540

Quantized Feedback Stabilization of Sampled-Data Switched Linear Systems

We propose a stability analysis method for sampled-data switched linear systems with quantization. The available information to the controller is limited: the quantized state and switching signal at each sampling time. Switching between sampling times can produce the mismatch of the modes between the plant and the controller. Moreover, the coarseness of quantization makes the trajectory wander around, not approach, the origin. Hence the trajectory may leave the desired neighborhood if the mismatch leads to instability of the closed-loop system. For the stability of the switched systems, we develop a sufficient condition characterized by the total mismatch time. The relationship between the mismatch time and the dwell time of the switching signal is also discussed.Comment: 17 pages, 3 figure