Coordinating concurrency to avoid forbidden states in condition models

V. Venugopal, L. E. Holloway

Research output: Contribution to journalConference articlepeer-review

1 Scopus citations

Abstract

This paper presents a new way of avoiding and getting around forbidden states in condition models that are used in automated control synthesis of manufacturing systems. The desired high-level behavior of the system is specified by a condition system Petri net called the "Specnet". The forbidden states are defined by a condition system Petri net called "Forbidden condition net". Our manufacturing system is defined by a set of interacting components, which are specified by component models. The high level Spec net is analyzed by a software tool, which converts it to an executable file, which is input to the controller, to control the manufacturing system. In this paper we introduce a new method to avoid and get around forbidden states, by taking the Specnet and the Forbidden condition net as inputs and analyzing the Specnet for the reachability of Forbidden markings, making necessary changes automatically (if needed) in the Specnet, to avoid reaching Forbidden markings, while maintaining the desired high level behavior of the system as defined by the original Specnet.

Original languageEnglish
Article number1247692
Pages (from-to)90-97
Number of pages8
JournalIEEE International Conference on Emerging Technologies and Factory Automation, ETFA
Volume1
Issue numberJanuary
DOIs
StatePublished - 2003
Event2003 IEEE Conference on Emerging Technologies and Factory Automation, ETFA 2003 - Lisbon, Portugal
Duration: Sep 16 2003Sep 19 2003

Bibliographical note

Publisher Copyright:
© 2003 IEEE.

ASJC Scopus subject areas

  • Electrical and Electronic Engineering
  • Control and Systems Engineering
  • Industrial and Manufacturing Engineering
  • Computer Science Applications

Fingerprint

Dive into the research topics of 'Coordinating concurrency to avoid forbidden states in condition models'. Together they form a unique fingerprint.

Cite this