6 citations · 8 across the 12 of their papers we have counts for
5 papers · 1 filter
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…
Linear time logic control of linear systems with disturbances
Jinjin Zhang, Zhaohui Zhu, Jianfei Yang
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 ab…
A control strategy algorithm for finite alternating transition systems
Jinjin Zhang, Zhaohui Zhu, Jianfei Yang
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,…
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…