Supervisory control and formal methods for distributed systems

İnan, Kemal
A brief introductory exposure for logical discrete event system models is presented. Based on a specific version of this model tailored to supervisory control, some of the mainstream supervisory control problems are formulated in a unified framework. Formal methods used in software engineering has certain computational and structural similarities to supervisory control and unlike the latter, is closely connected to realistic and widespread practical applications. Formal specification, verification, implementation and testing problems for distributed software are briefly explained. A typical protocol design problem in the context of a layered and peer-leveled architecture is rigorously formulated and discussed. Reasons as to why the simplistic supervisory control formulation — or the protocol synthesis problem in the language of protocol engineering — is unrealistic as a design approach are presented. In contrast to protocol design problem, the protocol conversion (gateway) problem is formulated and possible merits of supervisory control approach as a design method are discussed.


Applied supervisory control for a flexible manufacturing system
Moor, Thomas; Schmidt, Klaus Verner; Perk, Sebastian (2010-12-01)
This paper presents a case study in the design and implementation of a discrete event system (DES) of real-world complexity. Our DES plant is a flexible manufacturing system (FMS) laboratory model that consists of 29 interacting components and is controlled via 107 digital signals. Regarding controller design, we apply a hierarchical and decentralised synthesis method from earlier work in order to achieve nonblocking and safe closed-loop behaviour. Regarding implementation, we discuss how digital signals tr...
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...
Multi-objective decision making using fuzzy discrete event systems: A mobile robot example
Boutalis, Yiannis; Schmidt, Klaus Verner (2010-09-29)
In this paper, we propose an approach for the multi-objective control of sampled data systems that can be modeled as fuzzy discrete event systems (FDES). In our work, the choice of a fuzzy system representation is justified by the assumption of a controller realization that depends on various potentially imprecise sensor measurements. Our approach consists of three basic steps that are performed in each sampling instant. First, the current fuzzy state of the system is determined by a sensor evaluation. Seco...
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...
Fuzzy Hybrid Systems modeling with application in decision making and control
Boutalis, Yiannis; Moor, Thomas; Schmidt, Klaus Verner (2012-11-28)
Hybrid Systems are systems containing both discrete event and continuous variable components. Many recent contributions address crisp situations, where ambiguity or subjectivity in the measured data is absent. In this paper, we propose Fuzzy Hybrid Systems to account for inaccurate measurements and uncertain dynamics. We present a strategy to determine the most appropriate control actions in a sampled data setting. The proposed approach is based on three basic steps that are performed in each sampling perio...
Citation Formats
K. İnan, “Supervisory control and formal methods for distributed systems,” 1992, vol. 13, p. 29, Accessed: 00, 2020. [Online]. Available: