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

DOI10.1016/J.AUTOMATICA.2013.09.040MaRDI QIDQ463849zbMATH OpenOpenAlexFDO

Authors Ratnesh Kumar, Shengbing Jiang, Changyan Zhou

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.040

zbMATH Keywords

bisimulationcontroldiscrete event systemsnondeterminism

Mathematics Subject Classification ID

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

Recommendations

• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
• Reply to ``comments on 'bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm' [automatica 43 (2007), 1363-1368]
• Bisimilarity enforcing supervisory control for deterministic specifications
• Realization of bisimilarity control of nondeterministic discrete event systems
• Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specifications

Cites work

• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
• Control of Nondeterministic Discrete-Event Systems for Bisimulation Equivalence

Cited in

(6)

• Realization of bisimilarity control of nondeterministic discrete event systems
• Bisimilarity enforcing supervisory control for deterministic specifications
• Reply to ``comments on 'bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm' [automatica 43 (2007), 1363-1368]
• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
• Event‐based output feedback control of periodic systems: A piecewise impulsive method
• Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specifications

This page was built for publication: Comment on ``bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm [automatica 47 (2011) 782-788]

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