SearcharxivSearch

arXiv subjects

Nilay Shah

Publications and source records attributed to Nilay Shah.

13 recordsLinked to original sources

Geometry-Aware R-Structured Kolmogorov-Arnold Networks

We propose a novel hybrid neural architecture, the Geometry-aware R-Structured Kolmogorov-Arnold Network (GRS-KAN), which integrates V.L.Rvachev's R-functions into the Kolmogorov-Arnold Network (KAN) framework. The proposed approach combines two complementary modeling mechanisms: smooth nonlinear structure is learned by KAN branches, while known geometric or logical constraints are encoded analytically using differentiable R-functions. This enables explicit representation of discontinuities, feasible regions, and implicit geometric boundaries within a trainable neural architecture. The framework implements differentiable logical operations through R-conjunctions and R-disjunctions, allowing complex geometric supports to be represented analytically and incorporated directly into regression models. Several GRS-KAN variants are introduced, including additive, multiplicative, and agnostic branch-weighted architectures. The method is demonstrated on regression problems involving discontinuities with circular and rectangular supports. Numerical experiments show that explicit geometric encoding substantially improves predictive accuracy and boundary localization compared with standard KANs. In the considered benchmarks, geometry-aware GRS-KAN models reduce test RMSE by up to 67% while simultaneously improving interpretability through explicit analytical representation of the learned geometric structure. The agnostic variant further demonstrates the ability to automatically determine whether geometric priors are beneficial for a given learning task.

cs.LG

A Decomposition Approach to Solving Numerical Constraint Satisfaction Problems on Directed Acyclic Graphs

Certifying feasibility in decision-making, critical in many industries, can be framed as a constraint satisfaction problem. This paper focuses on characterising a subset of parameter values from an a priori set that satisfy constraints on a directed acyclic graph of constituent functions. The main assumption is that these functions and constraints may be evaluated for given parameter values, but they need not be known in closed form and could result from expensive or proprietary simulations. This setting lends itself to using sampling methods to gain an inner approximation of the feasible domain. To mitigate the curse of dimensionality, the paper contributes new methodology to leverage the graph structure for decomposing the problem into lower-dimensional subproblems defined on the respective nodes. The working hypothesis that the Cartesian product of the solution sets yielded by the subproblems will tighten the a priori parameter domain, before solving the full problem defined on the graph, is demonstrated through four case studies relevant to machine learning and engineering. Future research will extend this approach to cyclic graphs and account for parametric uncertainty.

eess.SY

Risk-aware stochastic scheduling of multi-market energy storage systems

Energy storage promotes the integration of renewables by operating with charge and discharge policies that balance an intermittent power supply. A key challenge in this emerging sector is how to optimize the operation of storage assets given future price uncertainties and the need to recover the costs of project finance while ensuring an attractive return on equity and hedging against downside risk. This study investigates the scheduling of energy storage assets under price uncertainty, with a focus on electricity markets. A two-stage stochastic risk-constrained approach is employed, whereby electricity price trajectories or specific power markets are observed, allowing for recourse in the schedule. Conditional value-at-risk is used to quantify risk in the optimization problems; this allows for explicit specification of a probabilistic risk limit. The proposed approach is tested in an integrated hydrogen system (IHS) and a battery energy storage system (BESS). In the joint design and operation context for the IHS, the risk constraint results in large installed unit capacities, increasing capital cost but enabling more inventory to buffer price uncertainty. In both case studies, there is an operational trade-off between risk and expected reward; this is reflected in higher expected costs (or lower expected profits) with increasing risk aversion. Despite the decrease in expected reward (up to 500\$k), both systems exhibit substantial benefits of increasing risk aversion (up to 1.5\$mn) with respect to risk-neutral settings. This work provides a general method to address uncertainties in energy storage scheduling, allowing operators to input their level of risk tolerance on asset decisions.

math.OC

Identification of Feasible Regions Using R-Functions

The primary objective of flexibility analysis is to identify and define the feasibility region, which represents the range of operational conditions (e.g., variations in process parameters) that ensure safe, reliable, and feasible process performance. This work introduces a novel flexibility analysis method that requires only that model constraints (e.g., defining product Critical Quality Attributes or process Key Performance Indicators) be explicitly provided or approximated by a closed-form function, such as a multivariate polynomial model. The method is based on V.L. Rvachev's R-functions, enabling an explicit analytical representation of the feasibility region without relying on complex optimization-based approaches. R-functions offer a framework for describing intricate geometric shapes and performing operations on them using implicit functions and inequality constraints. The theory of R-functions facilitates the identification of feasibility regions through algebraic manipulation, making it a more practical alternative to traditional optimization-based methods. The effectiveness of the proposed approach is demonstrated using a suite of well-known test cases from the literature.

