Jinjin Zhang

Jinjin Zhang
Are you Jinjin Zhang?

Claim your profile, edit publications, add additional information:

Contact Details

Name
Jinjin Zhang
Affiliation
Location

Pubs By Year

Pub Categories

 
Computer Science - Logic in Computer Science (8)
 
Mathematics - Optimization and Control (2)
 
Computer Science - Software Engineering (2)
 
Physics - Biological Physics (1)

Publications Authored By Jinjin Zhang

Membrane fluidity, well-known to be essential for cell functions, is obviously affected by copper. However, the underlying mechanism is still far from being understood, especially on the atomic level. Here, we unexpectedly observed that a decrease in phospholipid (PL) bilayer fluidity caused by Cu2+ was much more significant than those induced by Zn2+ and Ca2+, while a comparable reduction occurred in the last two ions. Read More

It is shown that, for any equation $X=_{RS} t_X$ in the LLTS-oriented process calculus $\text{CLL}_R$, if $X$ is strongly guarded in $t_X$, then the recursive term $\langle X|X=t_X \rangle$ is the greatest solution of this equation w.r.t L\"{u}ttgen and Vogler's ready simulation. Read More

In the framework of logic labelled transition system, a variant of weak ready simulation has been presented by L\"{u}ttgen and Vogler. It has been shown that such behavioural preorder is the largest precongruence w.r. Read More

This paper explores the process calculus $\text{CLL}_R$ furtherly. First, we prove that for any equation $X=_{RS} t_X$ such that $X$ is strongly guarded in $t_X$, $\langle X|X=t_X \rangle$ is the largest solution w.r. Read More

Recently, in order to mix algebraic and logic styles of specification in a uniform framework, the notion of a logic labelled transition system (Logic LTS or LLTS for short) has been introduced and explored. A variety of constructors over LLTS, including usual process-algebraic operators, logic connectives (conjunction and disjunction) and standard temporal operators (always and unless), have been given. However, no attempt has made so far to develop general theory concerning (nested) recursive operations over LLTSs and a few fundamental problems are still open. Read More

Recently, there has been an increasing interest in the formal analysis and design of control systems. In this area, in order to reduce the complexity and scale of control systems, finite abstractions of control systems are introduced and explored. Amongst, Pola and Tabuada construct finite alternating transition systems as approximate finite abstractions for control systems with disturbance inputs [SIAM Journal on Control and Optimization, Vol. Read More

Process algebra and temporal logic are two popular paradigms for the specification, verification and systematic development of reactive and concurrent systems. These two approaches take different standpoint for looking at specifications and verifications, and offer complementary advantages. In order to mix algebraic and logic styles of specification in a uniform framework, the notion of a logic labelled transition system (LLTS) has been presented and explored by Luttgen and Vogler. Read More

The formal analysis and design of control systems is one of recent trends in control theory. In this area, in order to reduce the complexity and scale of control systems, finite abstractions of control systems are introduced and explored. In non-disturbance case, the controller of control systems is often generated from the controller of finite abstractions. Read More

Recently, alternating transition systems are adopted to describe control systems with disturbances and their finite abstract systems. In order to capture the equivalence relation between these systems, a notion of alternating approximate bisimilarity is introduced. This paper aims to establish a modal characterization for alternating approximate bisimilarity. Read More

In order to combine operational and logical styles of specifications in one unified framework, the notion of logic labelled transition systems (Logic LTS, for short) has been presented and explored by L\"{u}ttgen and Vogler in [TCS 373(1-2):19-40; Inform. & Comput. 208:845-867]. Read More