264 search results - page 7 / 53 » Numerical Verification of Optimality Conditions |
ICN
2001
Springer
13 years 12 months ago
2001
Springer
For data delivery systems such as video-on-demand service, an optimum design is presented to maximize the revenue of the system with priority classes. The willingness-to-pay (WTP) ...
CAV
2008
Springer
13 years 9 months ago
2008
Springer
Requirements of reactive systems are usually specified by classifying system executions as desirable and undesirable. To specify prioritized requirements, we propose to associate a...
PDSE
1998
13 years 8 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...
MCSS
2008
Springer
13 years 6 months ago
2008
Springer
We study optimal control problems for general unstructured nonlinear differential-algebraic equations of arbitrary index. In particular, we derive necessary conditions in the case ...
MCS
2008
Springer
13 years 7 months ago
2008
Springer
We investigate optimal control problems subject to mixed control-state constraints. The necessary conditions are stated in terms of a local minimum principle. By use of the Fischer...