Publications – Melkior Ornik

Please click on the paper title for a PDF version and/or more details about the publication.

Journal Papers

K. Garg, C. Dawson, K. Xu, M. Ornik, C. Fan. Model-free neural fault detection and isolation for safe control. Submitted.

J.-B. Bouvier, H. Panag, R. Woollands, M. Ornik. Delayed resilient trajectory tracking after partial loss of control authority over actuators. Submitted.

Modified version available under a different title as arXiv:2303.12877 [eess.SY].

J.-B. Bouvier, K. Xu, M. Ornik. Quantitative resilience of generalized integrators. Submitted.

Preprint available as arXiv:2111.04163 [eess.SY].

F. Nawaz, M. Ornik. Multi-agent, multi-target path planning in Markov decision processes. Submitted.

Preprint available as arXiv:2205.15841 [math.OC].
F. Nawaz was awarded Best Poster Award for related work at the 16th CSL Student Conference, 2021.

M. O. Karabag, M. Ornik, U. Topcu. Identity concealment games: How I learned to stop revealing and love the coincidences. Submitted.

Extended version available as arXiv:2105.05377 [cs.GT].

M. Vora, P. Thangeda, M. N. Grussing, M. Ornik. Welfare maximization algorithm for solving budget-constrained multi-component POMDPs. IEEE Control System Letters, 2023.

DOI: 10.1109/LCSYS.2023.3280080
[PDF]
Extended version available as arXiv:2303.10302 [math.OC].

H. El-Kebir, A. Pirosmanishvili, M. Ornik. Online guaranteed reachable set approximation for systems with changed dynamics and control authority. IEEE Transactions on Automatic Control, 2023.

DOI: 10.1109/TAC.2023.3275495
[PDF]
Modified version available as arXiv:2203.10220 [math.OC].

T. Shafa, M. Ornik. Reachability of nonlinear systems with unknown dynamics. IEEE Transactions on Automatic Control, 2023.

Vol. 68, no. 4, pp. 2407–2414.
DOI: 10.1109/TAC.2022.3170855
[PDF]
Modified version available as arXiv:2108.11045 [math.OC].

J.-B. Bouvier, M. Ornik. Resilience of linear systems to partial loss of control authority. Automatica, 2023.

Vol. 152.
DOI: 10.1016/j.automatica.2023.110985
[PDF]

P. Thangeda, M. Ornik, U. Topcu. Expedited online learning with spatial side information. IEEE Transactions on Automatic Control, 2023.

Vol. 68, no. 3, pp. 1479–1491.
DOI: 10.1109/TAC.2022.3153278
[PDF]

M. O. Karabag, M. Ornik, U. Topcu. Exploiting partial observability for optimal deception. IEEE Transactions on Automatic Control, 2022.

DOI: 10.1109/TAC.2022.3209959
[PDF]

F. Blahoudek, P. Novotný, M. Ornik, P. Thangeda, U. Topcu. Efficient strategy synthesis for MDPs with resource constraints. IEEE Transactions on Automatic Control, 2022.

DOI: 10.1109/TAC.2022.3209612
[PDF]
Modified version available as arXiv:2105.02099 [cs.AI].
Associated software tool (FiMDP — Fuel in Markov Decision Processes) available on GitHub.

J.-B. Bouvier, M. Ornik. Designing resilient linear systems. IEEE Transactions on Automatic Control, 2022.

Vol. 67, no. 9, pp. 4832–4837.
DOI: 10.1109/TAC.2022.3163242
[PDF]
Extended version available under a different title as arXiv:2006.13820 [eess.SY].

J.-B. Bouvier, M. Ornik. The maximax minimax quotient theorem. Journal of Optimization Theory and Applications, 2022.

Vol. 192, pp. 1084–1101.
DOI: 10.1007/s10957-022-02008-z
[PDF]

M. O. Karabag, M. Ornik, U. Topcu. Deception in supervisory control. IEEE Transactions on Automatic Control, 2022.

Vol. 67, no. 2, pp. 738–753.
DOI: 10.1109/TAC.2021.3057991
[PDF]

H. Chen, M. Ornik, K. Ho. Space exploration architecture and design framework for commercialization. Journal of Spacecraft and Rockets, 2021.

DOI: 10.2514/1.A35077
[PDF]
Modified version available as arXiv:2103.08970 [math.OC].

Z. Dai, K. Xu, M. Ornik. Repulsion-based p-dispersion with distance constraints in non-convex polygons. Annals of Operations Research, 2021.

