Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Kristopher Welsh

dblp:17/6889 · also Kris Welsh · DBLP profile ↗
← Back
10ranked-venue papers
6as first author
2since 2021 · last 2024
0000-0001-6335-9561ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 7 · 6 first-authorArtificial intelligence and machine learning · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Requirements engineering and software design · 100%

Topics — the 2 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Requirements engineering and software design › requirements engineering
requirements monitoring
0.112011
Towards requirements aware systems: Run-time resolution of design-time assumptions · ASE 2011
Requirements engineering and software design › software architecture
self-adaptive systems
0.012011
Towards requirements aware systems: Run-time resolution of design-time assumptions · ASE 2011

Methods — techniques the papers use, named apart from their topics

runtime monitoring · 0.1goal modeling · 0.1
YearPublicationVenuePosition
2024 A Cyclic Hyper-parameter Selection Approach for Reinforcement Learning-based UAV Path Planning
abstract
Unmanned Aerial Vehicles (UAVs) offer new ways to fulfil a variety of urban transportation and service solutions. The ability to successfully plan and re-plan paths across a complex urban environment remains an unsolved significant problem. New Q-learning approaches have potential to address this problem, however they must first learn complex environment spaces. A traditional challenge within this field is the selection of suitable learning hyper-parameters that assist a Q-learning algorithm in achieving an optimal learning policy. It is known that testing and evaluating multiple hyper-parameter combinations is computationally expensive. Thus, this paper proposes a new method for hyper-parameter self-tuning, cyclically assigning hyper-parameters within a single learning process, eliminating the need to experimentally seek optimal hyper-parameter value combinations. Evaluation of the captured results show, training with cyclical hyper-parameter exploration instead of fixed values, achieves improved path generation, while reducing the cumulative learning time required. Although the focus of this approach is centred around a Multi Q-table Path Planning solution, this work presents a practical tool applicable to Reinforcement Learning techniques generally.
Michael R. Jones, Soufiene Djahel, Kristopher Welsh
CCNC3
2022 MQTPP - Towards Multiple Q-Table based Path Planning in UAV Environments
abstract
This paper introduces an original multi destination path planning approach for Unmanned Aerial Vehicles (UAVs) named MQTPP (Multi Q-Table Path Planning). MQTPP aims to reduce the computational burden of cyclical/continuous path planning through a Q-learning planning process whilst overcoming the fixed path origin problem. The preliminary performance evaluation results indicate that MQTPP performs well for longer paths, and allows for more efficient re-planning should mission objectives or environmental topography change.
Michael R. Jones, Soufiene Djahel, Kristopher Welsh
CCNC3
2017 Doctor Rostering in Compliance with the New UK Junior Doctor Contract
Anna Lavygina, Kristopher Welsh, Alan Crispin
COCOA (2)2
2012 Self-Explanation in Adaptive Systems
Nelly Bencomo, Kristopher Welsh, Peter Sawyer, Jon Whittle 0001
ICECCS2
2012 Run-time model evaluation for requirements model-driven self-adaptation
abstract
A self-adaptive system adjusts its configuration to tolerate changes in its operating environment. To date, requirements modeling methodologies for self-adaptive systems have necessitated analysis of all potential system configurations, and the circumstances under which each is to be adopted. We argue that, by explicitly capturing and modelling uncertainty in the operating environment, and by verifying and analysing this model at runtime, it is possible for a system to adapt to tolerate some conditions that were not fully considered at design time. We showcase in this paper our tools and research results.
Kristopher Welsh, Nelly Bencomo
RE1
2011 Towards requirements aware systems: Run-time resolution of design-time assumptions
abstract
In earlier work we proposed the idea of requirements-aware systems that could introspect about the extent to which their goals were being satisfied at runtime. When combined with requirements monitoring and self adaptive capabilities, requirements awareness should help optimize goal satisfaction even in the presence of changing run-time context. In this paper we describe initial progress towards the realization of requirements-aware systems with REAssuRE. REAssuRE focuses on explicit representation of assumptions made at design time. When such assumptions are shown not to hold, REAssuRE can trigger system adaptations to alternative goal realization strategies.
Kristopher Welsh, Peter Sawyer, Nelly Bencomo
ASE1
2011 Run-time resolution of uncertainty
abstract
Requirements awareness should help optimize requirements satisfaction when factors that were uncertain at design time are resolved at runtime. We use the notion of claims to model assumptions that cannot be verified with confidence at design time. By monitoring claims at runtime, their veracity can be tested. If falsified, the effect of claim negation can be propagated to the system's goal model and an alternative means of goal realization selected automatically, allowing the dynamic adaptation of the system to the prevailing environmental context.
Kristopher Welsh, Peter Sawyer, Nelly Bencomo
RE1
2010 Understanding the Scope of Uncertainty in Dynamically Adaptive Systems
Kristopher Welsh, Peter Sawyer
REFSQ1
2009 Requirements Tracing to Support Change in Dynamically Adaptive Systems
Kristopher Welsh, Peter Sawyer
REFSQ1
2008 When to Adapt? Identification of Problem Domains for Adaptive Systems
Kristopher Welsh, Peter Sawyer
REFSQ1