Reduction of Distributions: Definitions, Properties, and Applications

DOI10.1109/TAC.2017.2692561zbMath1390.68408OpenAlexW2604294253MaRDI QIDQ4566961

Liyong Lin, Rong Su, Simon Ware, W. Murray Wonham

Publication date: 27 June 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.2692561

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65) Specification and verification (program logics, model checking, etc.) (68Q60)