Vol. 307, pp. 75–91.
DOI: 10.1007/s10479-021-04281-z
[PDF]
Associated software tool (RApDoP: Repulsively Approaching p-Dispersion on Polygons) available on GitHub.

M. Ornik. Comment on “TVOR: Finding Discrete Total Variation Outliers Among Histograms”. IEEE Access, 2021.

Vol. 9, pp. 78586–78593.
DOI: 10.1109/ACCESS.2021.3082900
[PDF]
Available under a different title as arXiv:2103.14693 [stat.ME].

M. Ornik, U. Topcu. Learning and planning for time-varying MDPs using maximum likelihood estimation. Journal of Machine Learning Research, 2021.

Vol. 22, no. 35, pp. 1–40.
[PDF]

M. Ornik, S. Carr, A. Israel, U. Topcu. Control-oriented learning on the fly. IEEE Transactions on Automatic Control, 2020.

Vol. 65, no. 11, pp. 4800–4807.
DOI: 10.1109/TAC.2019.2963293
[PDF]
Modified version available as arXiv:1709.04889 [math.OC].

Y. Savas, M. Ornik, M. Cubuktepe, M. O. Karabag, U. Topcu. Entropy maximization for Markov decision processes under temporal logic constraints. IEEE Transactions on Automatic Control, 2020.

Vol. 65, no. 4, pp. 1552–1567.
DOI: 10.1109/TAC.2019.2922583
[PDF]

M. Ornik, M. E. Broucke. Chattering in the reach control problem. Automatica, 2018.

Vol. 89, pp. 201–211.
DOI: 10.1016/j.automatica.2017.11.008
[PDF]

M. E. Broucke, M. Ornik, A. Mansouri. A topological obstruction in a control problem. Systems & Control Letters, 2017.

Vol. 108, pp. 71–79.
DOI: 10.1016/j.sysconle.2017.08.005
[PDF]

M. Ornik, M. E. Broucke. Characterization of a topological obstruction to reach control by continuous state feedback. Mathematics of Control, Signals, and Systems, 2017.

Vol. 29, no. 2.
DOI: 10.1007/s00498-017-0192-y
[PDF]

M. Moarref, M. Ornik, M. E. Broucke. An obstruction to solvability of the reach control problem using affine feedback. Automatica, 2016.

Vol. 71, pp. 229–236.
DOI: 10.1016/j.automatica.2016.04.033
[PDF]

M. Ornik. Modeling the role of mutations and density independent dispersal in evolutionary rescue. Journal of Biological Systems, 2014.

Vol. 22, no. 1, pp. 123–132.
DOI: 10.1142/S0218339014500077
[PDF]

Peer-Reviewed Conference Papers

K. Jagdale, Z. S. Khan, M. Menéndez, M. Ornik. Optimal planning on a single-route transit system with modular buses. Submitted.

H. El-Kebir, R. Berlin, J. Bentsman, M. Ornik. Viability under degraded control authority. Submitted.

T. Shafa, R. Dong, M. Ornik. Identifying single-input linear system dynamics from reachable sets. Submitted.

H. El-Kebir, J. Bentsman, M. Ornik. Lodestar: An integrated embedded real-time control engine. Accepted to 7th IEEE Conference on Control Technology and Applications, 2023.

Preprint available as arXiv:2203.00649 [cs.RO].
Associated software tool (Lodestar) available on ldstr.dev.

Y. Zhu, P. Thangeda, M. Ornik, K. Hauser. Few-shot adaptation for manipulating granular materials under domain shift. Accepted to Robotics: Science and Systems, 2023.

[PDF]

K. Jagdale, M. Ornik. Optimal routing of modular agents on a graph. Accepted to 2023 IEEE Intelligent Vehicles Symposium, 2023.

[PDF]
Extended version available as arXiv:2302.04933 [math.OC].

X. Duan, N. Baharisangari, R. Yan, Z. Xu, M. Ornik. On a notion of resilience for Markov decision processes with reachability objectives. Accepted to 22nd IFAC World Congress, 2023.

[PDF]

H. El-Kebir, R. Berlin, J. Bentsman, M. Ornik. Robustly linearized model predictive control for nonlinear infinite-dimensional systems. Accepted to 22nd IFAC World Congress, 2023.

[PDF]

T. Shafa, M. Ornik. Maximal ellipsoid method for guaranteed reachability of unknown fully actuated systems. 61st IEEE Conference on Decision and Control, 2022.

