Introduction The two-hybrid system (THS), first introduced by Fields and Song (1989) (Ref. 1), is a powerful technique for identifying new proteins involved in specific biological processes. It allows for the rapid isolation of the gene that codes for a protein that interacts with a specific protein of interest. Here, we present not a review of the current THS technology but, rather, a comprehe...

The development and implementation of a novel structural testing method involving the combined use of shake tables, actuators, and computational engines for the seismic simulation of structures is presented herein. The hybrid simulation is intended to discover through physical testing the behavior of parts or whole substructure assemblies for which knowledge is limited, while the known parts of...

RESEARCH ARTICLE Expression and Construction of Yeast Expression Vector Containing CsTCTP1 Gene from Cucumber in Yeast Two-Hybrid System Qiu-Min Chen, Na Cui , Yang Yu, Xiang-Nan Meng and Hai-Yan Fan 2,* College of Bioscience and Biotechnology, Shenyang Agricultural University, Shenyang 110866, PR China Key Laboratory of Protected Horticulture of Ministry of Education, Shenyang Agricultural Uni...

Slope-parametric hybrid automata (SPHA) are hybrid automata whose variables can have parametric slopes. SPHA are useful, in particular, for modeling task-control systems in which the task speeds can be adjusted for meeting some safety requirement. In this paper, we present an example of parametric analysis for a simple task system. We introduce a prototype veriication tool that fully automates ...

Hybrid systems are heterogeneous systems characterised by the interaction of discrete and continuous dynamics. We present a trajectory-based algebraic model for describing hybrid systems; the trajectories used are closely related to streams. The algebra is based on left quantales and left semirings and provides a new application for these algebraic structures. We show that hybrid automata, whic...

In recent years, the yeast two-hybrid system has become the method of choice for detection and analysis of protein-protein interactions in an in vivo context. This system, which capitalizes on the significant genetic history and ease of protocols for manipulation of Saccharomyces cerevisiae, is accessible to most laboratories and is applicable to the pursuit of a large variety of experimental g...

In practice the systems are not only pure discrete event or pure continuous, but they are combined from discrete and continuous parts together. These systems are called hybrid systems. Hybrid Petri nets (HPNs) allow modeling and analysis of hybrid systems. Since classical HPNs cannot properly model the systems with the delays on continuous product flow, extended Hybrid Petri nets and generalize...

Abstraction is a natural way to hierarchically decompse the analysis and design of hybrid systems. Given a hybrid control system and some desired properties, one extracts and abstracted system while preserving the properties of interest. Abstractions of purely discrete systems is a mature area, whereas abstractions of continuous systems is a recent activity. In this paper we present a framework...

Hybrid systems has attracted the attention of many researchers in the recent years because of their ability to capture the mixed continuous and discrete dynamics of many real systems. In the recent years many work has been devoted to the formalization of such models and to the control of systems presenting hybrid dynamics. But the identification of systems based on hybrid models has not coped a...

For the purpose of studying stability of hybrid automata, we will again drop reference to inputs (and outputs) of the system and focus on the state trajectory. Later, we will bring the inputs (and outputs) back in when we talk about stabilizing controllers. For reference to the following material, see [1, 2], Chapters 3 and 2 respectively.