ITU

Controller synthesis for dynamic hierarchical real-time plants using timed automata

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Standard

Controller synthesis for dynamic hierarchical real-time plants using timed automata. / Bin Waez, Md Tawhid; Wasowski, Andrzej; Dingel, Juergen; Rudie, Karen.

In: Discrete Event Dynamic Systems, Vol. 27, No. 2, 2017, p. 407-441.

Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Harvard

APA

Vancouver

Author

Bin Waez, Md Tawhid ; Wasowski, Andrzej ; Dingel, Juergen ; Rudie, Karen. / Controller synthesis for dynamic hierarchical real-time plants using timed automata. In: Discrete Event Dynamic Systems. 2017 ; Vol. 27, No. 2. pp. 407-441.

Bibtex

@article{9ed1098f079842aa86ae88f047368e9f,
title = "Controller synthesis for dynamic hierarchical real-time plants using timed automata",
abstract = "We use timed I/O automata based timed games to synthesize task-level reconfiguration services for cost-effective fault tolerance in a case study. The case study shows that state-space explosion is a severe problem for timed games. By applying suitable abstractions, we dramatically improve the scalability. However, timed I/O automata do not facilitate algorithmic abstraction generation techniques. The case study motivates the development of timed process automata to improve modeling and analysis for controller synthesis of time-critical plants which can be hierarchical and dynamic. The model offers two essential features for industrial systems: (i) compositional modeling with reusable designs for different contexts, and (ii) state-space reduction technique. Timed process automata model dynamic networks of continuous-time communicating plant processes which can activate other plant processes. We show how to establish safety and reachability properties of timed process automata by reduction to solving timed games. To mitigate the state-space explosion problem, an algorithmic state-space reduction technique using compositional reasoning and aggressive abstractions is also proposed. In this article, we demonstrate the theoretical framework of timed process automata and the effectiveness of the proposed state-space reduction technique by extending the case study.",
author = "{Bin Waez}, {Md Tawhid} and Andrzej Wasowski and Juergen Dingel and Karen Rudie",
year = "2017",
doi = "10.1007/s10626-017-0240-2",
language = "English",
volume = "27",
pages = "407--441",
journal = "Discrete Event Dynamic Systems",
issn = "0924-6703",
publisher = "Springer",
number = "2",

}

RIS

TY - JOUR

T1 - Controller synthesis for dynamic hierarchical real-time plants using timed automata

AU - Bin Waez, Md Tawhid

AU - Wasowski, Andrzej

AU - Dingel, Juergen

AU - Rudie, Karen

PY - 2017

Y1 - 2017

N2 - We use timed I/O automata based timed games to synthesize task-level reconfiguration services for cost-effective fault tolerance in a case study. The case study shows that state-space explosion is a severe problem for timed games. By applying suitable abstractions, we dramatically improve the scalability. However, timed I/O automata do not facilitate algorithmic abstraction generation techniques. The case study motivates the development of timed process automata to improve modeling and analysis for controller synthesis of time-critical plants which can be hierarchical and dynamic. The model offers two essential features for industrial systems: (i) compositional modeling with reusable designs for different contexts, and (ii) state-space reduction technique. Timed process automata model dynamic networks of continuous-time communicating plant processes which can activate other plant processes. We show how to establish safety and reachability properties of timed process automata by reduction to solving timed games. To mitigate the state-space explosion problem, an algorithmic state-space reduction technique using compositional reasoning and aggressive abstractions is also proposed. In this article, we demonstrate the theoretical framework of timed process automata and the effectiveness of the proposed state-space reduction technique by extending the case study.

AB - We use timed I/O automata based timed games to synthesize task-level reconfiguration services for cost-effective fault tolerance in a case study. The case study shows that state-space explosion is a severe problem for timed games. By applying suitable abstractions, we dramatically improve the scalability. However, timed I/O automata do not facilitate algorithmic abstraction generation techniques. The case study motivates the development of timed process automata to improve modeling and analysis for controller synthesis of time-critical plants which can be hierarchical and dynamic. The model offers two essential features for industrial systems: (i) compositional modeling with reusable designs for different contexts, and (ii) state-space reduction technique. Timed process automata model dynamic networks of continuous-time communicating plant processes which can activate other plant processes. We show how to establish safety and reachability properties of timed process automata by reduction to solving timed games. To mitigate the state-space explosion problem, an algorithmic state-space reduction technique using compositional reasoning and aggressive abstractions is also proposed. In this article, we demonstrate the theoretical framework of timed process automata and the effectiveness of the proposed state-space reduction technique by extending the case study.

U2 - 10.1007/s10626-017-0240-2

DO - 10.1007/s10626-017-0240-2

M3 - Journal article

VL - 27

SP - 407

EP - 441

JO - Discrete Event Dynamic Systems

JF - Discrete Event Dynamic Systems

SN - 0924-6703

IS - 2

ER -

ID: 82396742