Simulation for lattice-valued doubly labeled transition systems

Download PDF
Open Webpage

Haiyu Pan, Yongzhi Cao, Min Zhang, Yixiang Chen

Published: 01 Jan 2014, Last Modified: 15 May 2025Int. J. Approx. Reason. 2014EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Highlights•Lattice-valued doubly labeled transition systems (LDLTSs) to model systems with quantitative information.•Lattice-valued similarity between LDLTSs.•Logical characterization of lattice-valued similarity.•Robustness and compositionality of lattice-valued similarity.