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
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;
Conference_Titel :
Distributed Computing Systems in the 1990s, 1988. Proceedings., Workshop on the Future Trends of
Print_ISBN :
0-8186-0897-8
DOI :
10.1109/FTDCS.1988.26697
