A Case Study of Optimization
W. He · The Computer Journal · 1995
Optimization is a classical notion in control theory. It is often required in engineering practice. As a case study, this paper represents an initial contribution to the formalization of the concept of optimization of hybrid systems and also explores its analytic and synthetic techniques. The illustrative case is a fluid double-tank example and the logical notation employed in the formalization is the Duration Calculus.