Show/Hide Menu
Hide/Show Apps
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Guides
Guides
Thesis submission
Thesis submission
MS without thesis term project submission
MS without thesis term project submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Supporting Information
Supporting Information
General Information
General Information
Copyright, Embargo and License
Copyright, Embargo and License
Contact us
Contact us
State attraction under language specification for the reconfiguration of discrete event systems
Date
2015-06-01
Author
Nooruldeen, Anas
Schmidt, Klaus Verner
Metadata
Show full item record
This work is licensed under a
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License
.
Item Usage Stats
82
views
0
downloads
Cite This
In this note, we study a particular setting for the reconfiguration of discrete event systems (DES) that is applicable to the control of reconfigurable manufacturing systems (RMS). We consider DES that can operate in different configurations and we are interested in the realization of configuration changes. Different from previous work, we intend to reach a set of plant states where a new configuration can be started in a bounded number of transitions and at the same time fulfill a behavioral specification before starting the new configuration. To this end, we introduce the concept of weak attraction under language specification (WALS) and derive necessary and sufficient conditions for its verification. Using WALS, we propose a polynomial-time algorithm for computing a supervisor that performs the described configuration changes. We demonstrate the applicability of our method using a workcell of an RMS.
Subject Keywords
Discrete event systems
,
Language specification
,
Reconfiguration
,
State attraction
URI
https://hdl.handle.net/11511/42343
Journal
IEEE Transactions on Automatic Control
DOI
https://doi.org/10.1109/tac.2014.2358811
Collections
Department of Electrical and Electronics Engineering, Article
Suggestions
OpenMETU
Core
Abstraction-based supervisory control for recon-gurable manufacturing systems ?
Khalid, Harith M.; Kirik, Mustafa Sancay; Schmidt, Klaus Verner (2013-10-21)
Reconfiguration control for discrete event systems (DES) is concerned with the realization of different system configurations by modification of the supervisory control loop. In this paper, we study the reconfiguration supervisor design for reconfigurable manufacturing systems (RMS) that comprise multiple components. We construct a modular supervisor for each configuration and system component in order to realize each active configuration and to quickly change between configurations. Different from the exis...
Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems
Schmidt, Klaus Verner (2012-12-01)
The topic of this technical note is the nonblocking and maximally permissive abstraction-based supervisory control for modular discrete event systems (DES). It is shown, that an efficient abstraction technique, that was developed for the nonconflict verification of modular DES, is also suitable for the nonblocking supervisory control. Moreover, it is proved that this abstraction technique can be extended by the condition of local control consistency, in order to achieve maximally permissive supervision. Dif...
Hierarchical control with partial observations: Sufficient conditions
Boutin, Olivier; Komenda, Jan; Masopust, Tomas; Schmidt, Klaus Verner; Van Schuppen, Jan H. (2011-12-01)
In this paper, hierarchical control of both monolithic and modular discrete-event systems under partial observations is studied. Two new conditions, called observation consistency and local observation consistency, are proposed. These conditions are sufficient for the preservation of observability between the original and the abstracted plant. Moreover, it is shown that both conditions are compositional, that is, they are preserved by the synchronous product. This property makes it possible to use hierarchi...
Nonblocking hierarchical control of decentralized des
Schmidt, Klaus Verner; Moor, Thomas (null; 2005-12-01)
This work considers a hierarchical control architecture for a class of discrete event systems which can also be applied to decentralized control systems. It is shown that nonblocking supervisory control on the high level of the hierarchy results in nonblocking and hierarchically consistent control on the low level. Copyright © 2005 IFAC.
Fuzzy Hybrid Systems modeling with application in decision making and control
Boutalis, Yiannis; Moor, Thomas; Schmidt, Klaus Verner (2012-11-28)
Hybrid Systems are systems containing both discrete event and continuous variable components. Many recent contributions address crisp situations, where ambiguity or subjectivity in the measured data is absent. In this paper, we propose Fuzzy Hybrid Systems to account for inaccurate measurements and uncertain dynamics. We present a strategy to determine the most appropriate control actions in a sampled data setting. The proposed approach is based on three basic steps that are performed in each sampling perio...
Citation Formats
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
A. Nooruldeen and K. V. Schmidt, “State attraction under language specification for the reconfiguration of discrete event systems,”
IEEE Transactions on Automatic Control
, pp. 1630–1634, 2015, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/42343.