%0 Electronic Article
%A M.P. Spathopoulos
%+ Div. of Dynamics & Control, Strathclyde Univ., Glasgow
%K discrete-event process
%K process algebra
%K modular structure
%K integrity
%K distributive control
%K finitely recursive processes
%K control actions
%K blocking events
%K programmable logical control components
%X The control design of a discrete-event process is introduced using predicates and associated blocking events. The system is modelled using algebras of processes in a modular way where the integrity of tasks/resources is preserved. Using the modular structure of the finitely recursive processes a distributive control design is developed where the control actions are performed using operators of the algebra. These operators are implemented using programmable logical control components inserted within the modular structure of the system.
%T Distributive control using algebras of processes
%B IET Conference Proceedings
%D January 1996
%P 728-732
%I Institution of Engineering and Technology
%U https://digital-library.theiet.org/;jsessionid=qrixnffcyojl.x-iet-live-01content/conferences/10.1049/cp_19960641
%G EN