Melkior Ornik

Melkior Ornik
Melkior Ornik
Assistant Professor of Aerospace Engineering
346 Coordinated Science Lab

For More Information

Education

  • Ph.D., Electrical and Computer Engineering, University of Toronto, 2017 (advisor: Mireille E. Broucke, thesis title: New Mathematical Tools in Reach Control Theory)
  • M.S., Mathematics and Statistics, Queen's University, 2013 (advisor: Andrew D. Lewis, project title: Some Observations on Orbits of Driftless Bilinear Systems)
  • B.S., Mathematics, University of Zagreb, 2011

Academic Positions

  • Affiliate, Discovery Partners Institute, 2020-Present
  • Research Associate, University of Texas at Austin, 2018 (advisor: Ufuk Topcu)
  • Postdoctoral Fellow, University of Texas at Austin, 2017 - 2018 (advisor: Ufuk Topcu)

Research Interests

  • Autonomous systems
  • Control of systems operating in complex, uncertain, or changing environments
  • Safety-critical control
  • Learning methods in control

Research Areas

  • Decision and Control

Selected Articles in Journals

  • M. O. Karabag, M. Ornik, U. Topcu. "Exploiting partial observability for optimal deception." IEEE Transactions on Automatic Control, 2021. DOI: 10.1109/TAC.2022.3209959
  • F. Blahoudek, P. Novotny, 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
  • T. Shafa, M. Ornik. "Reachability of nonlinear systems with unknown dynamics." IEEE Transactions on Automatic Control, 2022. DOI: 10.1109/TAC.2022.3170855
  • J.-B. Bouvier, M. Ornik. "Designing resilient linear systems." IEEE Transactions on Automatic Control, 67(9), pp. 4832-4837, 2022. DOI: 10.1109/TAC.2022.3163242
  • P. Thangeda, M. Ornik, U. Topcu. "Expedited online learning with spatial side information." IEEE Transactions on Automatic Control, 2022. DOI: 10.1109/TAC.2022.3153278
  • J.-B. Bouvier, M. Ornik. "The maximax minimax quotient theorem." Journal of Optimization Theory and Applications, 192, pp. 1084-1101, 2022. DOI: 10.1007/s10957-022-02008-z
  • M. O. Karabag, M. Ornik, U. Topcu. "Deception in supervisory control." IEEE Transactions on Automatic Control, 67(2), pp. 738-753, 2022. DOI: 10.1109/TAC.2021.3057991
  • 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
  • Z. Dai, K. Xu, M. Ornik. "Repulsion-based p-dispersion with distance constraints in non-convex polygons." Annals of Operations Research, 307, pp. 67-91, 2021. DOI: 10.1007/s10479-021-04281-z
  • M. Ornik. "Comment on "TVOR: Finding Discrete Total Variation Outliers Among Histograms"." IEEE Access, 9, pp. 78586-78593, 2021. DOI: 10.1109/ACCESS.2021.3082900
  • M. Ornik, U. Topcu. "Learning and planning for time-varying MDPs using maximum likelihood estimation." Journal of Machine Learning Research, 22(35), pp. 1-40, 2021.
  • M. Ornik, S. Carr, A. Israel, U. Topcu. "Control-oriented learning on the fly." IEEE Transactions on Automatic Control, 65(11), pp. 4800-4807, 2020. DOI: 10.1109/TAC.2019.2963293
  • 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, 65(4), pp. 1552-1567, 2020. DOI: 10.1109/TAC.2019.2922583
  • M. Ornik, M. E. Broucke. "Chattering in the reach control problem." Automatica, 89, pp. 201-211, 2018. DOI: 10.1016/j.automatica.2017.11.008
  • M. E. Broucke, M. Ornik, A. Mansouri. "A topological obstruction in a control problem." Systems & Control Letters, 108, pp. 71-79, 2017. DOI: 10.1016/j.sysconle.2017.08.005
  • M. Ornik, M. E. Broucke. "Characterization of a topological obstruction to reach control by continuous state feedback." Mathematics of Control, Signals, and Systems, 29(2), 2017. DOI: 10.1007/s00498-017-0192-y
  • M. Moarref, M. Ornik, M. E. Broucke. "An obstruction to solvability of the reach control problem using affine feedback." Automatica, 71, pp. 229-236, 2016. DOI: 10.1016/j.automatica.2016.04.033

