Formal Specification and Synthesis of Procedural Controllers for Process Systems by Arturo Sanchez

Formal Specification and Synthesis of Procedural Controllers for Process Systems

Lecture Notes in Control and Information Sciences

Arturo Sanchez

224 pages missing pub info (editions)

nonfiction art technology medium-paced
Powered by AI (Beta)
Loading...

Description

The operation of process plants involves a large number of event-driven activities, such as the start-up and shut-down of the plant, the execution of emergency procedures and equipment interlocking. These activities are normally carried out by pro...

Read more

Community Reviews

Loading...

Content Warnings

Loading...