[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-detail-84493-en":3,"doc-seo-84493-105":29,"detail-sidebar-cat-0-en-105":91},{"code":4,"msg":5,"data":6},0,"success",{"doc_id":7,"user_id":8,"nickname":9,"user_avatar":10,"doc_module":4,"category_id":11,"category_name":12,"doc_title":13,"doc_description":14,"doc_content":15,"file_id":16,"file_url":17,"file_type":18,"file_size":19,"view_count":20,"is_deleted":4,"is_public":20,"is_downloadable":20,"audit_status":20,"page_count":21,"language":22,"language_code":23,"site_id":24,"html_lang":23,"table_of_contents":25,"faqs":26,"seo_title":13,"seo_description":14,"update_tm":27,"read_time":28},84493,549758146520,"Patrick","https://ap-avatar.wpscdn.com/avatar/80002397d8c0411e94?_k=1775819394049821470",8,"Research & Report","On Generalized Performance Evaluation and Generalized Controller Synthesis","Paper proposes a unified framework for generalized performance evaluation and its inverse generalized controller synthesis. A true concurrent process calculus models system behaviors, while a lattice-valued performance evaluation language serves as the formal performance specification. Several problems in formal methods and computational complexity are shown as special cases of generalized performance evaluation, and a corresponding generalized algorithm is developed. The synthesis framework treats generalized controller synthesis as the inverse problem of evaluation and outlines a generalized synthesis algorithm for finite process and lattice domains.","arXiv :2605 . 18688v2 [ cs .LO] 13 Jul 2026  \nOn Generalized Performance Evaluation and Generalized Controller Synthesis  \nZining Cao  \nCollege of Computer Science and Technology Nanjing University of Aeronautics and Astronautics, Nanjing 211106, China  \n[caozn@nuaa.edu.cn](caozn@nuaa.edu.cn)  \nAbstract. In this paper, we propose the frameworks of generalized per  \nformance evaluation and generalized controller synthesis. To this end,  \nwe give a true concurrent process calculus as the model of systems, and  \npresent a lattice-valued performance evaluation language as the perfor  \nmance specification of systems. We give a framework of generalized per  \nformance evaluation based on the process calculus and the performance  \nevaluation language. We show that the several problems in computer  \nscience are special cases of generalized performance evaluation. A gener  \nalized performance evaluation algorithm is presented. Furthermore, we  \npresent a framework of generalized controller synthesis, which is the in  \nverse problem of generalized performance evaluation. We show several  \nspecial cases of generalized controller synthesis in computer science, and  \ngive an outline of generalized controller synthesis algorithm.  \n1 Introduction  \nPerformance evaluation aims at analysing quantitative system aspects that are related to its performance and dependability. Evaluation approaches are measurementbased and model-based techniques. In measurement-based techniques, controlled experiments are performed on a concrete realisation of the system, and gathered timing information is analysed to evaluate the measures of interest such as time-to-failure or system throughput. In model-based performance evaluation, an abstract model of the system is constructed that is just detailed enough to evaluate the measures of interest with the required accuracy. Depending on modelling flexibility and computational requirements, either analytical, numerical orsimulative techniques are used to evaluate the required measures. Model specification and analysis techniques are key ingredients of model-based performance evaluation methodology [1], [2], [4], [6], [7], and [8] .  \nController synthesis is a fundamental concept within control theory and computer science. It refers to the constructing a controller for a dynamic system to ensure it behaves in a desired manner. In essence, it is the inverse problem of performance evaluation. While performance evaluation focuses on evaluating the performance properties of an existing system, synthesis is the methodology for creating the controller itself to meet specific design objectives. The primary goal of controller synthesis is to determine the structure and parameters of a controller  \nthat will make the overall closed-loop system achieve desired performance specifications, such as stability, robustness against uncertainties, and specific dynamic responses [3], [5], and [10] .  \nIn this paper, we generalize the value of performance evaluation from real number domain to complete lattice domain. The methodology is based on appropriate extensions of process calculus for the description of systems and model checking techniques for their analysis. We show that the generalized performance evaluation can be viewed as a unform framework of several different problems in formal methods and computational complexity. Moreover, we present generalized controller synthesis as the inverse problem of generalized performance evaluation, and show that generalized controller synthesis can be viewed as aunform framework of some special cases in formal methods and control theory. To give the framework of generalized performance evaluation and generalized controller synthesis, we present a true concurrent process calculus as the model of systems, and present a lattice-valued performance evaluation language as the performance specification of systems. The generalized performance evaluation algorithm and generalized controller synthesis a","cbCaisQLlD1BgBfB","https://ap.wps.com/l/cbCaisQLlD1BgBfB","pdf",290512,1,16,"English","en",105,"# Introduction\n# True Concurrent Process Calculus PROC\n## Syntax of True Concurrent Process Calculus PROC\n# Lattice-Valued Performance Evaluation Language\n# Framework of Generalized Performance Evaluation\n## Model Checking and Bisimulation Checking\n# Framework of Generalized Controller Synthesis\n## Program Synthesis and Controller Synthesis\n# Conclusion","[{\"question\":\"What are generalized performance evaluation and generalized controller synthesis in this paper?\",\"answer\":\"Generalized performance evaluation extends performance analysis beyond real-valued measures using a lattice-valued specification. Generalized controller synthesis is defined as the inverse problem of generalized performance evaluation.\"},{\"question\":\"What modeling and specification formalism does the paper use?\",\"answer\":\"A true concurrent process calculus (PROC) models system behaviors, and a lattice-valued performance evaluation language provides the performance specification used for analysis.\"},{\"question\":\"How is generalized controller synthesis related to performance evaluation?\",\"answer\":\"Controller synthesis is presented as the inverse problem of generalized performance evaluation, with several special cases connected to formal methods and control theory.\"}]",1784196029,40,{"code":4,"msg":30,"data":31},"ok",{"site_id":24,"language":23,"slug":32,"title":13,"keywords":33,"description":14,"schema_data":34,"social_meta":86,"head_meta":88,"extra_data":90,"updated_unix":27},"on-generalized-performance-evaluation-and-generalized-controller-synthesis","",{"@graph":35,"@context":85},[36,53,68],{"@type":37,"itemListElement":38},"BreadcrumbList",[39,43,47,50],{"item":40,"name":41,"@type":42,"position":20},"https://docshare.wps.com","Home","ListItem",{"item":44,"name":45,"@type":42,"position":46},"https://docshare.wps.com/document/","Document",2,{"item":48,"name":12,"@type":42,"position":49},"https://docshare.wps.com/document/research-report/",3,{"item":51,"name":13,"@type":42,"position":52},"https://docshare.wps.com/document/on-generalized-performance-evaluation-and-generalized-controller-synthesis/84493/",4,{"url":51,"name":13,"@type":54,"author":55,"headline":13,"publisher":57,"fileFormat":60,"inLanguage":23,"description":14,"dateModified":61,"datePublished":62,"encodingFormat":60,"isAccessibleForFree":63,"interactionStatistic":64},"DigitalDocument",{"name":9,"@type":56},"Person",{"url":40,"name":58,"@type":59},"DocShare","Organization","application/pdf","2026-07-17","2026-07-16",true,{"@type":65,"interactionType":66,"userInteractionCount":20},"InteractionCounter",{"@type":67},"ViewAction",{"@type":69,"mainEntity":70},"FAQPage",[71,77,81],{"name":72,"@type":73,"acceptedAnswer":74},"What are generalized performance evaluation and generalized controller synthesis in this paper?","Question",{"text":75,"@type":76},"Generalized performance evaluation extends performance analysis beyond real-valued measures using a lattice-valued specification. Generalized controller synthesis is defined as the inverse problem of generalized performance evaluation.","Answer",{"name":78,"@type":73,"acceptedAnswer":79},"What modeling and specification formalism does the paper use?",{"text":80,"@type":76},"A true concurrent process calculus (PROC) models system behaviors, and a lattice-valued performance evaluation language provides the performance specification used for analysis.",{"name":82,"@type":73,"acceptedAnswer":83},"How is generalized controller synthesis related to performance evaluation?",{"text":84,"@type":76},"Controller synthesis is presented as the inverse problem of generalized performance evaluation, with several special cases connected to formal methods and control theory.","https://schema.org",{"og:url":51,"og:type":87,"og:title":13,"og:site_name":58,"og:description":14},"article",{"robots":89,"canonical":51},"index,follow",{"doc_id":7,"site_id":24},{"code":4,"msg":5,"data":92},[93,97,101,105,110,115,119,122,127,130,134],{"id":20,"doc_module":4,"doc_module_name":45,"category_name":94,"show_sort_weight":95,"slug":96},"Story & Novel",90,"story-novel",{"id":46,"doc_module":4,"doc_module_name":45,"category_name":98,"show_sort_weight":99,"slug":100},"Literature",80,"literature",{"id":52,"doc_module":4,"doc_module_name":45,"category_name":102,"show_sort_weight":103,"slug":104},"Exam",70,"exam",{"id":106,"doc_module":4,"doc_module_name":45,"category_name":107,"show_sort_weight":108,"slug":109},5,"Comic",60,"comic",{"id":111,"doc_module":4,"doc_module_name":45,"category_name":112,"show_sort_weight":113,"slug":114},6,"Technology",50,"technology",{"id":116,"doc_module":4,"doc_module_name":45,"category_name":117,"show_sort_weight":28,"slug":118},7,"Healthcare","healthcare",{"id":11,"doc_module":4,"doc_module_name":45,"category_name":12,"show_sort_weight":120,"slug":121},30,"research-report",{"id":123,"doc_module":4,"doc_module_name":45,"category_name":124,"show_sort_weight":125,"slug":126},9,"Religion & Spirituality",20,"religion-spirituality",{"id":125,"doc_module":4,"doc_module_name":45,"category_name":128,"show_sort_weight":125,"slug":129},"World Cup","world-cup",{"id":131,"doc_module":4,"doc_module_name":45,"category_name":132,"show_sort_weight":131,"slug":133},10,"Lifestyle","lifestyle",{"id":135,"doc_module":4,"doc_module_name":45,"category_name":136,"show_sort_weight":106,"slug":137},19,"General","general"]