math.OC

Analytical Identification of Design and Multidimensional Spaces Using R-Functions

The design space (DS) is defined as the combination of materials and process conditions that guarantees the assurance of quality. This principle ensures that as long as a process operates within DS, it consistently produces a product that meets specifications. A novel DS identification method called the R-DS identifier has been developed. It makes no assumptions about the underlying model - the only requirement is that each model constraint (CQA) should be approximated by a multivariate polynomial model. The method utilizes the methodology of Rvachev's R-functions and allows for explicit analytical representation of the DS with only a limited number of model runs. R-functions provide a framework for representing complex geometric shapes and performing operations on them through implicit functions. The theory of R-functions enables the solution of geometric problem such as identification of DS through algebraic manipulation. It is more practical than traditional sampling or optimization-based methods. The method is illustrated using a batch reactor system.

math.AG

Hierarchical planning-scheduling-control -- Optimality surrogates and derivative-free optimization

Planning, scheduling, and control typically constitute separate decision-making units within chemical companies. Traditionally, their integration is modelled sequentially, but recent efforts prioritize lower-level feasibility and optimality, leading to large-scale, potentially multi-level, hierarchical formulations. Data-driven techniques, like optimality surrogates or derivative-free optimization, become essential in addressing ensuing tractability challenges. We demonstrate a step-by-step workflow to find a tractable solution to a tri-level formulation of a multi-site, multi-product planning-scheduling-control case study. We discuss solution tractability-accuracy trade-offs and scaling properties for both methods. Despite individual improvements over conventional heuristics, both approaches present drawbacks. Consequently, we synthesize our findings into a methodology combining their strengths. Our approach remains agnostic to the level-specific formulations when the linking variables are identified and retains the heuristic sequential solution as fallback option. We advance the field by leveraging parallelization, hyperparameter tuning, and a combination of off- and on-line computation, to find tractable solutions to more accurate multi-level formulations.

math.OC

Data-driven predictive control with improved performance using segmented trajectories

A class of data-driven control methods has recently emerged based on Willems' fundamental lemma. Such methods can ease the modelling burden in control design but can be sensitive to disturbances acting on the system under control. In this paper, we propose a restructuring of the problem to incorporate segmented prediction trajectories. The proposed segmentation leads to reduced tracking error for longer prediction horizons in the presence of unmeasured disturbance and noise when compared to an unsegmented formulation. The performance characteristics are illustrated in a set-point tracking case study in which the segmented formulation enables more consistent performance over a wide range of prediction horizons. The method is then applied to a building energy management problem using a detailed simulation environment. The case studies show that good tracking performance is achieved for a range of horizon choices, whereas performance degrades with longer horizons without segmentation.

eess.SY

Detail or uncertainty? Applying global sensitivity analysis to strike a balance in energy system models

Energy systems modellers often resort to simplified system representations and deterministic model formulations (i.e., not considering uncertainty) to preserve computational tractability. However, reduced levels of detail and neglected uncertainties can both lead to sub-optimal system designs. In this paper, we present a novel method that quantitatively compares the impact of detail and uncertainty to guide model development and help prioritisation of the limited computational resources. By considering modelling choices as an additional 'uncertain' parameter in a global sensitivity analysis, the method determines their qualitative ranking against conventional input parameters. As a case study, the method is applied to a peer-reviewed heat decarbonisation model for the United Kingdom with the objective of assessing the importance of spatial resolution. The results show that while for the optimal total system cost the impact of spatial resolution is negligible, it is the most important factor determining the capacities of electricity, gas and heat networks.

physics.soc-ph

Multi-model assessment of heat decarbonisation options in the UK using electricity and hydrogen

Delivering low-carbon heat will require the substitution of natural gas with low-carbon alternatives such as electricity and hydrogen. The objective of this paper is to develop a method to soft-link two advanced, investment-optimising energy system models, RTN (Resource-Technology Network) and WeSIM (Whole-electricity System Investment Model), in order to assess cost-efficient heat decarbonisation pathways for the UK while utilising the respective strengths of the two models. The linking procedure included passing on hourly electricity prices from WeSIM as input to RTN, and returning capacities and locations of hydrogen generation and shares of electricity and hydrogen in heat supply from RTN to WeSIM. The outputs demonstrate that soft-linking can improve the quality of the solution, while providing useful insights into the cost-efficient pathways for zero-carbon heating. Quantitative results point to the cost-effectiveness of using a mix of electricity and hydrogen technologies for delivering zero-carbon heat, also demonstrating a high level of interaction between electricity and hydrogen infrastructure in a zero-carbon system. Hydrogen from gas reforming with carbon capture and storage can play a significant role in the medium term, while remaining a cost-efficient option for supplying peak heat demand in the longer term, with the bulk of heat demand being supplied by electric heat pumps.

