Computation of supremal controllable sublanguages and infimal controllable superlanguages for fuzzy discrete event systems

Recently, several approaches for the study of fuzzy discrete event systems (FDES) in a supervisory control context have been proposed. Although controllability of fuzzy languages and their implementation by a supervisor could be verified by algorithmic procedures, the problem of supervisor synthesis was only solved for the case of FDES with crisp states but fuzzy state transitions. In this paper, we present algorithms to compute the supremal controllable fuzzy sublanguage and the infimal controllable prefix-closed fuzzy superlanguage of a given fuzzy language for the general case of FDES with fuzzy states, fuzzy state transitions and fuzzy event controllability properties, and formally prove their correctness.


On maximal permissiveness of hierarchical and modular supervisory control approaches for discrete event systems
Schmidt, Klaus Verner (2008-08-26)
Recently, several efficient modular and hierarchical approaches for the control of discrete event systems (DES) have been proposed. Although these methods are very suitable for dealing with the state space explosion problem, their common limitation is that either maximal permissiveness is not addressed or unnecessarily restrictive conditions are required in order to ensure maximally permissive control. In this paper we develop a unified framework for the investigation of maximal permissiveness of modular co...
A shared-medium communication architecture for distributed discrete event systems
Schmidt, Klaus Verner; Zaddach, J. (2007-06-29)
Recently, several efficient supervisor synthesis approaches for distributed discrete event systems (DES) have been established. In this paper, the implementation of such supervisors on interacting distributed programmable logic controllers (PLCs) on a network is considered for the hierarchical and decentralized control approach elaborated in our previous work. A communication model that captures the controller behavior relevant for communication is developed, and a network architecture together with a sched...
Mobile robot navigation based on fuzzy discrete event systems
Tampakis, Georgios; Schmidt, Klaus Verner; Boutalis, Yiannis (2009-12-01)
Recently, several approaches for the control of fuzzy discrete event systems (FDES) have been proposed. First results towards the use of FDES in mobile robot navigation have also been presented, which however mainly build on sensory information processing. In this paper, we develop a methodology to compute control actions for the navigation of a mobile robot based on distributed FDES. The FDES description permits to take into account possible uncertainties in sensory information and enables a prediction of ...
Controller synthesis for an I/O-based hierarchical system architecture
Perk, Sebastian; Moor, Thomas; Schmidt, Klaus Verner (2008-10-08)
In our previous work, a framework for the hierarchical design of discrete event systems has been introduced that is based on a notion of inputs and outputs. I/O-plant models describe the interaction of each subsystem with the operator (or controller) and the environment. By alternation of subsystem composition and controller synthesis, a hierarchy of controllers is obtained that complements a hierarchy of environment models. An admissibility condition was presented that implies liveness while allowing for a...
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...
Citation Formats
K. V. Schmidt, “Computation of supremal controllable sublanguages and infimal controllable superlanguages for fuzzy discrete event systems,” 2008, Accessed: 00, 2020. [Online]. Available: