A Case Study of Optimization

Open Access
Publisher Website
Google Scholar
Abstract
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.

This publication has 0 references indexed in Scilit: