activity
20152026
most citedHallucination Detection in Foundation Models for Decision-Making: A Flexible Definition and Review of the State of the Art

37 citations · 151 across the 85 of their papers we have counts for

collaborators
Showing 2022Show all

7 papers · 1 filter

eess.SY2022

Resilience of Linear Systems to Partial Loss of Control Authority

Jean-Baptiste Bouvier, Melkior Ornik

After a loss of control authority over thrusters of the Nauka module, the International Space Station lost attitude control for 45 minutes with potentially disastrous consequences.…

cs.MA2022

Post-Disaster Repair Crew Assignment Optimization Using Minimum Latency

Anakin Dey, Melkior Ornik

Across infrastructure domains, physical damage caused by storms and other weather events often requires costly and time-sensitive repairs to restore services as quickly as possible…

math.OC2022★ 22 cited

Multi-agent Multi-target Path Planning in Markov Decision Processes

Farhad Nawaz, Melkior Ornik

Missions for autonomous systems often require agents to visit multiple targets in complex operating conditions. This work considers the problem of visiting a set of targets in mini…

math.OC2022

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…

cs.RO2022

Lodestar: An Integrated Embedded Real-Time Control Engine

Hamza El-Kebir, Joseph Bentsman, Melkior Ornik

In this work we present Lodestar, an integrated engine for rapid real-time control system development. Using a functional block diagram paradigm, Lodestar allows for complex multi-…

eess.SY2022

Distributed Transient Safety Verification via Robust Control Invariant Sets: A Microgrid Application

Jean-Baptiste Bouvier, Sai Pushpak Nandanoori, Melkior Ornik +1

Modern safety-critical energy infrastructures are increasingly operated in a hierarchical and modular control framework which allows for limited data exchange between the modules.…

eess.SY2022

Quantitative Resilience of Linear Systems

Jean-Baptiste Bouvier, Melkior Ornik

Actuator malfunctions may have disastrous consequences for systems not designed to mitigate them. We focus on the loss of control authority over actuators, where some actuators are…