37 citations · 151 across the 85 of their papers we have counts for
8 papers · 1 filter
Quantitative Resilience of Generalized Integrators
Jean-Baptiste Bouvier, Kathleen Xu, Melkior Ornik
To design critical systems engineers must be able to prove that their system can continue with its mission even after losing control authority over some of its actuators. Such a ma…
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…
Efficient Strategy Synthesis for MDPs with Resource Constraints
František Blahoudek, Petr Novotný, Melkior Ornik +2
We consider qualitative strategy synthesis for the formalism called consumption Markov decision processes. This formalism can model dynamics of an agents that operates under resour…
Identity Concealment Games: How I Learned to Stop Revealing and Love the Coincidences
Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu
In an adversarial environment, a hostile player performing a task may behave like a non-hostile one in order not to reveal its identity to an opponent. To model such a scenario, we…
The Maximax Minimax Quotient Theorem
Jean-Baptiste Bouvier, Melkior Ornik
We present an optimization problem emerging from optimal control theory and situated at the intersection of fractional programming and linear max-min programming on polytopes. A na…
Inapplicability of the TVOR Method to USHMM Data Outlier Identification
Melkior Ornik
Recent paper "TVOR: Finding Discrete Total Variation Outliers Among Histograms" [arXiv:2012.11574] introduces the Total Variation Outlier Recognizer (TVOR) method for identificatio…
Space Exploration Architecture and Design Framework for Commercialization
Hao Chen, Melkior Ornik, Koki Ho
The trend of space commercialization is changing the decision-making process for future space exploration architectures, and there is a growing need for a new decision-making frame…
Quantitative Resilience of Linear Driftless Systems
Jean-Baptiste Bouvier, Kathleen Xu, Melkior Ornik
This paper introduces the notion of quantitative resilience of a control system. Following prior work, we study systems enduring a loss of control authority over some of their actu…