S. Dashkovskiy, H. Karimi, M. Kosmykov, A. Mironchenko, Lars Naujok
{"title":"Application of the LISS Lyapunov-Krasovskii small-gain theorem to autonomously controlled production networks with time-delays","authors":"S. Dashkovskiy, H. Karimi, M. Kosmykov, A. Mironchenko, Lars Naujok","doi":"10.1109/SYSTOL.2010.5676085","DOIUrl":"https://doi.org/10.1109/SYSTOL.2010.5676085","url":null,"abstract":"In this paper we consider general autonomously controlled production networks. A production network consists of geographically distributed plants, which are connected by transport routes such that transportation times (time-delays) have to be taken into account. In autonomous controlled production networks logistic objects (e.g., parts, orders) route themselves through a network based on local information. In this paper these kinds of logistic networks are investigated in view of stability to avoid negative outcomes such as high inventory costs or loss of customers. We use the local input-to-state stability (LISS) property and the tool of an LISS Lyapunov-Krasovskii functional for the stability investigation. By the application of the LISS Lyapunov-Krasovskii small-gain theorem we derive conditions, which guarantee stability of the production network.","PeriodicalId":253370,"journal":{"name":"2010 Conference on Control and Fault-Tolerant Systems (SysTol)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122152621","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Optimal state space solution to the fault detection problem at DC","authors":"Ze Zhang, M. Imad","doi":"10.1109/SYSTOL.2010.5676039","DOIUrl":"https://doi.org/10.1109/SYSTOL.2010.5676039","url":null,"abstract":"In this work, we consider an observer-based fault detection (FD) problem for linear time invariant systems at DC (ω = 0). A simple parameterization of all optimal solutions is derived such that the FD filter generates a residual signal which minimizes the sensitivity of the residual to disturbances while maintaining a minimum level of sensitivity to faults. Linear matrix inequality (LMI) techniques are used to obtain the optimal solution. Furthermore, we show that, at DC, the resulting degrees of freedom allow the FD observer to be used simultaneously to achieve other control specifications. Conversely, our work demonstrates that observers which are used for control system design can, with minor modifications, be also used to implement fault detection schemes at DC. Finally, the effectiveness of the proposed scheme is illustrated using a numerical example.","PeriodicalId":253370,"journal":{"name":"2010 Conference on Control and Fault-Tolerant Systems (SysTol)","volume":"124 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127236093","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A variable geometric state filtering for stochastic linear systems subject to intermittent unknown inputs","authors":"J. Keller, D. Sauter","doi":"10.1109/SYSTOL.2010.5676048","DOIUrl":"https://doi.org/10.1109/SYSTOL.2010.5676048","url":null,"abstract":"In this paper, a new approach for state filtering of dynamic stochastic discrete-time systems affected by unknown inputs is presented. The proposed state filtering scheme includes a restricted diagonal detection filter generating a set of minimum variance white detection signals, each of them sensitive to a particular component of the unknown input vector. After having tested the statistical effect of each unknown input in order to update online the unknown inputs decoupling constraint, the variable geometric state filtering is obtained by minimizing the state estimation errors covariance matrix. Compared to the standard unknown input Kalman filter, a new degree of freedom appears in the covariance optimisation problem at the detection time of a non significant unknown input. A comparative study with the standard unknown input Kalman filter shows the efficiency of the proposed approach, particularly when the unknown inputs are intermittent.","PeriodicalId":253370,"journal":{"name":"2010 Conference on Control and Fault-Tolerant Systems (SysTol)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127468977","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Optimal active decision making for control","authors":"Ivo Punčochář, J. Široký, M. Simandl","doi":"10.1109/SYSTOL.2010.5676020","DOIUrl":"https://doi.org/10.1109/SYSTOL.2010.5676020","url":null,"abstract":"The paper deals with a general formulation of the optimal active change detection and control problem for stochastic systems, which includes several design problems as special cases. The special case treated in this paper can be characterized as a decision making problem where decisions are transformed into inputs of a system and the aim is to control the system. The utilization of the general formulation naturally leads to an optimal solution that makes use of the closed loop information processing strategy. Since the optimal solution is computationally intractable, the paper also discusses some approximate design techniques available for obtaining a feasible active generator for a given controller. The results are illustrated in a numerical example.","PeriodicalId":253370,"journal":{"name":"2010 Conference on Control and Fault-Tolerant Systems (SysTol)","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132411000","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Diagnosability verification with parallel LTL-X model checking based on Petri net unfoldings","authors":"A. Madalinski, Victor Khomenko","doi":"10.1109/SYSTOL.2010.5676089","DOIUrl":"https://doi.org/10.1109/SYSTOL.2010.5676089","url":null,"abstract":"We show that the diagnosability problem on a Petri net can be re-formulated in terms of LTL-X model checking. The advantage of this is that existing efficient methods and tools can be employed, in particular parallel model checking based on Petri net unfoldings. The experimental results show that this approach is efficient, and a good level of parallelisation can be achieved.","PeriodicalId":253370,"journal":{"name":"2010 Conference on Control and Fault-Tolerant Systems (SysTol)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127836400","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Robust fault detection based on adaptive set observers","authors":"D. Efimov, T. Raissi, A. Zolghadri","doi":"10.1109/SYSTOL.2010.5676074","DOIUrl":"https://doi.org/10.1109/SYSTOL.2010.5676074","url":null,"abstract":"The paper deals with robust fault detection for nonlinear continuous-time systems based on a LPV transformation. The adaptive set observers technique is applied for joint state and parameter estimation in order to avoid the exponential complexity obstruction usually met in the set-membership nonlinear estimation. The obtained estimates on the sets of admissible values for the parameters and the state are used for interval residuals generation. The efficiency of the proposed approach is demonstrated on a numerical example.","PeriodicalId":253370,"journal":{"name":"2010 Conference on Control and Fault-Tolerant Systems (SysTol)","volume":"218 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131312482","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Redundant graph to improve fault diagnosis in a Gas Turbine","authors":"C. Verde, M. Sánchez-Parra","doi":"10.1109/SYSTOL.2010.5675978","DOIUrl":"https://doi.org/10.1109/SYSTOL.2010.5675978","url":null,"abstract":"This paper deals with fault diagnosis issues for a Gas Turbine, GT, of a Combined Cycle Power Plant, CCPP. To analyze under which conditions faults in the turbogenerator can be detected and isolated, structural properties of the model are used. The structure redundancy is studied by graph tools considering the standard available measurements. A non-linear dynamic model given by 37 algebraic and differential equations is considered to identify the required redundancy degrees for diverse fault scenarios without numerical values. As result 10 relations are obtained which detect faults in all units of the turbine except one: the thermodynamic gas path. Moreover, using the redundant graph concept it is suggested to add a sensor to increase the redundance and consequently to have detectability of the mechanical faults in the gas path. This is the main contribution of the work. The implementation of redundant relations with specific simulated data of a GT validates this statement.","PeriodicalId":253370,"journal":{"name":"2010 Conference on Control and Fault-Tolerant Systems (SysTol)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129020377","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A. Aguilera, M. Adam, C. Astorga, D. Theilliol, J. Ponsart
{"title":"Observer for LPV singular systems applied to a binary distillation column","authors":"A. Aguilera, M. Adam, C. Astorga, D. Theilliol, J. Ponsart","doi":"10.1109/SYSTOL.2010.5675960","DOIUrl":"https://doi.org/10.1109/SYSTOL.2010.5675960","url":null,"abstract":"In this work the application of a full-order observer to a binary distillation column, using a strategy to simplify the nonlinear model is presented. Mainly for process system, it is feasible to use differential-algebraic equations for describing the dynamical behavior of the plant. A mathematical model is an extension of the traditional chemical and physical laws (such as the laws of conservation of mass, energy, momentum, etc.) to include the time-varying parameters which can be seen as singular systems. Then, the binary distillation column model is presented as a Linear Parameter Variant (LPV) singular system. Singular systems provide special features not found in traditional systems. In that sense, the proposed model maintains the dynamics and physical properties of the plant. The applied method guarantees the regularity and the convergence of the observer system.","PeriodicalId":253370,"journal":{"name":"2010 Conference on Control and Fault-Tolerant Systems (SysTol)","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126427015","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Signed Directed Graph modeling of industrial processes and their validation by data-based methods","authors":"F. Yang, L. S. Sirish, D. Xiao","doi":"10.1109/SYSTOL.2010.5676059","DOIUrl":"https://doi.org/10.1109/SYSTOL.2010.5676059","url":null,"abstract":"This paper is concerned with the fusion of information from process data and process connectivity and its subsequent use in fault detection and isolation and hazard assessment. The Signed Directed Graph (SDG), as a graphical model for capturing process topology and connectivity to show the causal relationships between process variables by flow and information paths, has been widely used in root cause and hazard propagation analysis. An SDG is usually built based on process knowledge as described by piping and instrumentation diagrams. This is a complex and experience-dependent task, and therefore the resulting SDG should be validated by process data before being used for analysis. This paper introduces two validation methods. The first method is based on cross-correlation analysis of process data with assumed time delays. The resulting correlation coefficients can then be validated by examining the paths in SDGs of all the variable pairs and also comparing the signs with the directions of causal relations. The second method is based on transfer entropy, where the information transfer from one variable to another can be computed to validate the corresponding arcs in SDGs. A case study of an industrial process is presented to illustrate the application of the proposed methods.","PeriodicalId":253370,"journal":{"name":"2010 Conference on Control and Fault-Tolerant Systems (SysTol)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114180350","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Fast algebraic fault diagnosis for the electrolytic filter capacitor of buck converter","authors":"J. Bourgeot","doi":"10.1109/SYSTOL.2010.5676079","DOIUrl":"https://doi.org/10.1109/SYSTOL.2010.5676079","url":null,"abstract":"This work focuses on fault detection applied to static converters. A new method for estimating parameters of dynamic model of the buck converter is proposed, based on recent algebraic parameters estimators. The diagnosis scheme developed in this paper computes online the filter capacitor aging by determining the equivalent series resistance (ESR). The capacitance and inductance value are also estimated by this method. Finally, the estimators detailed in this study are validated experimentally on a prototype of buck converter.","PeriodicalId":253370,"journal":{"name":"2010 Conference on Control and Fault-Tolerant Systems (SysTol)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-12-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133982967","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}