On Generalized Performance Evaluation and Generalized Controller Synthesis
Zining Cao

TL;DR
This paper introduces a unified framework for performance evaluation and controller synthesis using process calculus and lattice-valued specifications, encompassing many existing problems as special cases.
Contribution
It develops a novel generalized framework for performance evaluation and controller synthesis based on process calculus and lattice-valued logic, extending prior approaches.
Findings
Several computer science problems are special cases of the proposed framework.
A generalized performance evaluation algorithm is presented.
An outline of a generalized controller synthesis algorithm is provided.
Abstract
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 model of systems, and present a lattice-valued performance evaluation language as the performance specification of systems. We give a framework of generalized performance evaluation based on the process calculus and the performance evaluation language. We show that the several problems in computer science are special cases of generalized performance evaluation. A generalized performance evaluation algorithm is presented. Furthermore, we present a framework of generalized controller synthesis, which is the inverse problem of generalized performance evaluation. We show several special cases of generalized controller synthesis in computer science, and give an outline of generalized controller synthesis algorithm.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
