Synthesize nonblocking distributed supervisors with coordinators

Author

Su, Rong ; Van Schuppen, Jan H. ; Rooda, Jacobus E.

Author_Institution

Dept. of Mech. Eng., Eindhoven Univ. of Technol., Eindhoven, Netherlands

fYear

2009

fDate

24-26 June 2009

Firstpage

1108

Lastpage

1113

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.

Keywords

control system synthesis; discrete event systems; distributed control; finite state machines; automaton abstraction technique; coordinated distributed supervisory control; discrete-event system; nonblocking distributed supervisor synthesis control; nondeterministic finite-state automata; Automata; Automatic control; Automation; Control system synthesis; Discrete event systems; Distributed computing; Distributed control; Jacobian matrices; Network synthesis; Supervisory control; automaton abstraction; coordinated distributed supervisory control; discrete-event systems; nondeterministic finite-state automata;

fLanguage

English

Publisher

ieee

Conference_Titel

Control and Automation, 2009. MED '09. 17th Mediterranean Conference on

Conference_Location

Thessaloniki

Print_ISBN

978-1-4244-4684-1

Electronic_ISBN

978-1-4244-4685-8

Type

conf

DOI

10.1109/MED.2009.5164694

Filename

5164694