Reply to ``comments on 'bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm' [automatica 43 (2007), 1363-1368]

DOI10.1016/J.AUTOMATICA.2013.09.045MaRDI QIDQ463850zbMATH OpenOpenAlexFDO

Authors Fuchun Liu

Publication date 17 October 2014

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.automatica.2013.09.045

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Stochastic systems in control theory (general) (93E03)

Recommendations

• Comment on ``bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm [automatica 47 (2011) 782-788]
• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
• Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications
• Comments on "Observability of discrete event dynamic systems" by C. M. Ozveren and A.S. Willsky
• scientific article; zbMATH DE number 1820084

Cites work

• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
• Comment on ``bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm [automatica 47 (2011) 782-788]

Cited in

(4)

• Comments on "Observability of discrete event dynamic systems" by C. M. Ozveren and A.S. Willsky
• Comment on ``bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm [automatica 47 (2011) 782-788]
• Author's reply to: ``Counterexamples to: `Liveness-enforcing supervision of bounded ordinary Petri nets using partial-order methods' by X. Xia and A. Giua
• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm

This page was built for publication: Reply to ``comments on 'bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm' [automatica 43 (2007), 1363-1368]

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