eess.SY

Design and Development of Underwater Vehicle: ANAHITA

Anahita is an autonomous underwater vehicle which is currently being developed by interdisciplinary team of students at Indian Institute of Technology(IIT) Kanpur with aim to provide a platform for research in AUV to undergraduate students. This is the second vehicle which is being designed by AUV-IITK team to participate in 6th NIOT-SAVe competition organized by the National Institute of Ocean Technology, Chennai. The Vehicle has been completely redesigned with the major improvements in modularity and ease of access of all the components, keeping the design very compact and efficient. New advancements in the vehicle include, power distribution system and monitoring system. The sensors include the inertial measurement units (IMU), hydrophone array, a depth sensor, and two RGB cameras. The current vehicle features hot swappable battery pods giving a huge advantage over the previous vehicle, for longer runtime.

cs.RO

Bayesian Approach to Probabilistic Design Space Characterization: A Nested Sampling Strategy

Quality by design in pharmaceutical manufacturing hinges on computational methods and tools that are capable of accurate quantitative prediction of the design space. This paper investigates Bayesian approaches to design space characterization, which determine a feasibility probability that can be used as a measure of reliability and risk by the practitioner. An adaptation of nested sampling---a Monte Carlo technique introduced to compute Bayesian evidence---is presented. The nested sampling algorithm maintains a given set of live points through regions with increasing probability feasibility until reaching a desired reliability level. It furthermore leverages efficient strategies from Bayesian statistics for generating replacement proposals during the search. Features and advantages of this algorithm are demonstrated by means of a simple numerical example and two industrial case studies. It is shown that nested sampling can outperform conventional Monte Carlo sampling and be competitive with flexibility-based optimization techniques in low-dimensional design space problems. Practical aspects of exploiting the sampled design space to reconstruct a feasibility probability map using machine learning techniques are also discussed and illustrated. Finally, the effectiveness of nested sampling is demonstrated on a higher-dimensional problem, in the presence of a complex dynamic model and significant model uncertainty.

math.OC

Integration of an Energy Management Tool and Digital Twin for Coordination and Control of Multi-vector Smart Energy Systems

As Internet of Things (IoT) technologies enable greater communication between energy assets in smart cities, the operational coordination of various energy networks in a city or district becomes more viable. Suitable tools are needed that can harness advanced control and machine learning techniques to achieve environmental, economic and resilience objectives. In this paper, an energy management tool is presented that can offer optimal control, scheduling, forecasting and coordination services to energy assets across a district, enabling optimal decisions under user-defined objectives. The tool presented here can coordinate different sub-systems in a district to avoid the violation of high-level system constraints and is designed in a generic fashion to enable transferable use across different energy sectors. The work demonstrates the potential for a single open-source optimisation framework to be applied across multiple energy vectors, providing local government the opportunity to manage different assets in a coordinated fashion. This is shown through case studies that integrate low-carbon communal heating for social housing with electric vehicle charge-point management to achieve high-level system constraints and local government objectives in the borough of Greenwich, London. The paper illustrates the theoretical methodology, the software architecture and the digital twin-based testing environment underpinning the proposed approach.

eess.SY

Optimisation of Wastewater Treatment Strategies in Eco-Industrial Parks: Technology, Location and Transport

The expanding population and rapid urbanisation, in particular in the Global South, are leading to global challenges on resource supply stress and rising waste generation. A transformation to resource-circular systems and sustainable recovery of carbon-containing and nutrient-rich waste offers a way to tackle such challenges. Eco-industrial parks have the potential to capture symbioses across individual waste producers, leading to more effective waste-recovery schemes. With whole-system design, economically attractive approaches can be achieved, reducing the nvironmental impacts while increasing the recovery of high-value resources. In this paper, an optimisation framework is developed to enable such design, allowing for wide ranging treatment options to be considered capturing both technological and fnancial detail. As well as technology selection, the framework also accounts for spatial aspects, with the design of suitable transport networks playing a key role. A range of scenarios are investigated using the network, highlighting the multi-faceted nature of the problem. The need to incorporate the impact of resource recovery at the design stage is shown to be of particular importance.

math.OC