NDLI: Bisimilarity Control under Partial Observation of Deterministic Discrete Event Systems

Content Provider	IEEE Xplore Digital Library
Author	Changyan Zhou Kumar, R.
Copyright Year	2005
Description	Author affiliation: Department of Electrical & Computer Engineering, Iowa State University, Ames, IA 50014, czhou@iastate.edu (Changyan Zhou)
Abstract	The complexity of the general bisimilarity control problem under partial observation is doubly exponential in the product of the plant and the specification sizes [7]. In order to identify a special case where the complexity may be more manageable, we restrict attention to the class of deterministic plants. In this case, the complexity of verifying existence of a controller turns out to be polynomial, whereas that of performing its synthesis is singly exponential. We establish state-controllability (SC) together with state-recognizability (SR) as a necessary and sufficient condition for the existence of a control. The notion of SC was introduced in [8] as an existence condition for the same problem under the restriction of complete observability of events; and it generalizes the notion of language-controllability (LC) from the setting of language-control to bisimilarity-control. In the presence of partial observation, a supervisor is required to be observation-compatible (also called M-compatible), and the additional condition of SR is needed for the existence of such a supervisor. The property of SR is same as bisimilarity with such a system that can be transformed by state-mergers to a M-compatible system, without altering the bisimilarity of the control it exercises. SR generalizes the notion of language-recognizability [1] in a similar manner as SC generalizes LC. We show that SR is polynomially verifiable, and also present an exponential complexity algorithm for synthesizing of a bisimilarity enforcing Supervisor.
Starting Page	24
Ending Page	29
File Size	174182
Page Count	6
File Format	PDF
ISBN	0780395670
DOI	10.1109/CDC.2005.1582125
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2005-12-15
Publisher Place	Spain
Access Restriction	Subscribed
Rights Holder	IEEE/EUCA
Subject Keyword	Control systems Discrete event systems Polynomials Strontium Size control Observability Sufficient conditions Control system synthesis Supervisory control Controllability partial observation supervisory control nondeterministic specification bisimulation equivalence controllability
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Bisimilarity Control of Partially Observed Deterministic Systems

Bisimilarity control of nondeterministic discrete event systems

Discrete event control under nondeterministic partial observation

Supervisory control of a class of concurrent discrete event systems under partial observation

Bisimilarity control of decentralized nondeterministic discrete-event systems

Control of nondeterministic discrete-event systems for bisimulation equivalence (2006)

Control of nondeterministic discrete-event systems for bisimulation equivalence

A small model theorem for bisimilarity control under partial observation

Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control

Bisimilarity Control under Partial Observation of Deterministic Discrete Event Systems

Similar Documents

Bisimilarity Control of Partially Observed Deterministic Systems

Bisimilarity control of nondeterministic discrete event systems

Discrete event control under nondeterministic partial observation

Supervisory control of a class of concurrent discrete event systems under partial observation

Bisimilarity control of decentralized nondeterministic discrete-event systems

Control of nondeterministic discrete-event systems for bisimulation equivalence (2006)

Control of nondeterministic discrete-event systems for bisimulation equivalence

A small model theorem for bisimilarity control under partial observation

Polynomial synthesis of supervisor for partially observed discrete-event systems by allowing nondeterminism in control

Bisimilarity Control under Partial Observation of Deterministic Discrete Event Systems