Scopus İndeksli Yayınlar Koleksiyonu

Permanent URI for this collectionhttps://hdl.handle.net/20.500.12416/8651

Browse

Filters

2013 - 20174

Settings

Author: search.filters.author.Schmidt, Klaus WernerScopus Q: search.filters.scopusQuartile.Q3

Search Results

Now showing 1 - 4 of 4
  • Conference Object
    Citation - WoS: 8
    Citation - Scopus: 8
    Optimal Configuration Changes for Reconfigurable Manufacturing Systems
    (Ieee, 2013) Schmidt, Klaus Werner
    Reconfigurable manufacturing systems (RMSs) are designed to quickly adapt to new products and production requirements. To this end, RMSs need to be able to perform fast changes between different configurations. This paper investigates the reconfiguration of RMSs in a supervisory control framework. Different from previous work, we formulate and solve a reconfiguration problem that allows to start a newly requested configuration before the previously active configuration has been completed. Our solution is optimal in the sense that there is no other solution that enables an earlier start of the new configuration. The practicability of the proposed solution is demonstrated by a small RMS example.
  • Conference Object
    Citation - WoS: 5
    Citation - Scopus: 6
    Fault-Tolerant Control of Discrete-Event Systems With Lower-Bound Specifications
    (Elsevier, 2015) Moor, Thomas; Schmidt, Klaus Werner
    Fault-tolerant control addresses the control of dynamical systems such that they remain functional after the occurrence of a fault. To allow the controller to compensate for a fault, the system must exhibit certain redundancies. Alternatively, one may relax performance requirements for the closed loop behaviour after the occurrence of a fault. To achieve fault tolerance for a hierarchical control architecture, a combination of both options appears to be advisable: on each individual level of the hierarchy, the controller may compensate the fault as far as possible, and then pass on responsibility to the next upper level. This approach, when further elaborated for discrete-event systems represented by formal languages, turns out to impose a hard lower-bound inclusion specification on the closed-loop behaviour. The present paper discusses the corresponding synthesis problem and presents a solution. (C) 2015, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.
  • Conference Object
    Citation - WoS: 4
    Citation - Scopus: 4
    Discrete Event Supervisor Design and Application for Manufacturing Systems With Arbitrary Faults and Repairs
    (Ieee, 2015) Schmidt, Klaus Werner; Acar, Ayse Nur
    This paper considers the supervisory control of discrete event systems (DES) that are subject to faults. To this end, an existing method for the fault-recovery and repair of single faults is extended to the case of different faults. As a result, we obtain a supervisor that follows the specified nominal system behavior in the fault-free case, converges to a desired degraded behavior for each fault type and recovers the nominal behavior after repair. The results of the paper are illustrated by a small example.
  • Conference Object
    The Controllability Prefix for Supervisory Control Under Partial Observation With an Application To Fault-Tolerant Control
    (Elsevier, 2017) Moor, Thomas; Schmidt, Klaus Werner
    The controllability prefix is known as a useful concept for the discussion and solution of synthesis problems in supervisory control of cp-languages, i.e., formal languages of infinite-length words. There, the controllability prefix is defined as the set of all finite-length prefixes that can be controlled to satisfy prescribed liveness and safety properties. In this paper, we discuss a variation of the controllability prefix to address supervisory control under partial observation for regular *-languages, i.e., formal languages of finite-length words. We derive algebraic properties that are useful for a quantitative analysis on how an upper-bound language-inclusion specification affects achievable lower-bound specifications. Our study is motivated by the synthesis of fault-tolerant supervisory controllers, where the possible occurrence of a fault may restrict the achievable pre-fault behaviour so severe, that a relaxation of the upper-bound specification becomes a practical option. As our study shows, such a relaxation can be systematically constructed in terms of the controllability prefix. (C) 2017, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.