A Modal Characterization of Alternating Approximate Bisimilarity
Jinjin Zhang, Zhaohui Zhu
TL;DR
This paper introduces a modal characterization of alternating approximate bisimilarity for control systems with disturbances, linking their specifications to finite abstractions and enhancing system equivalence analysis.
Contribution
It provides the first modal characterization of alternating approximate bisimilarity, bridging control system specifications and their finite abstractions.
Findings
Modal characterization of alternating approximate bisimilarity established
Link between control system specifications and finite abstractions demonstrated
Enhances analysis of control systems with disturbances
Abstract
Recently, alternating transition systems are adopted to describe control systems with disturbances and their finite abstract systems. In order to capture the equivalence relation between these systems, a notion of alternating approximate bisimilarity is introduced. This paper aims to establish a modal characterization for alternating approximate bisimilarity. Moreover, based on this result, we provide a link between specifications satisfied by the samples of control systems with disturbances and their finite abstractions.
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.
Taxonomy
TopicsFormal Methods in Verification · Petri Nets in System Modeling · Logic, Reasoning, and Knowledge