DocumentCode
1565156
Title
A tool for the synthesis of discrete controllers for distributed systems
Author
Carchiolo, Vincenza ; Faro, Alberto ; Malgeri, Michele
Author_Institution
Inst. of Inf. & Telecommun., Catania Univ., Italy
fYear
1988
Firstpage
184
Lastpage
191
Abstract
Controllers belonging to the process class known as discrete-event processes are synthesized. These discrete-event processes are mainly characterized by asynchronous and nondeterministic behaviour. A tool is presented that features the use of a formal description technique as the starting point for the synthesis. The formal technique used by the tools is an extension of R. Milner´s calculus for communicating systems. (1985)
Keywords
discrete systems; distributed processing; software tools; R. Milner; asynchronous; calculus for communicating systems; discrete controllers; discrete-event processes; distributed systems; formal description technique; nondeterministic behaviour; process class; synthesis tool; Automatic control; Calculus; Carbon capture and storage; Control system synthesis; Discrete event systems; Distributed control; Logic; Positron emission tomography; Software tools; Telecommunication control;
fLanguage
English
Publisher
ieee
Conference_Titel
Distributed Computing Systems in the 1990s, 1988. Proceedings., Workshop on the Future Trends of
Print_ISBN
0-8186-0897-8
Type
conf
DOI
10.1109/FTDCS.1988.26697
Filename
26697
Link To Document