5 papers
On Generalized Performance Evaluation and Generalized Controller Synthesis
Zining Cao
In this paper, we propose the frameworks of generalized performance evaluation and generalized controller synthesis. To this end, we give a true concurrent process calculus as the…
Controller synthesis method for multi-agent system based on temporal logic specification
Ruohan Huang, Zining Cao
Controller synthesis is a theoretical approach to the systematic design of discrete event systems. It constructs a controller to provide feedback and control to the system, ensurin…
On Higher Order Busy Beaver Function
Zining Cao
In this paper, we extend Busy Beaver function to a class of higher order Busy Beaver functions based on Turing oracle machine. We prove some results about the relation between deci…
A Complete Mental Temporal Logic for Intelligent Agent
Zining Cao
In this paper, we present a complete mental temporal logic, called BPICTL, which generalizes CTL by introducing mental modalities. A sound and complete inference system of BPICTL i…
Model Checking for Multi-Agent Systems Modeled By Epistemic Process Calculus
Qixian Yu, Zining Cao, Zong Hui +1
This paper presents a comprehensive framework for modeling and verifying multi-agent systems. The paper introduce an Epistemic Process Calculus for multi-agent systems, which forma…