Melkior Ornik

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 95

Top Topics

Markov Decision Process

Continuous State

Optimal Stopping

Top Venues

IEEE Trans. Autom. Control.

Publications

Hamza El-Kebir, Ani Pirosmanishvili, Melkior Ornik
Online Guaranteed Reachable Set Approximation for Systems With Changed Dynamics and Control Authority. IEEE Trans. Autom. Control. 69 (2) (2024)
Gokul Puthumanaillam, Manav Vora, Pranay Thangeda, Melkior Ornik
A Moral Imperative: The Need for Continual Superalignment of Large Language Models. CoRR (2024)
Taha Shafa, Melkior Ornik
Guaranteed Reachability on Riemannian Manifolds for Unknown Nonlinear Systems. CoRR (2024)
Pranay Thangeda, Hoda Helmi, Melkior Ornik
Optimizing Agricultural Order Fulfillment Systems: A Hybrid Tree Search Approach. CoRR (2024)
Gokul Puthumanaillam, Xiangyu Liu, Negar Mehr, Melkior Ornik
Weathering Ongoing Uncertainty: Learning and Planning in a Time-Varying Partially Observable Environment. ICRA (2024)
Gokul Puthumanaillam, Manav Vora, Melkior Ornik
ComTraQ-MPC: Meta-Trained DQN-MPC Integration for Trajectory Tracking with Limited Active Localization Updates. CoRR (2024)
Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu
Identity concealment games: How I learned to stop revealing and love the coincidences. Autom. 161 (2024)
Hamza El-Kebir, Richard Berlin, Joseph Bentsman, Melkior Ornik
Viabilizability of Control Signals under Control Authority Degradation. ECC (2024)
Neeloy Chakraborty, Melkior Ornik, Katherine Rose Driggs-Campbell
Hallucination Detection in Foundation Models for Decision-Making: A Flexible Definition and Review of the State of the Art. CoRR (2024)
Taha Shafa, Roy Dong, Melkior Ornik
Identifying Single-Input Linear System Dynamics from Reachable Sets. CDC (2023)
Gokul Puthumanaillam, Xiangyu Liu, Negar Mehr, Melkior Ornik
Weathering Ongoing Uncertainty: Learning and Planning in a Time-Varying Partially Observable Environment. CoRR (2023)
Jean-Baptiste Bouvier, Himmat Panag, Robyn Woollands, Melkior Ornik
Resilient Trajectory Tracking to Partial Loss of Control Authority over Actuators with Actuation Delay. CoRR (2023)
Yifan Zhu, Pranay Thangeda, Melkior Ornik, Kris Hauser
Few-shot Adaptation for Manipulating Granular Materials Under Domain Shift. Robotics: Science and Systems (2023)
Manav Vora, Pranay Thangeda, Michael N. Grussing, Melkior Ornik
Welfare Maximization Algorithm for Solving Budget-Constrained Multi-Component POMDPs. IEEE Control. Syst. Lett. 7 (2023)
Jean-Baptiste Bouvier, Sai Pushpak Nandanoori, Melkior Ornik
Losing Control of your Network? Try Resilience Theory. CoRR (2023)
Karan Jagdale, Zaid Saeed Khan, Mónica Menéndez, Melkior Ornik
Optimal Planning on a Single-Route Transit System with Modular Buses. ITSC (2023)
Yifan Zhu, Pranay Thangeda, Melkior Ornik, Kris Hauser
Few-shot Adaptation for Manipulating Granular Materials Under Domain Shift. CoRR (2023)
Hamza El-Kebir, Richard Berlin, Joseph Bentsman, Melkior Ornik
Viability under Degraded Control Authority. CoRR (2023)
Farhad Nawaz, Melkior Ornik
Multiagent, Multitarget Path Planning in Markov Decision Processes. IEEE Trans. Autom. Control. 68 (12) (2023)
Manav Vora, Pranay Thangeda, Michael N. Grussing, Melkior Ornik
Welfare Maximization Algorithm for Solving Budget-Constrained Multi-Component POMDPs. CoRR (2023)
Hamza El-Kebir, Joseph Bentsman, Melkior Ornik
Lodestar: An Integrated Embedded Real-Time Control Engine. CCTA (2023)
Frantisek Blahoudek, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
Efficient Strategy Synthesis for MDPs With Resource Constraints. IEEE Trans. Autom. Control. 68 (8) (2023)
Pranay Thangeda, Melkior Ornik, Ufuk Topcu
Expedited Online Learning With Spatial Side Information. IEEE Trans. Autom. Control. 68 (3) (2023)
Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu
Exploiting Partial Observability for Optimal Deception. IEEE Trans. Autom. Control. 68 (7) (2023)
Hamza El-Kebir, Richard Berlin, Joseph Bentsman, Melkior Ornik
Viability Under Degraded Control Authority. IEEE Control. Syst. Lett. 7 (2023)
Taha Shafa, Roy Dong, Melkior Ornik
Identifying Single-Input Linear System Dynamics from Reachable Sets. CoRR (2023)
Yijin Wang, Melkior Ornik, Roy Dong
Connection of Optimal Stopping Time to s-t Cut Problems on Trees. IEEE Control. Syst. Lett. 7 (2023)
Taha Shafa, Melkior Ornik
Reachability of Nonlinear Systems With Unknown Dynamics. IEEE Trans. Autom. Control. 68 (4) (2023)
Jean-Baptiste Bouvier, Melkior Ornik
Resilience of linear systems to partial loss of control authority. Autom. 152 (2023)
Pranay Thangeda, Ashish Goel, Erica Tevere, Yifan Zhu, Erik Kramer, Adriana Daca, Hari Nayar, Kris Hauser, Melkior Ornik
Learning and Autonomy for Extraterrestrial Terrain Sampling: An Experience Report from OWLAT Deployment. CoRR (2023)
Kunal Garg, Charles Dawson, Kathleen Xu, Melkior Ornik, Chuchu Fan
Model-Free Neural Fault Detection and Isolation for Safe Control. IEEE Control. Syst. Lett. 7 (2023)
Karan Jagdale, Melkior Ornik
Optimal Routing of Modular Agents on a Graph. IV (2023)
Karan Jagdale, Melkior Ornik
Optimal Routing of Modular Agents on a Graph. CoRR (2023)
Jean-Baptiste Bouvier, Kathleen Xu, Melkior Ornik
Quantitative Resilience of Generalized Integrators. IEEE Trans. Autom. Control. 68 (12) (2023)
Jean-Baptiste Bouvier, Melkior Ornik
Designing Resilient Linear Systems. IEEE Trans. Autom. Control. 67 (9) (2022)
Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu
Deception in Supervisory Control. IEEE Trans. Autom. Control. 67 (2) (2022)
Melkior Ornik
Deceptive Trajectory Imitation Using Affine Feedback. ACC (2022)
Hamza El-Kebir, Joseph Bentsman, Melkior Ornik
Lodestar: An Integrated Embedded Real-Time Control Engine. CoRR (2022)
Hamza El-Kebir, Ani Pirosmanishvili, Melkior Ornik
Online Guaranteed Reachable Set Approximation for Systems with Changed Dynamics and Control Authority. CoRR (2022)
Jean-Baptiste Bouvier, Sai Pushpak Nandanoori, Melkior Ornik, Soumya Kundu
Distributed Transient Safety Verification via Robust Control Invariant Sets: A Microgrid Application. ACC (2022)
Anakin Dey, Melkior Ornik
Post-Disaster Repair Crew Assignment Optimization Using Minimum Latency. CoRR (2022)
Taha Shafa, Melkior Ornik
Maximal Ellipsoid Method for Guaranteed Reachability of Unknown Fully Actuated Systems. CDC (2022)
Farhad Nawaz, Melkior Ornik
Multi-agent Multi-target Path Planning in Markov Decision Processes. CoRR (2022)
Jean-Baptiste Bouvier, Melkior Ornik
Quantitative Resilience of Linear Systems. CoRR (2022)
Jean-Baptiste Bouvier, Melkior Ornik
Resilience of Linear Systems to Partial Loss of Control Authority. CoRR (2022)
Anakin Dey, Melkior Ornik
Post-Disaster Repair Crew Assignment Optimization Using Minimum Latency. ISC2 (2022)
Melkior Ornik, Jean-Baptiste Bouvier
Assured System-Level Resilience for Guaranteed Disaster Response. ISC2 (2022)
Jean-Baptiste Bouvier, Melkior Ornik
The Maximax Minimax Quotient Theorem. J. Optim. Theory Appl. 192 (3) (2022)
Pranay Thangeda, Melkior Ornik
Adaptive Sampling Site Selection for Robotic Exploration in Unknown Environments. IROS (2022)
Jean-Baptiste Bouvier, Sai Pushpak Nandanoori, Melkior Ornik, Soumya Kundu
Distributed Transient Safety Verification via Robust Control Invariant Sets: A Microgrid Application. CoRR (2022)
Jean-Baptiste Bouvier, Melkior Ornik
. ECC (2022)
Melkior Ornik, Ufuk Topcu
Learning and Planning for Time-Varying MDPs Using Maximum Likelihood Estimation. J. Mach. Learn. Res. 22 (2021)
Zhengguan Dai, Kathleen Xu, Melkior Ornik
Repulsion-based p-dispersion with distance constraints in non-convex polygons. Ann. Oper. Res. 307 (1) (2021)
Jean-Baptiste Bouvier, Kathleen Xu, Melkior Ornik
Quantitative Resilience of Generalized Integrators. CoRR (2021)
Hamza El-Kebir, Taha Shafa, Amartya Purushottam, Melkior Ornik, Ahmet Soylemezoglu
High-Frequency Vibration Reduction for Unmanned Ground Vehicles on Unstructured Terrain. MESAS (2021)
Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu
Identity Concealment Games: How I Learned to Stop Revealing and Love the Coincidences. CoRR (2021)
Wanzheng Zheng, Pranay Thangeda, Yagiz Savas, Melkior Ornik
Optimal Routing in Stochastic Networks with Reliability Guarantees. ITSC (2021)
Hao Chen, Melkior Ornik, Koki Ho
Space Exploration Architecture and Design Framework for Commercialization. CoRR (2021)
Melkior Ornik
Comment on "TVOR: Finding Discrete Total Variation Outliers Among Histograms". IEEE Access 9 (2021)
Jean-Baptiste Bouvier, Kathleen Xu, Melkior Ornik
Quantitative Resilience of Linear Driftless Systems. CoRR (2021)
Frantisek Blahoudek, Murat Cubuktepe, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption. FM (2021)
Frantisek Blahoudek, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
Efficient Strategy Synthesis for MDPs with Resource Constraints. CoRR (2021)
Farhad Nawaz, Melkior Ornik
Explorative Probabilistic Planning with Unknown Target Locations. CDC (2020)
Melkior Ornik
Guaranteed Reachability for Systems with Unknown Dynamics. CDC (2020)
Frantisek Blahoudek, Tomás Brázdil, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
Qualitative Controller Synthesis for Consumption Markov Decision Processes. CAV (2) (2020)
Melkior Ornik
Measuring Target Predictability for Optimal Environment Design. CDC (2020)
Jean-Baptiste Bouvier, Melkior Ornik
Designing Resilient Linear Driftless Systems. CoRR (2020)
Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Mustafa O. Karabag, Ufuk Topcu
Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints. IEEE Trans. Autom. Control. 65 (4) (2020)
Frantisek Blahoudek, Tomás Brázdil, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
Qualitative Controller Synthesis for Consumption Markov Decision Processes. CoRR (2020)
Pranay Thangeda, Melkior Ornik
Safety-Guaranteed, Accelerated Learning in MDPs with Local Side Information. ACC (2020)
Pranay Thangeda, Melkior Ornik
PROTRIP: Probabilistic Risk-Aware Optimal Transit Planner. ITSC (2020)
Melkior Ornik, Steven Carr, Arie Israel, Ufuk Topcu
Control-Oriented Learning on the Fly. IEEE Trans. Autom. Control. 65 (11) (2020)
Melkior Ornik, Steven Carr, Arie Israel, Ufuk Topcu
Myopic Control of Systems with Unknown Dynamics. ACC (2019)
Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu
Least Inferable Policies for Markov Decision Processes. ACC (2019)
Zhe Xu, Melkior Ornik, A. Agung Julius, Ufuk Topcu
Information-Guided Temporal Logic Inference with Prior Knowledge. ACC (2019)
Melkior Ornik, Ufuk Topcu
Learning and Planning for Time-Varying MDPs Using Maximum Likelihood Estimation. CoRR (2019)
Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu
Optimal Deceptive and Reference Policies for Supervisory Control. CDC (2019)
Yagiz Savas, Vijay Gupta, Melkior Ornik, Lillian J. Ratliff, Ufuk Topcu
Incentive Design for Temporal Logic Objectives. CDC (2019)
Melkior Ornik, Ufuk Topcu
Deception in Optimal Control. CoRR (2018)
Dantong Ge, Melkior Ornik, Ufuk Topcu
Robust Myopic Control for Systems with Imperfect Observations. CoRR (2018)
Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Ufuk Topcu
Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints. CoRR (2018)
Melkior Ornik, Mireille E. Broucke
Chattering in the Reach Control Problem. Autom. 89 (2018)
Melkior Ornik, Mateus S. Moura, Alexander Peplowski, Mireille E. Broucke
Adaptive Cruise Control Design Using Reach Control. ITSC (2018)
Matija Bucic, Melkior Ornik, Ufuk Topcu
Graph-Based Controller Synthesis for Safety-Constrained, Resilient Systems. Allerton (2018)
Melkior Ornik, Ufuk Topcu
Deception in Optimal Control. Allerton (2018)
Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Ufuk Topcu
Entropy Maximization for Constrained Markov Decision Processes. Allerton (2018)
Melkior Ornik, Jie Fu, Niklas T. Lauffer, W. K. Perera, Mohammed Alshiekh, Masahiro Ono, Ufuk Topcu
Expedited Learning in MDPs with Side Information. CDC (2018)
Zhe Xu, Melkior Ornik, A. Agung Julius, Ufuk Topcu
Information-Guided Temporal Logic Inference with Prior Knowledge. CoRR (2018)
Melkior Ornik, Mireille E. Broucke
Characterization of a topological obstruction to reach control by continuous state feedback. Math. Control. Signals Syst. 29 (2) (2017)
Melkior Ornik, Mireille E. Broucke
A graph-theoretic approach to the reach control problem. CDC (2017)
Melkior Ornik, Mireille E. Broucke
A nerve-theoretic result on the problem of a topological obstruction in reach control. CDC (2017)
Melkior Ornik, Arie Israel, Ufuk Topcu
Control-Oriented Learning on the Fly. CoRR (2017)
Mireille E. Broucke, Melkior Ornik, Abdol-Reza Mansouri
A topological obstruction in a control problem. Syst. Control. Lett. 108 (2017)
Miad Moarref, Melkior Ornik, Mireille E. Broucke
An obstruction to solvability of the reach control problem using affine feedback. Autom. 71 (2016)
Melkior Ornik, Adam C. Sniderman, Mireille E. Broucke, Gabriele M. T. D'Eleuterio
Pattern identification in distributed systems. CDC (2016)
Melkior Ornik, Mireille E. Broucke
A topological obstruction to reach control by continuous state feedback. CDC (2015)