Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems

DOI10.1109/TAC.2017.2760515MaRDI QIDQ4682237zbMATH OpenOpenAlexFDO

Authors C. Manes, Maria D. Di Benedetto, Giordano Pola, Arjan van der Schaft

Publication date 18 September 2018

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tac.2017.2760515

Mathematics Subject Classification ID

Stochastic systems in control theory (general) (93E03)

Cited in

(9)

• Controller synthesis for bisimulation equivalence
• Bisimulation relations for dynamical and control systems
• Linear temporal logic satisfaction in adversarial environments using secure control barrier certificates
• Input-output-to-state stability of systems related through simulation relations
• Bisimulations of probabilistic Boolean networks
• Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence
• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
• Reduction and analysis of Boolean control networks by bisimulation
• Bisimulations for delayed switched Boolean control networks and its application in controllability

This page was built for publication: Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4682237)