Bisimilarity Enforcing Supervisory Control for Deterministic Specifications

Details Bisimilarity Enforcing Supervisory Control for Deterministic Specifications Bisimilarity Enforcing Supervisory Control for Deterministic Specifications

2012-03-08

arxiv.org/abs/1203.1745v1

Computer Science

Systems and Control

Scientific paper

This paper investigates the supervisory control of nondeterministic discrete event systems to enforce bisimilarity with respect to deterministic specifications. A notion of synchronous simulation-based controllability is introduced as a necessary and sufficient condition for the existence of a bisimilarity enforcing supervisor, and a polynomial algorithm is developed to verify such a condition. When the existence condition holds, a supervisor achieving bisimulation equivalence is constructed. Furthermore, when the existence condition does not hold, two different methods are provided for synthesizing maximal permissive sub-specifications.

Affiliated with

Also associated with

No associations

Rating

Bisimilarity Enforcing Supervisory Control for Deterministic Specifications does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Bisimilarity Enforcing Supervisory Control for Deterministic Specifications, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Bisimilarity Enforcing Supervisory Control for Deterministic Specifications will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-17095