A small model theorem for bisimilarity control under partial observation

Zhou, Changyan; Kumar, Ratnesh

doi:10.1109/acc.2005.1470591

Cited by 4 publications

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Nondeterminism avoidance in compositional synthesis of discrete event systems

Mohajerani

Malik

Fabian

2011

2011 IEEE International Conference on Automation Science and Engineering

View full text Add to dashboard Cite

This paper proposes a framework for compositional synthesis of least restrictive controllable and nonblocking supervisors for modular discrete event systems models. The problem of state-space explosion is mitigated by abstracting individual components using synthesis abstraction before computing too large synchronous products. The paper improves and generalises previous work by introducing renaming to avoid nondeterministic intermediate results, making it possible to use more means of abstraction. Four classes of abstraction rules are discussed in the generalised framework, and an example demonstrates the feasibility of the method for practical problems.

show abstract

Nondeterminism avoidance in compositional synthesis of discrete event systems

Mohajerani

Malik

Fabian

2011

2011 IEEE International Conference on Automation Science and Engineering

View full text Add to dashboard Cite

show abstract

Bisimilarity Control under Partial Observation of Deterministic Discrete Event Systems

Zhou

Kumar²

Proceedings of the 44th IEEE Conference on Decision and Control

View full text Add to dashboard Cite

Bisimilarity control of decentralized nondeterministic discrete-event systems

Liu

Zhang

Chen

2014

Proceedings of the 33rd Chinese Control Conference

View full text Add to dashboard Cite

Recently, we investigated bisimilarity control of nondeterministic discrete-event systems (DESs), where the constructed framework is centralized. This paper aims to generalize it to the decentralized case and develop a decentralized supervisory control theory for nondeterministic DESs with bisimulation equivalence. A synchronous composition for supervised systems is proposed based on the simulation relation between nondeterministic specification and plant. The notions of simulation-based controllability and simulation-based coobservability are formalized to characterize the necessary and sufficient conditions for the existence of the decentralized bisimilarity supervisor that achieve the given specification in terms of bisimulation equivalence.

show abstract

A small model theorem for bisimilarity control under partial observation

Cited by 4 publications

References 22 publications

Nondeterminism avoidance in compositional synthesis of discrete event systems

Nondeterminism avoidance in compositional synthesis of discrete event systems

Bisimilarity Control under Partial Observation of Deterministic Discrete Event Systems

Bisimilarity control of decentralized nondeterministic discrete-event systems

Contact Info

Product

Resources

About