1 citations · 1 across the 10 of their papers we have counts for
11 papers
Physics-informed Learning for Orbital Uncertainty Propagation with Error Bounds
Chun-Wei Kong, Morteza Lahijanian, Jay McMahon
The Fokker-Planck partial differential equation (FP-PDE) governs uncertainty evolution in stochastic dynamical systems. In orbital dynamics, solving the FP-PDE is challenging becau…
Certified Stochastic Control via Covariance Steering with Pick-to-Learn
Chun-Wei Kong, Zachary Donovan, Morteza Lahijanian +1
We present CS-P2L, a framework coupling covariance steering (CS) with the Pick-to-Learn (P2L) meta-algorithm for certified controller synthesis over high-fidelity stochastic simula…
Stochastic Barrier Certificates in the Presence of Dynamic Obstacles
Rayan Mazouz, Luca Laurenti, Morteza Lahijanian
In this work, we focus on safety verification of stochastic systems in dynamic environments. We introduce both time-invariant and time-varying barrier certificates for discrete-tim…
On the Optimality of Uncertain MDP Abstractions
Ibon Gracia, Morteza Lahijanian
We study the asymptotic optimality of abstraction-based control synthesis algorithms. Specifically, we consider uncertain MDP (UMDP) abstraction, and investigate whether refinement…
Learning Markov Processes as Sum-of-Square Forms for Analytical Belief Propagation
Peter Amorese, Morteza Lahijanian
Harnessing the predictive capability of Markov process models requires propagating probability density functions (beliefs) through the model. For many existing models however, beli…
Suppressed excitonic effects enable high mobility, high-yield photoconductivity in a two-dimensional polymer crystal with axial pyridine coordination
Shuai Fu, Ye Yang, Guoquan Gao +8
Two-dimensional polymers (2DPs) and their layer-stacked covalent organic frameworks (2D COFs) offer modular, atomically precise platforms for organic optoelectronics, yet their pho…
Training with Hard Constraints: Learning Neural Certificates and Controllers for SDEs
Chun-Wei Kong, Sebastian Escobar, Ibon Gracia +2
Due to their expressive power, neural networks (NNs) are promising templates for functional optimization problems, particularly for reach-avoid certificate generation for systems g…
StochasticBarrier.jl: A Toolbox for Stochastic Barrier Function Synthesis
Rayan Mazouz, Frederik Baymler Mathiesen, Luca Laurenti +1
We present StochasticBarrier.jl, an open-source Julia-based toolbox for generating Stochastic Barrier Functions (SBFs) for safety verification of discrete-time stochastic systems w…
Temporal Logic Motion Control using Actor-Critic Methods
Xu Chu Ding, Jing Wang, Morteza Lahijanian +2
In this paper, we consider the problem of deploying a robot from a specification given as a temporal logic statement about some properties satisfied by the regions of a large, part…
Least Squares Temporal Difference Actor-Critic Methods with Applications to Robot Motion Control
Reza Moazzez Estanjini, Xu Chu Ding, Morteza Lahijanian +3
We consider the problem of finding a control policy for a Markov Decision Process (MDP) to maximize the probability of reaching some states while avoiding some other states. This p…
Probabilistically Safe Vehicle Control in a Hostile Environment
Igor Cizelj, Xu Chu Ding, Morteza Lahijanian +2
In this paper we present an approach to control a vehicle in a hostile environment with static obstacles and moving adversaries. The vehicle is required to satisfy a mission object…