Control and verification of industrial hybrid systems using models specified  with the formalism $ chi $

Fey, J.J.H.

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.

Additional Metadata
MSC	Control problems involving computers (process control, etc.) (msc 93C83), Systems governed by ordinary differential equations (msc 93C15), Software (msc 68Nxx)
Publisher	CWI
Series	Department of Operations Research, Statistics, and System Theory [BS]
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	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.

Free Full Text ( Final Version , 71kb )

Control and verification of industrial hybrid systems using models specified with the formalism $ chi $

Publication

Publication

Address

CWI researchers

Questions or comments?

Control and verification of industrial hybrid systems using models specified with the formalism $ chi $

Publication

Publication

Workflow

Workflow

Add Content