Title :
Synthesis and Control of Asynchronous and Distributed Systems
Author_Institution :
INRIA-Rennes, Rennes
Abstract :
We survey research works on asynchronous systems synthesis, including PN synthesis and control synthesis.
Keywords :
control system synthesis; distributed control; PN synthesis; asynchronous system synthesis; control synthesis; distributed systems; Automata; Automatic control; Communication system control; Control system synthesis; Control systems; Discrete event systems; Embedded computing; Modular construction; State-space methods; Supervisory control;
Conference_Titel :
Application of Concurrency to System Design, 2007. ACSD 2007. Seventh International Conference on
Conference_Location :
Bratislava
Print_ISBN :
0-7695-2902-X
DOI :
10.1109/ACSD.2007.33
