Title :
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
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;
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
DOI :
10.1109/MED.2009.5164694