Articles in Conference Proceedings

  • T. Shafa, M. Ornik. "Maximal ellipsoid method for guaranteed reachability of unknown fully actuated systems." Accepted to 61st IEEE Conference on Decision and Control, 2022.
  • P. Thangeda, M. Ornik. "Adaptive sampling site selection for robotic exploration in unknown environments." IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 4120-4125, 2022.
  • 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
  • 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
  • J.-B. Bouvier, H. Panag, R. Woollands, M. Ornik. "Resilience of orbital inspections to partial loss of control authority of the chaser satellite." AAS/AIAA Astrodynamics Specialist Conference, 2022.
  • J.-B. Bouvier, M. Ornik. "Quantitative resilience of linear systems." 20th European Control Conference, pp. 477-482, 2022. DOI: 10.23919/ECC55457.2022.9838147
  • M. Ornik. "Deceptive trajectory imitation using affine feedback." American Control Conference, pp. 5211-5216, 2022. DOI: 10.23919/ACC53348.2022.9867275
  • J.-B. Bouvier, S. P. Nandanoori, M. Ornik, S. Kundu. "Distributed transient safety verification via robust control invariant sets: A microgrid application." American Control Conference, pp. 2202-2207, 2022. DOI: 10.23919/ACC53348.2022.9867323
  • F. Blahoudek, M. Cubuktepe, P. Novotny, M. Ornik, P. Thangeda, U. Topcu. "Fuel in Markov decision processes (FiMDP): A practical approach to consumption." Formal Methods, pp. 640-656, 2021. DOI: 10.1007/978-3-030-90870-6_34 (acceptance rate: 26%)
  • 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, pp. 74-92, 2021. DOI: 10.1007/978-3-030-98260-7_5
  • W. Zheng, P. Thangeda, Y. Savas, M. Ornik. "Optimal routing in stochastic networks with reliability guarantees." 24th IEEE International Conference on Intelligent Transportation Systems, pp. 3521-3526, 2021. DOI: 10.1109/ITSC48978.2021.9564444
  • J.-B. Bouvier, K. Xu, M. Ornik. "Quantitative resilience of linear driftless systems." SIAM Conference on Control and Its Applications, pp. 32-39, 2021. DOI: 10.1137/1.9781611976847.5
  • H. El-Kebir, M. Ornik. "Online inner approximation of reachable sets of nonlinear systems with diminished control authority." SIAM Conference on Control and Its Applications, pp. 9-16, 2021. DOI: 10.1137/1.9781611976847.2
  • M. Ornik. "Measuring target predictability for optimal environment design." 59th IEEE Conference on Decision and Control, pp. 5023-5028, 2020. DOI: 10.1109/CDC42340.2020.9304082
  • M. Ornik. "Guaranteed reachability for systems with unknown dynamics." 59th IEEE Conference on Decision and Control, pp. 2756-2761, 2020. DOI: 10.1109/CDC42340.2020.9304326
  • F. Nawaz, M. Ornik. "Explorative probabilistic planning with unknown target locations." 59th IEEE Conference on Decision and Control, pp. 2732-2737, 2020. DOI: 10.1109/CDC42340.2020.9304481
  • 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
  • F. Blahoudek, P. Novotny, M. Ornik, P. Thangeda, U. Topcu. "Qualitative controller synthesis for consumption Markov decision processes." 32nd International Conference on Computer Aided Verification, part II, pp. 421-447, 2020. DOI: 10.1007/978-3-030-53291-8_22 (acceptance rate: 27%)
  • J.-B. Bouvier, M. Ornik. "Resilient reachability for linear systems." 21st IFAC World Congress, pp. 4409-4414, 2020. DOI: 10.1016/j.ifacol.2020.12.372
  • P. Thangeda, M. Ornik. "Safety-guaranteed, accelerated learning in MDPs with local side information." American Control Conference, pp. 1099-1105, 2020. DOI: 10.23919/ACC45564.2020.9147372
  • H. El-Kebir, M. Ornik. "In-flight air density estimation and prediction for hypersonic flight vehicles." 23rd AIAA International Space Planes and Hypersonics Systems and Technologies Conference, 2020. DOI: 10.2514/6.2020-2412
  • Y. Savas, V. Gupta, M. Ornik, L. J. Ratliff, U. Topcu. "Incentive design for temporal logic objectives." 58th IEEE Conference on Decision and Control, pp. 2251–2258, 2019. DOI: 10.1109/CDC40024.2019.9029287
  • M. O. Karabag, M. Ornik, U. Topcu. "Optimal deceptive and reference policies for supervisory control." 58th IEEE Conference on Decision and Control, pp. 1323-1330, 2019. DOI: 10.1109/CDC40024.2019.9029607
  • H. Chen, M. Ornik, K. Ho. "Incentive design for commercial participation in space logistics infrastructure development and deployment." 70th International Astronautical Congress, 2019.
  • Z. Xu, M. Ornik, A. A. Julius, U. Topcu. "Information-guided temporal logic inference with prior knowledge." American Control Conference, pp. 1891-1897, 2019. DOI: 10.23919/ACC.2019.8815145
  • M. O. Karabag, M. Ornik, U. Topcu. "Least inferable policies for Markov decision processes." American Control Conference, pp. 1224-1231, 2019. DOI: 10.23919/ACC.2019.8815129
  • M. Ornik, S. Carr, A. Israel, U. Topcu. "Myopic control of systems with unknown dynamics." American Control Conference, pp. 1064-1071, 2019. DOI: 10.23919/ACC.2019.8814482
  • 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, pp. 1941-1948, 2018. DOI: 10.1109/CDC.2018.8619134
  • M. Ornik, M. S. Moura, A. Peplowski, M. Broucke. "Adaptive cruise control design using reach control." 21st IEEE International Conference on Intelligent Transportation Systems, pp. 111-116, 2018. DOI: 10.1109/ITSC.2018.8569963
  • 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. DOI: 10.1109/ALLERTON.2018.8636066
  • M. Ornik, U. Topcu. "Deception in optimal control." 56th Annual Allerton Conference on Communication, Control, and Computing, 2018. DOI: 10.1109/ALLERTON.2018.8635871
  • M. Bucic, M. Ornik, U. Topcu. "Graph-based controller synthesis for safety-constrained, resilient systems." 56th Annual Allerton Conference on Communication, Control, and Computing, 2018. DOI: 10.1109/ALLERTON.2018.8635905
  • D. Ge, M. Ornik, U. Topcu. "Robust myopic control for systems with imperfect observations." AAS/AIAA Astrodynamics Specialist Conference, pp. 3057-3072, 2018.
  • P. Mercader, M. Ornik, P.-O. Gutman, I. Ioslovich. "Optimal signal timing for multi-phase intersections." 15th IFAC Symposium on Control in Transportation Systems, pp. 476-481, 2018. DOI: 10.1016/j.ifacol.2018.07.078
  • M. Ornik, M. E. Broucke. "A graph-theoretic approach to the reach control problem." 56th IEEE Conference on Decision and Control, pp. 4952-4957, 2017. DOI: 10.1109/CDC.2017.8264392
  • 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, pp. 3009-3014, 2017. DOI: 10.1109/CDC.2017.8264097
  • M. Ornik, M. Moarref, M. E. Broucke. "An automated parallel parking strategy using reach control theory." 20th World Congress of the International Federation of Automatic Control, pp. 9419-9424, 2017. DOI: 10.1016/j.ifacol.2017.08.1699
  • 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, pp. 6895-6900, 2016. DOI: 10.1109/CDC.2016.7799331
  • M. Ornik, M. E. Broucke. "Characterizing equilibria in reach control under affine feedback." 10th IFAC Symposium on Nonlinear Control Systems, pp. 1078-1083, 2016. DOI: 10.1016/j.ifacol.2016.10.311
  • M. Ornik, M. E. Broucke. "A topological obstruction to reach control by continuous state feedback." 54th IEEE Conference on Decision and Control, pp. 2258-2263, 2015. DOI: 10.1109/CDC.2015.7402543
  • M. Ornik, M. E. Broucke. "On a topological obstruction in the reach control problem." AMMCS-CAIMS Congress, pp. 677-687, 2015. DOI: 10.1007/978-3-319-30379-6

Journal Editorships

  • Associate Editor, Special section "Formal Verification and Synthesis of Cyber-Physical Systems" of IEEE Open Journal of Control Systems, 2022
  • Associate Managing Editor, IEEE Smart Cities Newsletter, 2022 - (ongoing)

Teaching Honors

  • Included on the List of Teachers Ranked as Excellent by Their Students (Spring 2020)
  • Included on the List of Teachers Ranked as Excellent by Their Students (Spring 2019)

Recent Courses Taught

  • AE 353 - Aerospace Control Systems
  • AE 504 - Optimal Aerospace Systems
  • AE 555 (SE 521) - Multivariable Control Design
  • AE 598 AAO - Autonomy Against the Odds