Pp. 5002–5007.
DOI: 10.1109/CDC51059.2022.9992407
[PDF]

P. Thangeda, M. Ornik. Adaptive sampling site selection for robotic exploration in unknown environments. 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022.

Pp. 4120–4125.
DOI: 10.1109/IROS47612.2022.9982113
[PDF]

A. Dey, M. Ornik. Post-disaster repair crew assignment optimization using minimum latency. 8th IEEE International Smart Cities Conference, 2022.

DOI: 10.1109/ISC255366.2022.9922070
[PDF]
Modified version available as arXiv:2206.00597 [cs.MA].
Associated software implementation available on GitHub.

M. Ornik, J.-B. Bouvier. Assured system-level resilience for guaranteed disaster response. 8th IEEE International Smart Cities Conference, 2022.

DOI: 10.1109/ISC255366.2022.9922438
[PDF]

J.-B. Bouvier, M. Ornik. Quantitative resilience of linear systems. 20th European Control Conference, 2022.

Pp. 477–482.
DOI: 10.23919/ECC55457.2022.9838147
[PDF]
Extended version available as arXiv:2201.12278 [eess.SY].

M. Ornik. Deceptive trajectory imitation using affine feedback. 2022 American Control Conference, 2022.

Pp. 5211–5216.
DOI: 10.23919/ACC53348.2022.9867275
[PDF]

J.-B. Bouvier, S. P. Nandanoori, M. Ornik, S. Kundu. Distributed transient safety verification via robust control invariant sets: A microgrid application. 2022 American Control Conference, 2022.

Pp. 2202–2207.
DOI: 10.23919/ACC53348.2022.9867323
[PDF]
Extended version available as arXiv:2202.09320 [cs.SY].

F. Blahoudek, M. Cubuktepe, P. Novotný, M. Ornik, P. Thangeda, U. Topcu. Fuel in Markov decision processes (FiMDP): A practical approach to consumption. Formal Methods 2021, 2021.

Pp. 640–656.
DOI: 10.1007/978-3-030-90870-6_34
[PDF]
Associated software tool (FiMDP — Fuel in Markov Decision Processes) available on GitHub.

H. El-Kebir, T. Shafa, A. Purushottam, M. Ornik, A. Soylemezoglu. High-frequency vibration reduction for unmanned ground vehicles on unstructured terrain. 8th International Conference on Modelling and Simulation for Autonomous Systems, 2021.

Pp. 74–92.
DOI: 10.1007/978-3-030-98260-7_5
[PDF]

W. Zheng, P. Thangeda, Y. Savas, M. Ornik. Optimal routing in stochastic networks with reliability guarantees. 24th IEEE International Conference on Intelligent Transportation Systems, 2021.

Pp. 3521–3526.
DOI: 10.1109/ITSC48978.2021.9564444
[PDF]

J.-B. Bouvier, K. Xu, M. Ornik. Quantitative resilience of linear driftless systems. 2021 SIAM Conference on Control and Its Applications, 2021.

Pp. 32–39.
DOI: 10.1137/1.9781611976847.5
[PDF]
Extended version available as arXiv:2101.12063 [cs.SY].

H. El-Kebir, M. Ornik. Online inner approximation of reachable sets of nonlinear systems with diminished control authority. 2021 SIAM Conference on Control and Its Applications, 2021.

Pp. 9–16.
DOI: 10.1137/1.9781611976847.2
[PDF]

M. Ornik. Measuring target predictability for optimal environment design. 59th IEEE Conference on Decision and Control, 2020.

Pp. 5023–5028.
DOI: 10.1109/CDC42340.2020.9304082
[PDF]

M. Ornik. Guaranteed reachability for systems with unknown dynamics. 59th IEEE Conference on Decision and Control, 2020.

Pp. 2756–2761.
DOI: 10.1109/CDC42340.2020.9304326
[PDF] (see end of paper for a minor erratum)
Modified version available as arXiv:1910.00803 [math.OC].

F. Nawaz, M. Ornik. Explorative probabilistic planning with unknown target locations. 59th IEEE Conference on Decision and Control, 2020.

Pp. 2732–2737.
DOI: 10.1109/CDC42340.2020.9304481
[PDF]

P. Thangeda, M. Ornik. PROTRIP: Probabilistic risk-aware optimal transit planner. 23rd IEEE International Conference on Intelligent Transportation Systems, 2020.

