This paper deals with the verification and the synthesis of polytopic invariant sets for polynomial dynamical systems. An invariant set of a dynamical system is a subset of the state space such that if the state of the system belongs to the set at a given instant, it will remain in the set forever in the future. Polytopic invariants can be verified by solving a set of optimization problems invo...

This paper deals with the computation of polytopic invariant sets for polynomial dynamical systems. An invariant set of a dynamical system is a subset of the state space such that if the state of the system belongs to the set at a given instant, it will remain in the set forever in the future. Polytopic invariants for polynomial systems can be verified by solving a set of optimization problems ...

Statistical analyses were undertaken for putative transmembrane K-helices obtained from a database representing the subset of membrane proteins available in Swiss-Prot. The average length of a transmembrane K-helix was found to be 22^21 amino acids with a large variation around the mean. The transfer free energy from water to oil of a transmembrane K-helix in bitopic proteins, 348 kcal/mol, is ...

The latent membrane protein 1 (LMP-1) oncoprotein of Epstein-Barr virus (EBV) is a constitutively active, CD40-like cell surface signaling protein essential for EBV-mediated human B-cell immortalization. Like ligand-activated CD40, LMP-1 activates NF-kappaB and Jun kinase signaling pathways via binding, as a constitutive oligomer, to tumor necrosis factor receptor-associated factors (TRAFs). LM...

This paper investigates an output tracking problem for the vapor compression cycle in automotive Air Conditioning (A/C) systems using Linear Parameter Varying (LPV) techniques. Stemming from a recently developed first-principle A/C model, Jacobian linearization is first exploited to develop an LPV-based model that is nonlinearly dependent on time-varying system parameters such as evaporator pre...

This paper gives a necessary and sufficient condition for robust D-stability of Polytopic Polynomial Matrices.

A novel design of robust constrained model predictive tracking control is proposed for systems with polytopic description. Unlike the conventional control, method adopts an improved state space in which process variables and error are combined such that they can be tuned cost function optimization separately. Based on new model, more degrees freedom provided subsequent controller design, leads ...