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

Date

2008-10-06

Author

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

117
views

0
downloads

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.

Subject Keywords

Automation, Conferences

URI

https://hdl.handle.net/11511/37260

DOI

https://doi.org/10.1109/med.2008.4602002

Collections

Department of Electrical and Electronics Engineering, Conference / Seminar

Suggestions

OpenMETU
Core

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: https://hdl.handle.net/11511/37260.