Publications
206 results found
Vinter RB, 2002, A maximum principle for mini-max optimal control problems, Conference on decision and control, Las Vegas, ISSN: 0191-2216
Vinter RB, 2002, Necessary conditions for mini-max optimal control problems, New York, 41st IEEE conference on decision and control, Las Vegas, Nevada, 10 - 13 December 2002, Publisher: IEEE, Pages: 4733-4737
Galbraith GN, Vinter RB, 2002, Lipschitz regularity of optimal controls, New York, 41st IEEE conference on decision and control, Las Vegas, Nevada, 10 - 13 December 2002, Publisher: IEEE, Pages: 3121-3126
Bessis DN, Ledyaev YS, Vinter RB, 2001, Dualization of the Euler and Hamiltonian inclusions, NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, Vol: 43, Pages: 861-882, ISSN: 0362-546X
- Author Web Link
- Cite
- Citations: 11
Pereira FL, Silva GN, Vinter RB, 2001, Necessary conditions of optimality for vector-valued impulsive control problems with state constraints, Pages: 924-930
A vector-valued impulsive control problem is considered whose dynamics, defined by a differential inclusion, have to satisfy state constraints and are such that the vector fields associated with the singular term do not satisfy the so called Frobenius condition. A concept of robust solution based on a new reparametrization procedure is adopted in order to derive necessary conditions of optimality. These conditions are obtained by taking a limit of those for an appropriate sequence of auxiliary 'standard' optimal control problems approximating the original one. An example to illustrate the nature of the new optimality conditions is provided.
Chryssochoos I, Vinter RB, 2001, Dynamic programming and optimal control problems on Manifolds, European control conference 2001, August 2001
De Pinho MDR, Vinter RB, Zheng H, 2001, A maximum principle for optimal control problems with mixed constraints, IMA Journal of Mathematical Control and Information, Vol: 18, Pages: 189-205, ISSN: 0265-0754
Frankowska H, Vinter RB, 2000, Existence of neighboring feasible trajectories: Applications to dynamic programming for state-constrained optimal control problems, Journal of Optimization Theory and Applications, Vol: 104, Pages: 20-40, ISSN: 0022-3239
In this paper, the value function for an optimal control problem with endpoint and state constraints is characterized as the unique lower semicontinuous generalized solution of the Hamilton-Jacobi equation. This is achieved under a constraint qualification (CQ) concerning the interaction of the state and dynamic constraints. The novelty of the results reported here is partly the nature of (CQ) and partly the proof techniques employed, which are based on new estimates of the distance of the set of state trajectories satisfying a state constraint from a given trajectory which violates the constraint.
Frankowska H, Vinter RB, 2000, Existence of neighboring feasible trajectories: Applications to dynamic programming for state-constrained optimal control problems, JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS, Vol: 104, Pages: 21-40, ISSN: 0022-3239
- Author Web Link
- Cite
- Citations: 60
Clark JMC, Vinter RB, 2000, Flow Rate Control, Electronics Letters, Vol: 36, Pages: 1328-1329
Frankowska H, Vinter RB, 2000, Existence of neighbouring feasible trajectories: Applications to dynamic programming for state constrained optimal control problems, 39th IEEE Conference on Decision and Control, Publisher: IEEE, Pages: 4618-4623, ISSN: 0743-1546
Rampazzo F, Vinter RB, 2000, Degenerate Optimal Control Problems with State Constraints, SIAM Journal on Control and Optimization, Vol: 39, Pages: 989-1007
Frankowska H, Vinter RB, 2000, A Theorem on Existence of Neighbouring Feasible Trajectories: Applications to Dynamic Programming for State Constrained Optimal Control Problems, Jota, Vol: 104, Pages: 21-40
Vinter RB, Zheng H, 2000, Necessary Conditions for Free End-Time, Measurably Time Dependent Optimal Control Problems with State Constraints, Set-Valued Analysis, Vol: 8, Pages: 11-29
Clark JMC, Vinter RB, 2000, A Differential Dynamic Games Problem Arising in Surge Tank Control, Proc. UKACC Int. Conf. CONTROL 2000, Cambridge, Session 2D, 4-7 Sept. 2000
Pytlak R, Vinter RB, 1999, Feasible direction algorithm for optimal control problems with state and control constraints: Implementation, JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS, Vol: 101, Pages: 623-649, ISSN: 0022-3239
- Author Web Link
- Cite
- Citations: 14
Rampazzo F, Vinter RB, 1999, Theorem on existence of neighbouring trajectories satisfying a state constraint, with applications to optimal control, IMA Journal of Mathematical Control and Information, Vol: 16, Pages: 335-351, ISSN: 0265-0754
Simple directly verifiable conditions are derived under which there exists a state trajectory satisfying a specified state constraint. The conclusions differ from the kind of information provided by viability and invariance-type theorems, insofar as an estimate is provided of the distance (in the supremum norm) of the state trajectory from a specified state trajectory, in terms of the degree to which the specified state trajectory violates the state constraint. The constructions involved in the existence proof are related to ones previously employed by Soner to establish continuity properties of a value function arising in infinite-horizon state-constrained optimal control, but the accompanying analysis contains refinements to ensure a sub-Lipschitz property of the value function considered here. It is expected that this existence result will have a number of implications for systems theory and optimal control. Here we show how it leads to a non-degenerate maximum principle for state-constrained optimal-control problems, in situations where the standard necessary conditions give no useful information about minimizers.
Pytlak R, Vinter RB, 1999, A Feasible Directions Type Algorithm for Optimal Control Problems with State and Control Constraints: Implementation, Jota, Vol: 101, Pages: 623-650
Ferreira M, Fontes F, Vinter RB, 1999, Nondegenerate Necessary Conditions for Nonconvex Optimal Control Problems with State Constraints, Journal of Mathematical Analysis and Applications
Vinter R, Loomes M, Kornbrot D, 1998, Applying software metrics to formal specifications: A cognitive approach, Pages: 216-222
It is generally accepted that failure to reason correctly during the early stages of software development causes developers to make incorrect decisions which can lead to the introduction of faults or anomalies in systems. Most key development decisions are usually made at the early system specification stage of a software project and developers do not receive feedback on their accuracy until near its completion. Software metrics are generally aimed at the coding or testing stages of development, however, when the repercussions of erroneous work have already been incurred. This paper presents a tentative model for predicting those parts of formal specifications which are most likely to admit erroneous inferences, in order that potential sources of human error may be reduced. The empirical data populating the model was generated during a series of cognitive experiments aimed at identifying linguistic properties of the Z notation which are prone to admit non-logical reasoning errors and biases in trained users.
Clarke FH, Ledyaev Y, Vinter RB, 1998, Regularity properties of solutions to linear quadratic optimal control problems with state constraints (vol 30, pg 265, 1997), SYSTEMS & CONTROL LETTERS, Vol: 33, Pages: 139-139, ISSN: 0167-6911
- Author Web Link
- Cite
- Citations: 1
Pytlak R, Vinter RB, 1998, A feasible directions algorithm for optimal control problems with state and control constraints: Convergence analysis, SIAM JOURNAL ON CONTROL AND OPTIMIZATION, Vol: 36, Pages: 1999-2019, ISSN: 0363-0129
- Author Web Link
- Cite
- Citations: 18
Lobo PF, Silva GN, Vinter RB, 1998, Necessary Conditions for Optimal Impulsive Control of Differential Inclusions, Proc. 37 Decision and Control Conf., Tampa, Florida
Pereira FL, Silva GN, Vinter RB, 1998, Necessary conditions of optimality for impulsive differential inclusions, 37th IEEE Conference on Decision and Control, Publisher: IEEE, Pages: 29-34, ISSN: 0743-1546
- Author Web Link
- Cite
- Citations: 1
Loewen PD, Zheng H, Vinter RB, 1998, A Maximum Principle for Problems with Nondifferentiable Data, Proc. 37 IEEE Conference on Decision and Control, Tampa, Florida
Loewen PD, Vinter RB, Zheng H, 1998, Necessary conditions in optimal control without differentiability, 37th IEEE Conference on Decision and Control, Publisher: IEEE, Pages: 19-24, ISSN: 0743-1546
Pytlak R, Vinter RB, 1998, A Feasible Directions Type Algorithm for Optimal Control Problems with State and Control Constraints, SIAM Journal on Control and Optimization, Vol: 36, Pages: 1999-2019
Vinter R, Zheng H, 1997, The extended Euler-Lagrange condition for nonconvex variational problems, SIAM JOURNAL ON CONTROL AND OPTIMIZATION, Vol: 35, Pages: 56-77, ISSN: 0363-0129
- Author Web Link
- Cite
- Citations: 24
Bell ML, Sargent RWH, Vinter RB, 1997, Existence of optimal controls for continuous time infinite horizon problems, International Journal of Control, Vol: 68, Pages: 887-896
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.