Search Results - "Papusha, Ivan"

Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns by Kouskoulas, Yanni, Machado, T. J., Genin, Daniel, Schmidt, Aurora, Papusha, Ivan, Brulé, Joshua

“…We present an approach to analyze the safety of asynchronous, independent, non-deterministic, turn-to-bearing horizontal maneuvers for two vehicles. Future…”
Get full text

Compact Midwave Imaging System: Results from an Airborne Demonstration by Kelly, Michael A., Carr, James L., Wu, Dong L., Goldberg, Arnold C., Papusha, Ivan, Meinhold, Renee T.

“…The Compact Midwave Imaging System (CMIS) is a wide field of view, multi-angle, multi-spectral push frame imager that relies on the forward motion of the…”
Get full text

A Safety Fallback Controller for Improved Collision Avoidance by Genin, Daniel, Dietrich, Elizabeth, Kouskoulas, Yanni, Schmidt, Aurora, Kobilarov, Marin, Katyal, Kapil, Sefati, Shahriar, Mishra, Subhransu, Papusha, Ivan

“…We present an implementation of a formally verified safety fallback controller for improved collision avoidance in an autonomous vehicle research platform. Our…”
Get full text

Envelopes and Waves: Safe Multivehicle Collision Avoidance for Horizontal Non-deterministic Turns by Kouskoulas, Yanni, Machado, T. J, Genin, Daniel, Schmidt, Aurora, Papusha, Ivan, Brulé, Joshua

“…International Journal on Software Tools for Technology Transfer, 2022 We present an approach to analyzing the safety of asynchronous, independent,…”
Get full text

Inverse Optimal Control with Regular Language Specifications by Papusha, Ivan, Min Wen, Topcu, Ufuk

“…Given a description of system dynamics, input constraints, and a cost function, the problem of optimal control is to find a sequence of inputs and a state…”
Get full text

Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints by Papusha, Ivan, Jie Fu, Topcu, Ufuk, Murray, Richard M.

“…We investigate the synthesis of optimal controllers for continuous-time and continuous-state systems under temporal logic specifications. The specification is…”
Get full text

Collaborative system identification via parameter consensus by Papusha, Ivan, Lavretsky, Eugene, Murray, Richard M.

“…Classical schemes in system identification and adaptive control often rely on persistence of excitation to guarantee parameter convergence, which may be…”
Get full text

Constrained autonomous satellite docking via differential flatness and model predictive control by Farahani, Samira S., Papusha, Ivan, McGhan, Catharine, Murray, Richard M.

“…We investigate trajectory generation algorithms that allow a satellite to autonomously rendezvous and dock with a target satellite to perform maintenance…”
Get full text

Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples by Papusha, Ivan, Wu, Rosa, Brulé, Joshua, Kouskoulas, Yanni, Genin, Daniel, Schmidt, Aurora

“…There is great interest in using formal methods to guarantee the reliability of deep neural networks. However, these techniques may also be used to implant…”
Get full text

Affine Multiplexing Networks: System Analysis, Learning, and Computation by Papusha, Ivan, Topcu, Ufuk, Carr, Steven, Lauffer, Niklas

“…We introduce a novel architecture and computational framework for formal, automated analysis of systems with a broad set of nonlinearities in the feedback…”
Get full text

Analysis of control systems on symmetric cones by Papusha, Ivan, Murray, Richard M.

“…It is well known that exploiting special structure is a powerful way to extend the reach of current optimization tools to higher dimensions. While many linear…”
Get full text

Domain decomposition for stochastic optimal control by Horowitz, Matanya B., Papusha, Ivan, Burdick, Joel W.

“…This work proposes a method for solving linear stochastic optimal control (SOC) problems using sum of squares and semidefinite programming. Previous work had…”
Get full text

Sequential Convex Programming for the Efficient Verification of Parametric MDPs by Cubuktepe, Murat, Jansen, Nils, Junges, Sebastian, Katoen, Joost-Pieter, Papusha, Ivan, Poonawala, Hasan A, Topcu, Ufuk

“…Multi-objective verification problems of parametric Markov decision processes under optimality criteria can be naturally expressed as nonlinear programs. We…”
Get full text

Domain Decomposition for Stochastic Optimal Control by Horowitz, Matanya B, Papusha, Ivan, Burdick, Joel W

“…This work proposes a method for solving linear stochastic optimal control (SOC) problems using sum of squares and semidefinite programming. Previous work had…”
Get full text