This paper addresses to the problem of designing, modeling and practical realization of robust model predictive control for finite and infinite prediction horizon which ensures a parameter dependent quadratic stabilit...This paper addresses to the problem of designing, modeling and practical realization of robust model predictive control for finite and infinite prediction horizon which ensures a parameter dependent quadratic stability and guaranteed cost for linear polytopic uncertain systems. The model predictive controller design procedure based on BMI and LMI is reduced to off-line output feedback gain calculation. A numerical examples and an application to a real process is given to illustrate the effectiveness of the proposed method.展开更多
This paper focuses on the problem of seeking complete axiomatization for finite processes in the process calculus called symbolic probabilistic π-calculus introduced by Wu,Palamidessi and Lin.We provide inference sys...This paper focuses on the problem of seeking complete axiomatization for finite processes in the process calculus called symbolic probabilistic π-calculus introduced by Wu,Palamidessi and Lin.We provide inference systems for both strong and weak symbolic probabilistic bisimulations and also prove their soundness and completeness.This is the first work,to our knowledge,that provides complete axiomatization for symbolic probabilistic bisimulations in the presence of both nondeterministic and probabilistic choice.展开更多
文摘This paper addresses to the problem of designing, modeling and practical realization of robust model predictive control for finite and infinite prediction horizon which ensures a parameter dependent quadratic stability and guaranteed cost for linear polytopic uncertain systems. The model predictive controller design procedure based on BMI and LMI is reduced to off-line output feedback gain calculation. A numerical examples and an application to a real process is given to illustrate the effectiveness of the proposed method.
基金the National Basic Research Program (973) of China (No.2003CB317005)the National Nature Science Foundation of China (Nos.60573002 and 60703033)
文摘This paper focuses on the problem of seeking complete axiomatization for finite processes in the process calculus called symbolic probabilistic π-calculus introduced by Wu,Palamidessi and Lin.We provide inference systems for both strong and weak symbolic probabilistic bisimulations and also prove their soundness and completeness.This is the first work,to our knowledge,that provides complete axiomatization for symbolic probabilistic bisimulations in the presence of both nondeterministic and probabilistic choice.
