no code implementations • 15 Apr 2024 • Taha Shafa, Melkior Ornik
The results are general enough to apply on systems that operate on any complete Riemannian manifold.
no code implementations • 25 Mar 2024 • Neeloy Chakraborty, Melkior Ornik, Katherine Driggs-Campbell
The rise of foundation models trained on multiple tasks with impressively large datasets from a variety of fields has led researchers to believe that these models may provide common sense reasoning that existing planners are missing.
no code implementations • 13 Mar 2024 • Gokul Puthumanaillam, Manav Vora, Pranay Thangeda, Melkior Ornik
This paper examines the challenges associated with achieving life-long superalignment in AI systems, particularly large language models (LLMs).
no code implementations • 3 Mar 2024 • Gokul Puthumanaillam, Manav Vora, Melkior Ornik
Optimal decision-making for trajectory tracking in partially observable, stochastic environments where the number of active localization updates -- the process by which the agent obtains its true state information from the sensors -- are limited, presents a significant challenge.
no code implementations • 6 Dec 2023 • Gokul Puthumanaillam, Xiangyu Liu, Negar Mehr, Melkior Ornik
Optimal decision-making presents a significant challenge for autonomous systems operating in uncertain, stochastic and time-varying environments.
no code implementations • 23 Oct 2023 • Hamza El-Kebir, Richard Berlin, Joseph Bentsman, Melkior Ornik
In this work, we solve the problem of quantifying and mitigating control authority degradation in real time.
no code implementations • 8 Sep 2023 • Taha Shafa, Roy Dong, Melkior Ornik
This paper is concerned with identifying linear system dynamics without the knowledge of individual system trajectories, but from the knowledge of the system's reachable sets observed at different times.
1 code implementation • 28 Jun 2023 • Jean-Baptiste Bouvier, Sai Pushpak Nandanoori, Melkior Ornik
To assess system vulnerability, we establish resilience conditions for networks with a subsystem enduring a loss of control authority over some of its actuators.
1 code implementation • 22 Mar 2023 • Jean-Baptiste Bouvier, Himmat Panag, Robyn Woollands, Melkior Ornik
After the loss of control authority over thrusters of the Nauka module, the International Space Station lost attitude control for 45 minutes with potentially disastrous consequences.
no code implementations • 18 Mar 2023 • Manav Vora, Pranay Thangeda, Michael N. Grussing, Melkior Ornik
Motivated by the problem of maintenance and inspection of a group of infrastructure components with independent dynamics, this paper presents an algorithm to find the optimal policy for a multi-component budget-constrained POMDP.
no code implementations • 16 Sep 2022 • Jean-Baptiste Bouvier, Melkior Ornik
Relying on Lyapunov theory we derive analytical bounds on the reach times of the nominal and malfunctioning systems in order to quantify their resilience.
no code implementations • 28 Jan 2022 • Jean-Baptiste Bouvier, Melkior Ornik
Actuator malfunctions may have disastrous consequences for systems not designed to mitigate them.
no code implementations • 7 Nov 2021 • Jean-Baptiste Bouvier, Kathleen Xu, Melkior Ornik
By definition, a system is resilient if it can still reach a target after a partial loss of control authority.
no code implementations • 5 May 2021 • František Blahoudek, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
We consider qualitative strategy synthesis for the formalism called consumption Markov decision processes.
no code implementations • 28 Jan 2021 • Jean-Baptiste Bouvier, Kathleen Xu, Melkior Ornik
By definition, a system is resilient if it can still reach a target after a loss of control authority.
Systems and Control Systems and Control 93-06
no code implementations • 24 Jun 2020 • Jean-Baptiste Bouvier, Melkior Ornik
In contrast with the settings of robust control and fault-tolerant control, we consider undesirable but observable inputs of the same magnitude as controls since they are produced by a faulty actuator of the system.
no code implementations • 29 Nov 2019 • Melkior Ornik, Ufuk Topcu
This paper proposes a formal approach to online learning and planning for agents operating in a priori unknown, time-varying environments.
no code implementations • 9 Jul 2018 • Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Mustafa O. Karabag, Ufuk Topcu
Such a policy minimizes the predictability of the paths it generates, or dually, maximizes the exploration of different paths in an MDP while ensuring the satisfaction of a temporal logic specification.
no code implementations • 8 May 2018 • Melkior Ornik, Ufuk Topcu
In this paper, we consider an adversarial scenario where one agent seeks to achieve an objective and its adversary seeks to learn the agent's intentions and prevent the agent from achieving its objective.
no code implementations • 14 Sep 2017 • Melkior Ornik, Arie Israel, Ufuk Topcu
This paper focuses on developing a strategy for control of systems whose dynamics are almost entirely unknown.