Synthesize nonblocking distributed supervisors with coordinators

R. Su; J.H. Schuppen, van; J.E. Rooda

doi:10.1109/MED.2009.5164694

Synthesize nonblocking distributed supervisors with coordinators

R. Su, J.H. Schuppen, van, J.E. Rooda

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

In supervisor synthesis achieving nonblockingness is a major computational challenge when a target system consists of a large number of local components. To overcome this difficulty, for a distributed system consisting of a set of nondeterministic finite-state automata and a collection of deterministic specifications, we propose a synthesis approach that computes nonblocking distributed supervisors with coordinators by using a novel automaton abstraction technique.

Original language	English
Title of host publication	Proceedings of the 17th Mediterranean Conference on Control and Automation, MED '09, Thessaloniki, Greece, 24-26 June 2009
Place of Publication	Piscataway
Publisher	Institute of Electrical and Electronics Engineers
Pages	1108-1113
ISBN (Print)	978-1-4244-4684-1
DOIs	https://doi.org/10.1109/MED.2009.5164694
Publication status	Published - 2009

Access to Document

10.1109/MED.2009.5164694

Cite this

@inproceedings{d27a04eec16d48398ac5ba7f7a9ec350,

title = "Synthesize nonblocking distributed supervisors with coordinators",

abstract = "In supervisor synthesis achieving nonblockingness is a major computational challenge when a target system consists of a large number of local components. To overcome this difficulty, for a distributed system consisting of a set of nondeterministic finite-state automata and a collection of deterministic specifications, we propose a synthesis approach that computes nonblocking distributed supervisors with coordinators by using a novel automaton abstraction technique.",

author = "R. Su and \{Schuppen, van\}, J.H. and J.E. Rooda",

year = "2009",

doi = "10.1109/MED.2009.5164694",

language = "English",

isbn = "978-1-4244-4684-1",

pages = "1108--1113",

booktitle = "Proceedings of the 17th Mediterranean Conference on Control and Automation, MED '09, Thessaloniki, Greece, 24-26 June 2009",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

}

Synthesize nonblocking distributed supervisors with coordinators. / Su, R.; Schuppen, van, J.H.; Rooda, J.E.
Proceedings of the 17th Mediterranean Conference on Control and Automation, MED '09, Thessaloniki, Greece, 24-26 June 2009. Piscataway: Institute of Electrical and Electronics Engineers, 2009. p. 1108-1113.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Synthesize nonblocking distributed supervisors with coordinators

AU - Su, R.

AU - Schuppen, van, J.H.

AU - Rooda, J.E.

PY - 2009

Y1 - 2009

N2 - In supervisor synthesis achieving nonblockingness is a major computational challenge when a target system consists of a large number of local components. To overcome this difficulty, for a distributed system consisting of a set of nondeterministic finite-state automata and a collection of deterministic specifications, we propose a synthesis approach that computes nonblocking distributed supervisors with coordinators by using a novel automaton abstraction technique.

AB - In supervisor synthesis achieving nonblockingness is a major computational challenge when a target system consists of a large number of local components. To overcome this difficulty, for a distributed system consisting of a set of nondeterministic finite-state automata and a collection of deterministic specifications, we propose a synthesis approach that computes nonblocking distributed supervisors with coordinators by using a novel automaton abstraction technique.

U2 - 10.1109/MED.2009.5164694

DO - 10.1109/MED.2009.5164694

M3 - Conference contribution

SN - 978-1-4244-4684-1

SP - 1108

EP - 1113

BT - Proceedings of the 17th Mediterranean Conference on Control and Automation, MED '09, Thessaloniki, Greece, 24-26 June 2009

PB - Institute of Electrical and Electronics Engineers

CY - Piscataway

ER -

Synthesize nonblocking distributed supervisors with coordinators

Abstract

Access to Document

Fingerprint

Cite this