78 citations · 510 across the 71 of their papers we have counts for
12 papers · 1 filter
A Hierarchical Stochastic Model Predictive Control Framework for Integrated Request-aware Charge Scheduling and Service Allocation
Mainak Dan, Arvind Easwaran
This study introduces a unified control mechanism for integrated charging and service allocation of Mobility-on-Demand Electric Vehicles (MoD-EVs) operating under a flexible A-to-B…
PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems
Taoran Wu, Dominik Wagner, Jingduo Pan +3
This paper investigates the problem of safety certification for black-box discrete-time stochastic systems, where both the system dynamics and disturbance distributions are unknown…
Managing Charging Induced Grid Stress and Battery Degradation in Electric Taxi Fleets
Michael Yuhas, Rajesh K. Ahir, Laksamana Vixell Tanjaya Hartono +3
Operating fleets of electric vehicles (EVs) introduces several challenges, some of which are borne by the fleet operator, and some of which are borne by the power grid. To maximize…
Controlled Reach-avoid Set Computation for Discrete-time Polynomial Systems via Convex Optimization
Taoran Wu, Yiling Xue, Dejin Ren +3
This paper addresses the computation of controlled reach-avoid sets (CRASs) for discrete-time polynomial systems subject to control inputs. A CRAS is a set encompassing initial sta…
Convex Computations for Controlled Safety Invariant Sets of Black-box Discrete-time Dynamical Systems
Taoran Wu, Yiling Xue, Jingduo Pan +3
Identifying controlled safety invariant sets (CSISs) is essential for safety-critical systems. This paper addresses the problem of computing CSISs for black-box discrete-time syste…
Methods for Mitigating Uncertainty in Real-Time Operations of a Connected Microgrid
Subrat Prasad Panda, Blaise Genest, Arvind Easwaran +2
In this paper, we compare the effectiveness of a two-stage control strategy for the energy management system (EMS) of a grid-connected microgrid under uncertain solar irradiance an…
Event-Driven Real-Time Multi-Objective Charging Schedule Optimization For Electric Vehicle Fleets
Jose Peeterson Emerson Raja, Arvind Easwaran
The utilization of Electric Vehicles (EVs) in car rental services is gaining momentum around the world and most commercial fleets are expected to fully adopt EVs by 2030. At the mo…
A Game-Theoretic Approach to Secure Estimation and Control for Cyber-Physical Systems with a Digital Twin
Zhiheng Xu, Arvind Easwaran
Cyber-Physical Systems (CPSs) play an increasingly significant role in many critical applications. These valuable applications attract various sophisticated attacks. This paper con…
PAC Model Checking of Black-Box Continuous-Time Dynamical Systems
Bai Xue, Miaomiao Zhang, Arvind Easwaran +1
In this paper we present a novel model checking approach to finite-time safety verification of black-box continuous-time dynamical systems within the framework of probably approxim…
Automatic Generation of Hierarchical Contracts for Resilience in Cyber-Physical Systems
Zhiheng Xu, Daniel Jun Xian Ng, Arvind Easwaran
With the growing scale of Cyber-Physical Systems (CPSs), it is challenging to maintain their stability under all operating conditions. How to reduce the downtime and locate the fai…
A Scenario-based Branch-and-Bound Approach for MES Scheduling in Urban Buildings
Mainak Dan, Seshadhri Srinivasan, Suresh Sundaram +2
This paper presents a novel solution technique for scheduling multi-energy system (MES) in a commercial urban building to perform price-based demand response and reduce energy cost…
Towards Safe Machine Learning for CPS: Infer Uncertainty from Training Data
Xiaozhe Gu, Arvind Easwaran
Machine learning (ML) techniques are increasingly applied to decision-making and control problems in Cyber-Physical Systems among which many are safety-critical, e.g., chemical pla…