6 citations · 8 across the 10 of their papers we have counts for
11 papers
The Similarity Control Problem with Required Events
Yu Wang, Zhaohui Zhu, Rob van Glabbeek +2
In order to guarantee that a supervised system satisfies safety requirements of the specification, as well as requirements saying that in certain states certain events must be enab…
More on Maximally Permissive Similarity Control of Discrete Event Systems
Yu Wang, Zhaohui Zhu, Rob van Glabbeek +3
Takai proposed a method for constructing a maximally permissive supervisor for the similarity control problem (IEEE Transactions on Automatic Control, 66(7):3197-3204, 2021). This…
An extension of process calculus for asynchronous communications between agents with epistemic states
Huili Xing
It plays a central role in intelligent agent systems to model agent's epistemic state and its change. Asynchrony plays a key role in distributed systems, in which the messages tran…
More on extension-based semantics of argumentation
Lixing Tan, Zhaohui Zhu, Jinjin Zhang
After a few decades of development, computational argumentation has become one of the active realms in AI. This paper considers extension-based concrete and abstract semantics of a…
Axiomatizing Lüttgen and Vogler's ready simulation for finite processes in
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
In the framework of logic labelled transition system, a variant of weak ready simulation has been presented by Lüttgen and Vogler. It has been shown that such behavioural preorder…
On the greatest solution of equations in
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
It is shown that, for any equation in the LLTS-oriented process calculus , if is strongly guarded in , then the recursive term $\langle X|X=t_X…
Greatest solutions of equations in and its application
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
This paper explores the process calculus furtherly. First, we prove that for any equation such that is strongly guarded in , $\langle X|X=t_X…
On Recursive Operations Over Logic LTS
Yan Zhang, Zhaohui Zhu, Jinjin Zhang
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 bee…
Merging Process Algebra and Action-based Computation Tree Logic
Zhaohui Zhu, Yan Zhang, Jinjin Zhang
Process algebra and temporal logic are two popular paradigms for the specification, verification and systematic development of reactive and concurrent systems. These two approaches…
A Modal Characterization of Alternating Approximate Bisimilarity
Jinjin Zhang, Zhaohui Zhu
Recently, alternating transition systems are adopted to describe control systems with disturbances and their finite abstract systems. In order to capture the equivalence relation b…
A Process Calculus with Logical Operators
Yan Zhang, Zhaohui Zhu, Jinjin Zhang +1
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 prese…