Symbolic Design of Networked Control Systems with State Prediction

Masashi MIZOGUCHI  Toshimitsu USHIO  

IEICE TRANSACTIONS on Information and Systems   Vol.E100-D   No.6   pp.1158-1165
Publication Date: 2017/06/01
Online ISSN: 1745-1361
Type of Manuscript: Special Section PAPER (Special Section on Formal Approach)
Category: Formal techniques
networked control systems,  symbolic control,  approximate similarity relations,  state prediction,  

Full Text: PDF(445.7KB)
>>Buy this Article

In this paper, we consider a networked control system where bounded network delays and packet dropouts exist in the network. The physical plant is abstracted by a transition system whose states are quantized states of the plant measured by a sensor, and a control specification for the abstracted plant is given by a transition system when no network disturbance occurs. Then, we design a prediction-based controller that determines a control input by predicting a set of all feasible abstracted states at time when the actuator receives the delayed input. It is proved that the prediction-based controller suppresses effects of network delays and packet dropouts and that the controlled plant still achieves the specification in spite of the existence of network delays and packet dropouts.