DocumentCode
3107080
Title
Synthesis and Control of Asynchronous and Distributed Systems
Author
Darondeau, P.
Author_Institution
INRIA-Rennes, Rennes
fYear
2007
fDate
10-13 July 2007
Firstpage
13
Lastpage
22
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Application of Concurrency to System Design, 2007. ACSD 2007. Seventh International Conference on
Conference_Location
Bratislava
ISSN
1550-4808
Print_ISBN
0-7695-2902-X
Type
conf
DOI
10.1109/ACSD.2007.33
Filename
4276260
Link To Document