Search Results for author: Meeko M. K. Oishi

Found 6 papers, 3 papers with code

Physics-Informed Kernel Embeddings: Integrating Prior System Knowledge with Data-Driven Control

no code implementations9 Jan 2023 Adam J. Thorpe, Cyrus Neary, Franck Djeumou, Meeko M. K. Oishi, Ufuk Topcu

Our proposed approach incorporates prior knowledge of the system dynamics as a bias term in the kernel learning problem.

Probabilistic Verification of ReLU Neural Networks via Characteristic Functions

no code implementations3 Dec 2022 Joshua Pilipovsky, Vignesh Sivaramakrishnan, Meeko M. K. Oishi, Panagiotis Tsiotras

Verifying the input-output relationships of a neural network so as to achieve some desired performance specification is a difficult, yet important, problem due to the growing ubiquity of neural nets in many engineering applications.

SOCKS: A Stochastic Optimal Control and Reachability Toolbox Using Kernel Methods

1 code implementation12 Mar 2022 Adam J. Thorpe, Meeko M. K. Oishi

We present SOCKS, a data-driven stochastic optimal control toolbox based in kernel methods.

Data-Driven Chance Constrained Control using Kernel Distribution Embeddings

no code implementations8 Feb 2022 Adam J. Thorpe, Thomas Lew, Meeko M. K. Oishi, Marco Pavone

We present a data-driven algorithm for efficiently computing stochastic control policies for general joint chance constrained optimal control problems.

Stochastic reachability of a target tube: Theory and computation

1 code implementation11 Oct 2018 Abraham P. Vinod, Meeko M. K. Oishi

Of special interest is the stochastic reach set, the set of all initial states from which it is possible to stay in the target tube with a probability above a desired threshold.

Optimization and Control Systems and Control

Probabilistic Occupancy Function and Sets Using Forward Stochastic Reachability for Rigid-Body Dynamic Obstacles

1 code implementation19 Mar 2018 Abraham P. Vinod, Meeko M. K. Oishi

We present theory and algorithms for the computation of probability-weighted "keep-out" sets to assure probabilistically safe navigation in the presence of multiple rigid body obstacles with stochastic dynamics.

Systems and Control Optimization and Control

Cannot find the paper you are looking for? You can Submit a new open access paper.