Symbolic Design of Networked Control Systems with State Prediction

Masashi MIZOGUCHI; Toshimitsu USHIO

doi:10.1587/transinf.2016FOP0001

Symbolic Design of Networked Control Systems with State Prediction

Masashi MIZOGUCHI, Toshimitsu USHIO

Full Text Views

0

Share
Cite this

Summary :

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.

Publication: IEICE TRANSACTIONS on Information Vol.E100-D No.6 pp.1158-1165

Publication Date: 2017/06/01

Publicized: 2017/03/07

Online ISSN: 1745-1361

DOI: 10.1587/transinf.2016FOP0001

Type of Manuscript: Special Section PAPER (Special Section on Formal Approach)

Category: Formal techniques

Authors

Masashi MIZOGUCHI
Osaka University
Toshimitsu USHIO
Osaka University

Keyword

networked control systems, symbolic control, approximate similarity relations, state prediction

Cite this

Copy

Masashi MIZOGUCHI, Toshimitsu USHIO, "Symbolic Design of Networked Control Systems with State Prediction" in IEICE TRANSACTIONS on Information, vol. E100-D, no. 6, pp. 1158-1165, June 2017, doi: 10.1587/transinf.2016FOP0001.
Abstract: 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.
URL: https://globals.ieice.org/en_transactions/information/10.1587/transinf.2016FOP0001/_p

Copy

@ARTICLE{e100-d_6_1158,
author={Masashi MIZOGUCHI, Toshimitsu USHIO, },
journal={IEICE TRANSACTIONS on Information},
title={Symbolic Design of Networked Control Systems with State Prediction},
year={2017},
volume={E100-D},
number={6},
pages={1158-1165},
abstract={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.},
keywords={},
doi={10.1587/transinf.2016FOP0001},
ISSN={1745-1361},
month={June},}

Copy

TY - JOUR
TI - Symbolic Design of Networked Control Systems with State Prediction
T2 - IEICE TRANSACTIONS on Information
SP - 1158
EP - 1165
AU - Masashi MIZOGUCHI
AU - Toshimitsu USHIO
PY - 2017
DO - 10.1587/transinf.2016FOP0001
JO - IEICE TRANSACTIONS on Information
SN - 1745-1361
VL - E100-D
IS - 6
JA - IEICE TRANSACTIONS on Information
Y1 - June 2017
AB - 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.
ER -