Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems
From MaRDI portal
Publication:4682237
DOI10.1109/TAC.2017.2760515zbMath1423.93367OpenAlexW2760958540MaRDI QIDQ4682237
Costanzo Manes, Maria Domenica Di Benedetto, Giordano Pola, Arjan J. 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
Related Items (4)
Bisimulations of Probabilistic Boolean Networks ⋮ Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates ⋮ Input-Output-to-State Stability of Systems Related through Simulation Relations ⋮ Reduction and Analysis of Boolean Control Networks by Bisimulation
This page was built for publication: Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems