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 language | English |
---|---|
Article number | 1247692 |
Pages (from-to) | 90-97 |
Number of pages | 8 |
Journal | IEEE International Conference on Emerging Technologies and Factory Automation, ETFA |
Volume | 1 |
Issue number | January |
DOIs | |
State | Published - 2003 |
Event | 2003 IEEE Conference on Emerging Technologies and Factory Automation, ETFA 2003 - Lisbon, Portugal Duration: Sep 16 2003 → Sep 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