4 citations · 4 across the 5 of their papers we have counts for
14 papers
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…
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-…
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…
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…
Qualitative Controller Synthesis for Consumption Markov Decision Processes
František Blahoudek, Tomáš Brázdil, Petr Novotný +3
Consumption Markov Decision Processes (CMDPs) are probabilistic decision-making models of resource-constrained systems. In a CMDP, the controller possesses a certain amount of a cr…