DOI: 10.1109/ITSC45102.2020.9294500
[PDF]
Software implementation available on GitHub.

F. Blahoudek, T. Brázdil, P. Novotný, M. Ornik, P. Thangeda, U. Topcu. Qualitative controller synthesis for consumption Markov decision processes. 32nd International Conference on Computer-Aided Verification, 2020.

Part II, pp. 421–447.
DOI: 10.1007/978-3-030-53291-8_22
[PDF]
Extended version available as arXiv:2005.07227 [cs.FL].
Associated software tool (FiMDP — Fuel in Markov Decision Processes) available on GitHub.

J.-B. Bouvier, M. Ornik. Resilient reachability for linear systems. 21st IFAC World Congress, 2020.

Pp. 4409–4414.
DOI: 10.1016/j.ifacol.2020.12.372
[PDF]

P. Thangeda, M. Ornik. Safety-guaranteed, accelerated learning in MDPs with local side information. 2020 American Control Conference, 2020.

Pp. 1099–1105.
DOI: 10.23919/ACC45564.2020.9147372
[PDF]

Y. Savas, V. Gupta, M. Ornik, L. J. Ratliff, U. Topcu. Incentive design for temporal logic objectives. 58th IEEE Conference on Decision and Control, 2019.

Pp. 2251–2258.
DOI: 10.1109/CDC40024.2019.9029287
[PDF]
Extended version available as arXiv:1903.07752 [math.OC].

M. O. Karabag, M. Ornik, U. Topcu. Optimal deceptive and reference policies for supervisory control. 58th IEEE Conference on Decision and Control, 2019.

Pp. 1323–1330.
DOI: 10.1109/CDC40024.2019.9029607
[PDF]
Extended version available as arXiv:1902.00590 [math.OC].

Z. Xu, M. Ornik, A. A. Julius, U. Topcu. Information-guided temporal logic inference with prior knowledge. 2019 American Control Conference, 2019.

Pp. 1891–1897.
DOI: 10.23919/ACC.2019.8815145
[PDF]

M. O. Karabag, M. Ornik, U. Topcu. Least inferable policies for Markov decision processes. 2019 American Control Conference, 2019.

Pp. 1224–1231.
DOI: 10.23919/ACC.2019.8815129
[PDF]
Extended version available as arXiv:1809.06482 [math.OC].

M. Ornik, S. Carr, A. Israel, U. Topcu. Myopic control of systems with unknown dynamics. 2019 American Control Conference, 2019.

Pp. 1064–1071.
DOI: 10.23919/ACC.2019.8814482
[PDF]

M. Ornik, J. Fu, N. T. Lauffer, W. K. Perera, M. Alshiekh, M. Ono, U. Topcu. Expedited learning in MDPs with side information. 57th IEEE Conference on Decision and Control, 2018.

Pp. 1941–1948.
DOI: 10.1109/CDC.2018.8619134
[PDF]

M. Ornik, M. S. Moura, A. Peplowski, M. E. Broucke. Adaptive cruise control design using reach control. 21st IEEE International Conference on Intelligent Transportation Systems, 2018.

Pp. 111–116.
DOI: 10.1109/ITSC.2018.8569963
[PDF]

Y. Savas, M. Ornik, M. Cubuktepe, U. Topcu. Entropy maximization for constrained Markov decision processes. 56th Annual Allerton Conference on Communication, Control, and Computing, 2018.

Pp. 911–918.
DOI: 10.1109/ALLERTON.2018.8636066
[PDF]

M. Ornik, U. Topcu. Deception in optimal control. 56th Annual Allerton Conference on Communication, Control, and Computing, 2018.

Pp. 821–828.
DOI: 10.1109/ALLERTON.2018.8635871
[PDF]
Extended version available as arXiv:1805.03090 [math.OC].

M. Bucić, M. Ornik, U. Topcu. Graph-based controller synthesis for safety-constrained, resilient systems. 56th Annual Allerton Conference on Communication, Control, and Computing, 2018.

Pp. 297–304.
DOI: 10.1109/ALLERTON.2018.8635905
[PDF]

P. Mercader, M. Ornik, P.-O. Gutman, I. Ioslovich. Optimal signal timing for multi-phase intersections. 15th IFAC Symposium on Control in Transportation Systems, 2018.

Pp. 476–481.
DOI: 10.1016/j.ifacol.2018.07.078
[PDF]

