Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Kohei Shimatani, Shigemasa Takai. Deterministic Supervisors for Bisimilarity Control of Partially Observed Nondeterministic Discrete Event Systems with Deterministic Specifications. IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 104-A(2):438-446, 2021. [doi]

The following publications are possibly variants of this publication:

Polynomial-time verification for bisimilarity control of partially observed nondeterministic discrete event systems with deterministic specificationsShigemasa Takai. automatica, 152:110940, June 2023. [doi]

Bisimilarity enforcing supervisory control of nondeterministic discrete event systems with nondeterministic specificationsShigemasa Takai. automatica, 108, 2019. [doi]

Supervisory control of partially observed discrete event systems with arbitrary control patternsShigemasa Takai. ijsysc, 31(5):649-656, 2000. [doi]

Synthesis of maximally permissive supervisors for similarity control of partially observed nondeterministic discrete event systemsJinglun Li, Shigemasa Takai. automatica, 135:109978, 2022. [doi]

runs on WebDSL