A Model Based Fault Detection Scheme for Nonlinear Multivariable Discrete-Time Systems

In this paper, a novel robust scheme is developed for detecting faults in nonlinear discrete time multi-input and multi-output systems in contrast with the available schemes that are developed in continuous-time. Both state and output faults are addressed by considering separate time profiles. The faults, which could be incipient or abrupt, are modeled using input and output signals of the system. By using nonlinear estimation techniques, the discrete-time system is monitored online. Once a fault is detected, its dynamics are characterized using an online approximator. A stable parameter update law is developed for the online approximator scheme in discrete-time. The robustness, sensitivity, and performance of the fault detection scheme are demonstrated mathematically. Finally, a Continuous Stir Tank Reactor (CSTR) is used as a simulation example to illustrate the performance of the fault detection scheme

The Influence of Canalization on the Robustness of Boolean Networks

Time- and state-discrete dynamical systems are frequently used to model molecular networks. This paper provides a collection of mathematical and computational tools for the study of robustness in Boolean network models. The focus is on networks governed by $k$-canalizing functions, a recently introduced class of Boolean functions that contains the well-studied class of nested canalizing functions. The activities and sensitivity of a function quantify the impact of input changes on the function output. This paper generalizes the latter concept to $c$-sensitivity and provides formulas for the activities and $c$-sensitivity of general $k$-canalizing functions as well as canalizing functions with more precisely defined structure. A popular measure for the robustness of a network, the Derrida value, can be expressed as a weighted sum of the $c$-sensitivities of the governing canalizing functions, and can also be calculated for a stochastic extension of Boolean networks. These findings provide a computationally efficient way to obtain Derrida values of Boolean networks, deterministic or stochastic, that does not involve simulation.Comment: 16 pages, 2 figures, 3 table

Finite settling time stabilisation: the robust SISO case

This article deals with the problem of robustness to multiplicative plant perturbations for the case of finite settling time stabilisation (FSTS) of single input single output (SISO), linear, discrete-time systems. FSTS is a generalisation of the deadbeat control and as in the case of deadbeat control the main feature of FSTS is the placement of all closed-loop poles at the origin of the z-plane. This makes FSTS sensitive to plant perturbations hence, the need of robust design. An efficient robustness index is introduced and the problem is reduced to a finite linear programme where all the benefits of the simplex method, such as effectiveness, efficiency and ability to provide complete solution to the optimisation problem, can be exploited

Robustness analysis of discrete predictor-based controllers for input-delay systems

