A complete axiomatization of weighted branching bisimulation
Sign Up to like & getrecommendations! Published in 2020 at "Acta Informatica"
DOI: 10.1007/s00236-020-00375-6
Abstract: We propose an axiomatization for weighted branching bisimulation over a weighted process algebra with positive rational weights including zero and show that this axiomatization is both sound and complete. Our proof of soundness and completeness… read more here.
Keywords: branching bisimulation; weighted branching; complete axiomatization; axiomatization weighted ... See more keywords
Characteristic invariants in Hennessy–Milner logic
Sign Up to like & getrecommendations! Published in 2020 at "Acta Informatica"
DOI: 10.1007/s00236-020-00376-5
Abstract: In this paper, we prove that Hennessy–Milner Logic (HML), despite its structural limitations, is sufficiently expressive to specify an initial property $$\varphi _0$$ φ 0 and a characteristic invariant $$\upchi _{_I}$$ χ I for an… read more here.
Keywords: state; milner logic; hennessy milner; finite state ... See more keywords
Compositional Visible Bisimulation Abstraction Applied to Opacity Verification
Sign Up to like & getrecommendations! Published in 2018 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2018.06.337
Abstract: In this paper, an alternative equivalence based definition of bisimulation is proposed, called visible bisimulation equivalence. It includes both state and transition labels and therefore unifies stuttering and branching bisimulation. Furthermore, it is equivalent to… read more here.
Keywords: opacity; abstraction; visible bisimulation; bisimulation ... See more keywords
Output Feedback Control via Bisimulation of Stochastic Linear Systems
Sign Up to like & getrecommendations! Published in 2019 at "IEEE Control Systems Letters"
DOI: 10.1109/lcsys.2018.2851195
Abstract: The characterization of the behavior that can be achieved by a plant when interconnected with a controller is a topic widely investigated in mathematical systems theory. In this regard, many results have been obtained for… read more here.
Keywords: output feedback; control; linear systems; stochastic linear ... See more keywords
Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2020.2970148
Abstract: In this article, we investigate the synthesis of a (possibly nondeterministic) supervisor, with partial information, such that the controlled nondeterministic plant is bisimulation equivalent to a nondeterministic specification. We derive a new necessary and sufficient… read more here.
Keywords: nondeterministic systems; control; control nondeterministic; partial information ... See more keywords
A Bisimulation-Based Foundation for Scale Reductions of Continuous-Time Markov Chains
Sign Up to like & getrecommendations! Published in 2024 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2024.3354212
Abstract: In this article, the scale reduction problem of continuous-time Markov chains (CT-MCs) and continuous-time controlled Markov chains (CT-CMCs) are disserted both from the bisimulation perspective. Based on the features of bisimulation, the reachability, macro-controllability, controllability,… read more here.
Keywords: time; bisimulation; mcs cmcs; markov chains ... See more keywords
Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
Sign Up to like & getrecommendations! Published in 2025 at "IEEE Transactions on Software Engineering"
DOI: 10.1109/tse.2025.3567423
Abstract: Bisimulation is crucial for verifying process equivalence in probabilistic systems. This paper presents a novel logical framework for analyzing bisimulation in probabilistic parameterized systems, namely, infinite families of finite-state probabilistic systems. Our framework is built… read more here.
Keywords: logic; anonymity uniformity; verification; bisimulation ... See more keywords