Discrete event supervisor design and application for manufacturing systems with arbitrary faults and repairs

Acar, Ayşe Nur
Schmidt, Klaus Verner
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.


Hierarchical multitasking control of discrete event systems: Computation of projections and maximal permissiveness
Schmidt, Klaus Verner; Cury, José E.r. (null; 2010-12-01)
This paper extends previous results on the hierarchical and decentralized control of multitasking discrete event systems (MTDES). Colored observers, a generalization of the observer property, together with local control consistency, allow to derive sufficient conditions for synthesizing modular and hierarchical control that are both strongly nonblocking (SNB) and maximally permissive. A polynomial procedure to verify if a projection fulfills the above properties is proposed and in the case they fail for a g...
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...
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...
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...
Fuzzy Discrete Event Systems for Multiobjective Control: Framework and Application to Mobile Robot Navigation
Schmidt, Klaus Verner (2012-10-01)
Fuzzy discrete event systems (FDESs) have been introduced in recent years to model systems whose discrete states or discrete state transitions can be uncertain and are, hence, determined by a possibility degree. This paper develops an FDES framework for the control of sampled data systems that have to fulfill multiple objectives. The choice of a fuzzy system representation is justified by the assumption of a controller realization that depends on various potentially imprecise sensor measurements. The propos...
Citation Formats
A. N. Acar and K. V. Schmidt, “Discrete event supervisor design and application for manufacturing systems with arbitrary faults and repairs,” 2015, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/38770.