Next Article in Journal
Aqueous-Organic Phase Transfer of Gold and Silver Nanoparticles Using Thiol-Modified Oleic Acid
Previous Article in Journal
In Situ Measurement of Alkali Metals in an MSW Incinerator Using a Spontaneous Emission Spectrum
Article Menu
Issue 3 (March) cover image

Export Article

Open AccessArticle
Appl. Sci. 2017, 7(3), 270; doi:10.3390/app7030270

Theory of Regions for Control Synthesis without Computing Reachability Graph

1
Laboratoire de Génie Industriel, de Production et de Maintenance (LGIPM), Université de Lorraine, UFR MIM, île du Saulcy–BP 50128, 57045 Metz, France
2
ICN Business School, 54003 Metz-Nancy, France
*
Author to whom correspondence should be addressed.
Academic Editor: Christos Bouras
Received: 11 January 2017 / Accepted: 3 March 2017 / Published: 9 March 2017
View Full-Text   |   Download PDF [2909 KB, uploaded 10 March 2017]   |  

Abstract

This paper addresses the design of Petri net (PN) supervisor using the theory of regions for forbidden state problem with a set of general mutual exclusion constraints. In fact, as any method of supervisory control based on reachability graph, the theory of regions suffers from a technical obstacle in control synthesis, which is the necessity of computing the graph at each iteration step. Moreover, based on the reachability graph, which may contain a large number of states, with respect to the structural size of the system, the computation of PN controllers becomes harder and even impossible. The main contribution of this paper, compared to previous works, is the development of a control synthesis method in order to decrease significantly the computation cost of the PN supervisor. Thus, based on PN properties and mathematical concepts, the proposed methodology provides an optimal PN supervisor for bounded Petri nets following the interpretation of the theory of regions. Finally, case studies are solved by CPLEX software to compare our new control policy with previous works which use the theory of regions for control synthesis. View Full-Text
Keywords: Petri nets; theory of regions; supervisory control; discrete event systems; usable sequences; unusable sequences Petri nets; theory of regions; supervisory control; discrete event systems; usable sequences; unusable sequences
Figures

Figure 1

This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. (CC BY 4.0).

Scifeed alert for new publications

Never miss any articles matching your research from any publisher
  • Get alerts for new papers matching your research
  • Find out the new papers from selected authors
  • Updated daily for 49'000+ journals and 6000+ publishers
  • Define your Scifeed now

SciFeed Share & Cite This Article

MDPI and ACS Style

Rezig, S.; Achour, Z.; Rezg, N. Theory of Regions for Control Synthesis without Computing Reachability Graph. Appl. Sci. 2017, 7, 270.

Show more citation formats Show less citations formats

Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Related Articles

Article Metrics

Article Access Statistics

1

Comments

[Return to top]
Appl. Sci. EISSN 2076-3417 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top