Scopus İndeksli Yayınlar Koleksiyonu

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

Browse

Search Results

Now showing 1 - 2 of 2
  • Article
    Citation - WoS: 8
    Citation - Scopus: 8
    Reconfigurability of Behavioural Specifications for Manufacturing Systems
    (Taylor & Francis Ltd, 2017) Schmidt, Klaus Werner
    Reconfigurable manufacturing systems (RMS) support flexibility in the product variety and the configuration of the manufacturing system itself in order to enable quick adjustments to new products and production requirements. As a consequence, an essential feature of RMS is their ability to rapidly modify the control strategy during run-time. In this paper, the particular problem of changing the specified operation of a RMS, whose logical behaviour is modelled as a finite state automaton, is addressed. The notion of reconfigurability of specifications (RoS) is introduced and it is shown that the stated reconfiguration problem can be formulated as a controlled language convergence problem. In addition, algorithms for the verification of RoS and the construction of a reconfiguration supervisor are proposed. The supervisor is realised in a modular way which facilitates the extension by new configurations. Finally, it is shown that a supremal nonblocking and controllable strict subautomaton of the plant automaton that fulfils RoS exists in case RoS is violated for the plant automaton itself and an algorithm for the computation of this strict subautomaton is presented. The developed concepts and results are illustrated by a manufacturing cell example.
  • Article
    Citation - WoS: 1
    Citation - Scopus: 1
    Outputs Bounds for Linear Systems With Repeated Input Signals: Existence, Computation and Application To Vehicle Platooning
    (2018) Schmidt, Klaus Werner; Sağlam, Harun Buğra
    This paper investigates the effect of repeated time-limited input signals on the output excursion of stable, linear time-invariant systems. It is rst shown that the maximum norm of the output signal remains bounded if the repeated input signals are separated by a nonzero dwell time. Then a novel method for computing a tight bound on the output signal norm is proposed. The setting of the paper is motivated by a vehicle platooning application, where vehicles repeatedly open/close gaps in order to perform lane changes. The developed method analyzes driving safety by computing a bound on the spacing error between vehicles when performing repeated open/close gap maneuvers.