NDLI: A Control Synthesis Method for DEDS with the Infinite State Space

Content Provider	IEEE Xplore Digital Library
Author	Capkovic, F.
Copyright Year	2005
Description	Author affiliation: Inst. of Informatics, Slovak Acad. of Sci., Bratislava (Capkovic, F.)
Abstract	An approach to the control synthesis for discrete event dynamic systems (DEDS) with the infinite state space is presented in this paper. It utilizes the author's method suitable for the control synthesis of DEDS with the finite state space. DEDS are modelled by Petri nets (PN). The coverability graph (CG) playing in systems with the infinite state space the same role as the reachability tree (RT) and/or the reachability graph (RG) in systems with the finite state space is not suitable for the control synthesis. To find feasible control interferences for DEDS with the infinite state space, the proposed approach replaces infinite capacities of the PN-based model by suitable finite ones. Then RT and/or RG can be successfully used. The approach is illustrated on a simple flexible manufacturing system (FMS). The graphical tool GraSim was developed to automate the DEDS control synthesis process
Starting Page	330
Ending Page	333
File Size	1226614
Page Count	4
File Format	PDF
ISBN	142440049X
DOI	10.1109/EURCON.2005.1629928
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2005-11-21
Publisher Place	Serbia
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	State-space methods Control system synthesis Roentgenium Flexible manufacturing systems Petri nets Character generation Tree graphs Interference Automatic control Process control Reachability Graph Control Synthesis Coverability Graph Discrete Event Systems Infinite State Space Petri Nets
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