NDLI: Control of discrete event systems with their dynamics and legal behavior specified by Petri nets

Content Provider	IEEE Xplore Digital Library
Author	Chen Haoxun Hu Baosheng
Copyright Year	1993
Description	Author affiliation: Systems Eng. Inst., Xian Jiaotong Univ., Xian, China (Chen Haoxun; Hu Baosheng)
Abstract	In the paper, we study the supervisory control (event string avoidance control) of discrete event systems (DES's) of which the physical possible behavior is modelled by an ordinary Petri net and legal behavior is specified by a deterministic labelled Petri net. The advantage of taking a Petri net as the specification of the legal behavior of a DES is that it can both specify the desired interleaving behavior and the concurrent execution constraints of the DES. The problem of the paper is to synthesize a feedback control policy for a DES such that the behavior of the DES under the control of the control policy satisfies a given behavior specification. To solve the problem, we first transform it into an equivalent state feedback control (state avoidance control) problem of an induced system with specific permissive state set. For the permissive state set, under a weak assumption that the underlying system can not occur any infinite uncontrollable event sequence, we propose a method to calculate the supremal control-invariant subset of the permissive state set, and then give a minimally restrictive state feedback control policy allowing maximal concurrency for the induced system.<>
Starting Page	239
Ending Page	240
File Size	214236
Page Count	2
File Format	PDF
ISBN	0780312988
DOI	10.1109/CDC.1993.325155
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	1993-12-15
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Control systems Discrete event systems Law Legal factors State feedback Supervisory control Interleaved codes Control system synthesis Feedback control Concurrent computing
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

Maximally permissive controllers for controlled time Petri nets

Supervisory Control of Discrete Event Systems using observers

Dynamical supervision for a class of discrete event systems with concurrent events

Enforcing k-safeness in controlled state machines

Non-blocking step state-feedback supervisory control of discrete event systems using Interpreted Petri nets

Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications

Qualitative diagnosability of labeled petri nets revisited

Time Floating General Mutual Exclusion Constraints (TFGMEC)

Decentralized Supervisory Control of Petri Nets with Monitor Places

Control of discrete event systems with their dynamics and legal behavior specified by Petri nets

Similar Documents

Maximally permissive controllers for controlled time Petri nets

Supervisory Control of Discrete Event Systems using observers

Dynamical supervision for a class of discrete event systems with concurrent events

Enforcing k-safeness in controlled state machines

Non-blocking step state-feedback supervisory control of discrete event systems using Interpreted Petri nets

Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications

Qualitative diagnosability of labeled petri nets revisited

Time Floating General Mutual Exclusion Constraints (TFGMEC)

Decentralized Supervisory Control of Petri Nets with Monitor Places

Control of discrete event systems with their dynamics and legal behavior specified by Petri nets