1 citations · 1 across the 4 of their papers we have counts for
5 papers
AeroEval: Staged Program and Execution Validation for AI-Generated Drone Missions
Kautuk Astu, Naina Rabha, Yogesh Simmhan
Large Language Models (LLMs) can generate drone programs from natural-language mission descriptions, but syntactically valid programs may still violate user intent, environmental c…
A space-time interface-fitted method for moving-subdomain distributed control problems with energy regularization
Quang Huy Nguyen, Phuong Cuc Hoang, Van Chien Le +1
This paper investigates a space-time interface-fitted approximation of a moving-interface optimal control problem with energy regularization. We reformulate the optimality conditio…
Improved a priori error estimates for a space-time finite element method for parabolic problems
Thi Thanh Mai Ta, Quang Huy Nguyen, Phi Hung Pham
In this paper, we employ a space-time finite element method to discretize the parabolic initial-boundary value problem and extend its error analysis with refined estimates on unstr…
Error analysis of the space-time interface-fitted finite element method for an inverse source problem for an advection-diffusion equation with moving subdomains
Thi Thanh Mai Ta, Quang Huy Nguyen, Dinh Nho Hào
A space-time interface-fitted approximation of an inverse source problem for the advection-diffusion equation with moving subdomains is investigated. The problem is reformulated as…
A fitted space-time finite element method for an advection-diffusion problem with moving interfaces
Quang Huy Nguyen, Van Chien Le, Phuong Cuc Hoang +1
This paper presents a space-time interface-fitted finite element method for solving a parabolic advection-diffusion problem with a nonstationary interface. The jumping diffusion co…