M. Ornik, M. E. Broucke. A graph-theoretic approach to the reach control problem. 56th IEEE Conference on Decision and Control, 2017.

Pp. 4952–4957.
DOI: 10.1109/CDC.2017.8264392
[PDF]

M. Ornik, M. E. Broucke. A nerve-theoretic result on the problem of a topological obstruction in reach control. 56th IEEE Conference on Decision and Control, 2017.

Pp. 3009–3014.
DOI: 10.1109/CDC.2017.8264097
[PDF]

M. Ornik, M. Moarref, M. E. Broucke. An automated parallel parking strategy using reach control theory. 20th IFAC World Congress, 2017.

Pp. 9419–9424.
DOI: 10.1016/j.ifacol.2017.08.1699
[PDF] (see end of paper for a minor erratum)

M. Ornik, A. C. Sniderman, M. E. Broucke, G. M. T. D'Eleuterio. Pattern identification in distributed systems. 55th IEEE Conference on Decision and Control, 2016.

Pp. 6895–6900.
DOI: 10.1109/CDC.2016.7799331
[PDF]

M. Ornik, M. E. Broucke. Characterizing equilibria in reach control under affine feedback. 10th IFAC Symposium on Nonlinear Control Systems, 2016.

Pp. 1078–1083.
DOI: 10.1016/j.ifacol.2016.10.311
[PDF]

M. Ornik, M. E. Broucke. A topological obstruction to reach control by continuous state feedback. 54th IEEE Conference on Decision and Control, 2015.

Pp. 2258–2263.
DOI: 10.1109/CDC.2015.7402543
[PDF]

M. Ornik, M. E. Broucke. On a topological obstruction in the reach control problem. 2015 AMMCS-CAIMS Congress, 2015.

Pp. 677–687.
DOI: 10.1007/978-3-319-30379-6
[PDF]

Other Conference Papers

J.-B. Bouvier, H. Panag, R. Woollands, M. Ornik. Resilience of orbital inspections to partial loss of control authority of the chaser satellite. 2022 AAS/AIAA Astrodynamics Specialist Conference, 2022.

J.-B. Bouvier received the John V. Breakwell Student Award by the American Astronautical Society Space Flight Mechanics Committee for this paper.
[PDF]

H. El-Kebir, M. Ornik. In-flight air density estimation and prediction for hypersonic flight vehicles. 23rd AIAA International Space Planes and Hypersonic Systems and Technologies Conference, 2020.

DOI: 10.2514/6.2020-2412
[PDF]

H. Chen, M. Ornik, K. Ho. Incentive design for commercial participation in space logistics infrastructure development and deployment. 70th International Astronautical Congress, 2019.

H. Chen received the Luigi G. Napolitano Award of the International Astronautical Federation for his contributions in this paper.
[PDF]

D. Ge, M. Ornik, U. Topcu. Robust myopic control for systems with imperfect observations. 2018 AAS/AIAA Astrodynamics Specialist Conference, 2018.

Pp. 3057-3072.
[PDF]
Also presented in a modified version at the 15th Annual Conference of Committee of Deep Space Exploration Technology, Chinese Society of Astronautics, 2018. Chinese title: 基于状态观测的鲁棒短视控制策略. [PDF]

Theses and Other Supervised Research Papers

M. Ornik. New Mathematical Tools in Reach Control Theory. 2017.

Ph.D. thesis, University of Toronto
[PDF]

M. Ornik. Some Observations on Orbits of Driftless Bilinear Systems. 2013.

M.Sc. project report/thesis, Queen’s University
[PDF]

M. Ornik, A. Šušnjara. Neki prilozi teoriji egzaktne rekonstrukcije poligona. 2012.

English title: Some Contributions to the Theory of Exact Polygon Reconstruction
Supervised by Z. Drmač.
University of Zagreb Rector’s Award winning research paper
[PDF]

M. Berljafa, S. Muhvić, M. Ornik. Računanje Gaussovih integracijskih formula za sažimajuću bazu. 2011.

English title: Computation of Gaussian Quadrature Formulae for Compression Basis
Supervised by S. Singer.
University of Zagreb Rector’s Award nominated research paper
[PDF]

Preprints and Supplementary Material

M. Ornik, M. Moarref, M. E. Broucke. Numerical values used for simulations in "An automated parallel parking strategy using reach control theory". 2017.

[PDF]

M. Ornik, M. E. Broucke. Some results on an affine obstruction to reach control. 2015.

Available as arXiv:1507.02957 [math.OC].