Output Feedback Controller Design with Symbolic Observers for Cyber-physical Systems

Masashi Mizoguchi
(Graduate School of Engineering Science, Osaka University, Osaka, Japan)
Toshimitsu Ushio
(Graduate School of Engineering Science, Osaka University, Osaka, Japan)

In this paper, we design a symbolic output feedback controller of a cyber-physical system (CPS). The physical plant is modeled by an infinite transition system. We consider the situation that a finite abstracted system of the physical plant, called a c-abstracted system, is given. There exists an approximate alternating simulation relation from the c-abstracted system to the physical plant. A desired behavior of the c-abstracted system is also given, and we have a symbolic state feedback controller of the physical plant. We consider the case where some states of the plant are not measured. Then, to estimate the states with abstracted outputs measured by sensors, we introduce a finite abstracted system of the physical plant, called an o-abstracted system, such that there exists an approximate simulation relation. The relation guarantees that an observer designed based on the state of the o-abstracted system estimates the current state of the plant. We construct a symbolic output feedback controller by composing these systems. By a relation-based approach, we proved that the controlled system approximately exhibits the desired behavior.

In Mehdi Kargahi and Ashutosh Trivedi: Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS-16), Reykjavík, Iceland, June 4-5, 2016, Electronic Proceedings in Theoretical Computer Science 232, pp. 37–51.
Published: 13th December 2016.

ArXived at: http://dx.doi.org/10.4204/EPTCS.232.7 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org