In this article, robustness to model uncertainties are analysed in the context of discrete predictor-based state-feedback controllers for discrete-time input-delay systems with time-varying delay, in an LMI framework. The goal is comparing robustness of predictor-based strategies with respect to other (sub)optimal state feedback ones. A numerical example illustrates that improvements in tolerance to modelling errors can be achieved by using the predictor framework.The authors are grateful for grant nos. DPI2008-06737-C02-01, DPI2008-06731-C02-01, DPI2011-27845-C02-01 and PROMETEO/2008/088 from the Spanish and Valencian governments.González Sorribes, A.; Sala, A.; García Gil, PJ.; Albertos Pérez, P. (2013). Robustness analysis of discrete predictor-based controllers for input-delay systems. International Journal of Systems Science. 44(2):232-239. https://doi.org/10.1080/00207721.2011.600469S232239442Boukas, E.-K. (2006). Discrete-time systems with time-varying time delay: Stability and stabilizability. Mathematical Problems in Engineering, 2006, 1-10. doi:10.1155/mpe/2006/42489Du, D., Jiang, B., & Zhou, S. (2008). Delay-dependent robust stabilisation of uncertain discrete-time switched systems with time-varying state delay. International Journal of Systems Science, 39(3), 305-313. doi:10.1080/00207720701805982El Ghaoui, L., Oustry, F., & AitRami, M. (1997). A cone complementarity linearization algorithm for static output-feedback and related problems. IEEE Transactions on Automatic Control, 42(8), 1171-1176. doi:10.1109/9.618250Gao, H., & Chen, T. (2007). New Results on Stability of Discrete-Time Systems With Time-Varying State Delay. IEEE Transactions on Automatic Control, 52(2), 328-334. doi:10.1109/tac.2006.890320Gao, H., Wang, C., Lam, J., & Wang, Y. (2004). Delay-dependent output-feedback stabilisation of discrete-time systems with time-varying state delay. IEE Proceedings - Control Theory and Applications, 151(6), 691-698. doi:10.1049/ip-cta:20040822Gao, H., Chen, T., & Lam, J. (2008). A new delay system approach to network-based control. Automatica, 44(1), 39-52. doi:10.1016/j.automatica.2007.04.020Garcia , P , Castillo , P , Lozano , R and Albertos , P . 2006 . Robustness with Respect to Delay Uncertainties of a Predictor Observer Based Discrete-time Controller . Proceeding of the 45th IEEE Conference on Decision and Control . 2006 . pp. 199 – 204 .Guo , Y and Li , S . 2009 . New Stability Criterion for Discrete-time Systems with Interval Time-varying State Delay . Joint 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference . 2009 . pp. 1342 – 1347 .Hägglund, T. (1996). An industrial dead-time compensating PI controller. Control Engineering Practice, 4(6), 749-756. doi:10.1016/0967-0661(96)00065-2V.J.S. Leite, and Miranda, M.F. (2008), ‘Robust Stabilization of Discrete-time Systems with Time-varying Delay: An LMI Approach’,Mathematical Problems in Engineering, 2008, 15 pages (doi:10.1155/2008/875609)Liu, X. G., Tang, M. L., Martin, R. R., & Wu, M. (2006). Delay-dependent robust stabilisation of discrete-time systems with time-varying delay. IEE Proceedings - Control Theory and Applications, 153(6), 689-702. doi:10.1049/ip-cta:20050223Lozano, R., Castillo, P., Garcia, P., & Dzul, A. (2004). Robust prediction-based control for unstable delay systems: Application to the yaw control of a mini-helicopter. Automatica, 40(4), 603-612. doi:10.1016/j.automatica.2003.10.007Manitius, A., & Olbrot, A. (1979). Finite spectrum assignment problem for systems with delays. IEEE Transactions on Automatic Control, 24(4), 541-552. doi:10.1109/tac.1979.1102124Michiels, W., & Niculescu, S.-I. (2003). On the delay sensitivity of Smith Predictors. International Journal of Systems Science, 34(8-9), 543-551. doi:10.1080/00207720310001609057Palmor, Z.J. (1996), ‘Time-delay Compensation – Smith Predictor and Its Modifications’, inThe Control Handbook, ed. W.S. Levine, Boca Raton: CRC Press, pp. 224–237Pan, Y.-J., Marquez, H. J., & Chen, T. (2006). Stabilization of remote control systems with unknown time varying delays by LMI techniques. International Journal of Control, 79(7), 752-763. doi:10.1080/00207170600654554Richard, J.-P. (2003). Time-delay systems: an overview of some recent advances and open problems. Automatica, 39(10), 1667-1694. doi:10.1016/s0005-1098(03)00167-5Wang, Q.-G., Lee, T. H., & Tan, K. K. (1999). Finite-Spectrum Assignment for Time-Delay Systems. Lecture Notes in Control and Information Sciences. doi:10.1007/978-1-84628-531-8He, Y., Wu, M., Han, Q.-L., & She, J.-H. (2008). Delay-dependentH∞control of linear discrete-time systems with an interval-like time-varying delay. International Journal of Systems Science, 39(4), 427-436. doi:10.1080/00207720701832531Yue, D., & Han, Q.-L. (2005). Delayed feedback control of uncertain systems with time-varying input delay. Automatica, 41(2), 233-240. doi:10.1016/j.automatica.2004.09.006Zhang, B., Xu, S., & Zou, Y. (2008). Improved stability criterion and its applications in delayed controller design for discrete-time systems. Automatica, 44(11), 2963-2967. doi:10.1016/j.automatica.2008.04.01

Weighting Matrix Design for Robust Monotonic Convergence in Norm Optimal Iterative Learning Control

In this paper we examine the robustness of norm optimal ILC with quadratic cost criterion for discrete-time, linear time-invariant, single-input single-output systems. A bounded multiplicative uncertainty model is used to describe the uncertain system and a sufficient condition for robust monotonic convergence is developed. We find that, for sufficiently large uncertainty, the performance weighting can not be selected arbitrarily large, and thus overall performance is limited. To maximize available performance, a time-frequency design methodology is presented to shape the weighting matrix based on the initial tracking error. The design is applied to a nanopositioning system and simulation results are presented

Falsification of Cyber-Physical Systems with Robustness-Guided Black-Box Checking

For exhaustive formal verification, industrial-scale cyber-physical systems (CPSs) are often too large and complex, and lightweight alternatives (e.g., monitoring and testing) have attracted the attention of both industrial practitioners and academic researchers. Falsification is one popular testing method of CPSs utilizing stochastic optimization. In state-of-the-art falsification methods, the result of the previous falsification trials is discarded, and we always try to falsify without any prior knowledge. To concisely memorize such prior information on the CPS model and exploit it, we employ Black-box checking (BBC), which is a combination of automata learning and model checking. Moreover, we enhance BBC using the robust semantics of STL formulas, which is the essential gadget in falsification. Our experiment results suggest that our robustness-guided BBC outperforms a state-of-the-art falsification tool.Comment: Accepted to HSCC 202