In this paper, we employ the reduced basis method for the efficient and reliable solution of parametrized optimal control problems governed by scalar coercive elliptic partial differential equations. We consider the standard linear-quadratic problem setting with distributed control and unilateral control constraints. For this problem class, we propose two different reduced basis approximations ...

When two methods are invoked on the same object, the dispatch behaviours of these method calls will be correlated. If two correlated method calls are polymorphic (i.e., they dispatch to different method definitions depending on the type of the receiver object), a program’s interprocedural control flow graph will contain infeasible paths. Existing algorithms for data-flow analysis are unable to ...

This article concerns the exact controllability of unitary groups on Hilbert spaces with unbounded control operator. It provides a necessary and sufficient condition not involving time which blends a resolvent estimate and an observability inequality. By the transmutation of controls in some time L for the corresponding second order conservative system, it is proved that the cost of controls in...