Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...

This paper gives a decentralized approach to the problem of failure prognosis in the framework of fuzzy discrete event systems (FDES). A notion of co-predictability is formalized for decentralized prognosis of FDESs, where several local agents with fuzzy observability rather than crisp observability are used in the prognosis task. An FDES is said to be co-predictable if each faulty event can be...

Relative observability has been introduced and studied in the framework of partially observed discrete-event systems as a condition stronger than observability, but weaker than normality. However, unlike observability, relative observability is closed under language unions, which makes it interesting for practical applications. In this paper, we investigate this notion in the framework of coord...

This paper investigates local observability of the pose and motion of a curved threedimensional object rolling on a rough horizontal plane. The plane models a controllable robotic palm imbued with tactile sensors. The palm can accelerate in arbitrary translational directions and the tactile sensors can determine the contact location between the palm and the rolling object at every instant in ti...

In this paper, we consider local observability at an initial state for discrete-time autonomous polynomial systems. When testing for observability, for discrete-time nonlinear systems, a condition based on the inverse function theorem is commonly used. However, it is a sufficient condition. In this paper, first we derive a necessary and sufficient condition for global observability at an initia...

Decomposition and localization of a supervisor both are reduction methods in distributed supervisory control of discrete-event systems.Decomposition is employed to reduce the number of events and localization is used to reduce the number of states of local controllers.In decomposition of a supervisor both observation and control scopes are restricted, whereas in localization only control author...

Observability is a fundamental system-theoretic property which reflects the possibility of estimating internal states on the basis of input/output data. In the context of nonlinear systems, various possible ways of formalizing this property give rise to different, nonequivalent, notions. These notions differ mainly in the choice of inputs used in testing observability (see for instance a discus...