4 citations · 4 across the 6 of their papers we have counts for
8 papers · 1 filter
Online Guaranteed Reachable Set Approximation for Systems with Changed Dynamics and Control Authority
Hamza El-Kebir, Ani Pirosmanishvili, Melkior Ornik
This work presents a method of efficiently computing inner and outer approximations of forward reachable sets for nonlinear control systems with changed dynamics and diminished con…
Reachability of Nonlinear Systems with Unknown Dynamics
Taha Shafa, Melkior Ornik
Determining the reachable set for a given nonlinear control system is crucial for system control and planning. However, computing such a set is impossible if the system's dynamics…
Guaranteed Reachability for Systems with Unknown Dynamics
Melkior Ornik
The problem of computing the reachable set for a given system is a quintessential question in nonlinear control theory. While previous work has yielded a plethora of approximate an…
Incentive Design for Temporal Logic Objectives
Yagiz Savas, Vijay Gupta, Melkior Ornik +2
We study the problem of designing an optimal sequence of incentives that a principal should offer to an agent so that the agent's optimal behavior under the incentives realizes the…
Least Inferable Policies for Markov Decision Processes
Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu
In a variety of applications, an agent's success depends on the knowledge that an adversarial observer has or can gather about the agent's decisions. It is therefore desirable for…
Graph-Based Controller Synthesis for Safety-Constrained, Resilient Systems
Matija Bucic, Melkior Ornik, Ufuk Topcu
Resilience to damage, component degradation, and adversarial action is a critical consideration in design of autonomous systems. In addition to designing strategies that seek to pr…