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