Control and verification of hybrid systems is studied using two industrial examples. The hybrid models of a conveyor-belt and of a biochemical plant for the production of ethanol are specified in the formalism $chi .$ A verification of the closed-loop systems for those examples, consisting of an interconnection of the control system and the controller, is made. A control synthesis procedure is presented, with which controllers for hybrid systems can be synthesized.

, ,
CWI
Department of Operations Research, Statistics, and System Theory [BS]

Fey, J.J.H. (1996). Control and verification of industrial hybrid systems using models specified with the formalism $ chi $. Department of Operations Research, Statistics, and System Theory [BS]. CWI.