BIROn - Birkbeck Institutional Research Online

    On behavioral metric for probabilistic systems: definition and approximation algorithm

    Chen, Taolue and Han, Tingting and Lu, J. (2007) On behavioral metric for probabilistic systems: definition and approximation algorithm. In: Lei, J. (ed.) FSKD 2007: Fourth International Conference on Fuzzy Systems and Knowledge Discovery. IEEE Computer Society, pp. 21-25. ISBN 9780769528748.

    Full text not available from this repository.

    Abstract

    In this paper, we consider the behavioral pseudometrics for probabilistic systems. The model we are interested in is probabilistic automata, which are based on state transition systems and make a clear distinction between probabilistic and nondeterministic choices. The pseudometrics are defined as the greatest fixpoint of a monotonic functional on the complete lattice of state metrics. A distinguished characteristic of this pseudometric lies in that it does not discount the future, which addresses some algorithmic challenges to compute the distance of two states in the model. We solve this problem by providing an approximation algorithm: up to any desired degree of accuracy epsiv, the distance can be approximated to within epsiv in time exponential in the size of the model and logarithmic in 1/epsiv. A key ingredient of our algorithm is to express a pseudometric being a post-fixpoint as the elementary sentence over real closed fields, which allows us to exploit Tar ski's decision procedure, together with binary search to approximate the behavioral distance.

    Metadata

    Item Type: Book Section
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Sarah Hall
    Date Deposited: 09 Feb 2021 18:12
    Last Modified: 09 Aug 2023 12:50
    URI: https://eprints.bbk.ac.uk/id/eprint/42952

    Statistics

    Activity Overview
    6 month trend
    0Downloads
    6 month trend
    188Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item
    Edit/View Item