A novel approach to the analysis and synthesis of controllers for parametrically uncertain systems

Author(s):  
R.D. Kaminsky ◽  
T.E. Djaferis
2014 ◽  
Vol 701-702 ◽  
pp. 645-653 ◽  
Author(s):  
Yan Liu ◽  
Hong Sheng Lin ◽  
Li Mei Liu ◽  
Ying Li

A new approach to analyze and synthesize linear uncertain systems with time varying norm bounded uncertainty is presented in this paper. First, the uncertainty set is separated into several different sets according to the maximum singular value of uncertainty.Based on the new classification, the original uncertain system is transformed into a Markovian jump system. Second, via a parameter-dependent Lyapunov function, the problems of robust H∞ analysis and synthesis is studied.Based on this, two sufficient conditions for designing parameter-dependent controllers are established. Finally, numerical simulations are used to illustrate the developed method.


Author(s):  
Michael Blondin ◽  
Christoph Haase ◽  
Philip Offtermatt

AbstractNumerous tasks in program analysis and synthesis reduce to deciding reachability in possibly infinite graphs such as those induced by Petri nets. However, the Petri net reachability problem has recently been shown to require non-elementary time, which raises questions about the practical applicability of Petri nets as target models. In this paper, we introduce a novel approach for efficiently semi-deciding the reachability problem for Petri nets in practice. Our key insight is that computationally lightweight over-approximations of Petri nets can be used as distance oracles in classical graph exploration algorithms such as $$\mathsf {A}^{*}$$ A ∗ and greedy best-first search. We provide and evaluate a prototype implementation of our approach that outperforms existing state-of-the-art tools, sometimes by orders of magnitude, and which is also competitive with domain-specific tools on benchmarks coming from program synthesis and concurrent program analysis.


2017 ◽  
Vol 2017 ◽  
pp. 1-9
Author(s):  
Qi Ding ◽  
Xiafu Peng ◽  
Xunyu Zhong ◽  
Xiaoqiang Hu

A novel approach to fault diagnosis for a class of nonlinear uncertain systems with triangular form is proposed in this paper. It is based on the extended state observer (ESO) of the active disturbance rejection controller and linearization of dynamic compensation. Firstly, an ESO is designed to jointly estimate the states and the combination of uncertainty, faults, and nonlinear function of nonlinear uncertain systems. It can derive the estimation of nonlinear function via the state estimations and system model. Then, linearization of dynamic compensation is employed to linearize the system by offsetting nonlinear function mandatorily using its estimation. An observer-based residual generator is designed on the basis of the prior linearized model for fault diagnosis. Moreover, threshold treatment technique is adopted to improve the robustness of fault diagnosis. This method is utilizable and simple in construction and parameter tuning. And also we show the construction of ESO and give the corresponding convergence proof succinctly. Finally, a numerical example is presented to illustrate the validity of the proposed fault diagnosis scheme.


2016 ◽  
Vol 9 (2) ◽  
pp. 80 ◽  
Author(s):  
Alim Sabur Ajibola ◽  
Nahrul Khair Bin Alang Md. Rashid ◽  
Wahju Sediono ◽  
Nik Nur Wahidah Nik Hashim

Stuttered speech is a dysfluency rich speech, more prevalent in males than females. It has been associated with insufficient air pressure or poor articulation, even though the root causes are more complex. The primary features include prolonged speech and repetitive speech, while some of its secondary features include, anxiety, fear, and shame. This study used LPC analysis and synthesis algorithms to reconstruct the stuttered speech. The results were evaluated using cepstral distance, Itakura-Saito distance, mean square error, and likelihood ratio. These measures implied perfect speech reconstruction quality. ASR was used for further testing, and the results showed that all the reconstructed speech samples were perfectly recognized while only three samples of the original speech were perfectly recognized.


Sign in / Sign up

Export Citation Format

Share Document