Miel Sharf, Ph.D.

I obtained my B.Sc. and M.Sc. from the Faculty of Mathematics, Technion - Israel Institute of Technology, Haifa, Israel in 2013 and 2016, respectively. My M.Sc. thesis was in the subject of geometric group theory, on understanding the action of groups on their horoboundary, and was supervised by Prof. Uri Bader.

Between 2015 and 2020, I worked as a lead algorithm developer and navigation engineer at IDF - Israel Defense Forces, as a part of the mandatory draft in Israel. I worked on developing algorithms for communal navigation and compensating for GNSS ionospheric errors. I was also responsible for implementing such algorithms in practice, including designing the software architecture of the navigation module, integrating software and hardware, and designing experiments for validation and verification of the system.

In 2020, I obtained a Ph.D. from the Faculty of Aerospace Engineering, Technion - Israel Institute of Technology, Haifa, Israel. My Ph.D. thesis was on the subject of cooperative control of nonlinear systems using passivity and network optimization, and was supervised by Prof. Daniel Zelazo.

Since September 2020, I am a postdoctoral researcher at KTH, working with Prof. Karl Henrik Johansson on contract-based design for networked control systems. I was also selected as a part of the 2021 class of Forbes Israel "30 Under 30" list.

Networked control systems; Formal verification and synthesis; Nonlinear control theory and passivity; Data-driven control and decision-making; Anomaly detection; Algebraic graph theory

• December 2021 - Our paper "Economic Dispatch of a Single Micro Gas Turbine Under CHP Operation with Uncertain Demands" by M. Sharf, I. Romm, M. Palman, D. Zelazo and B. Cukurel was accepted to Applied Energy.

• December 2021 - Our invited session, "Modular Design and Verification of Control Systems" by M. Sharf, B. Besselink, A. Girard and K. H. Johansson, took place virtually in the 60th IEEE Conference on Decision and Control Systems (CDC).

• July 2021 - Our paper "Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools" by M. Sharf, B. Besselink, A. Molin, Q. Zhao and K. H. Johansson received the Best Repeatability Award at the 2021 IFAC Conference on Analysis and Design of Hybrid Systems (ADHS). Diploma

• July 2021 - Our invited session proposal, "Modular Design and Verification of Control Systems" by M. Sharf, B. Besselink, A. Girard and K. H. Johansson, was accepted to the 60th IEEE Conference on Decision and Control Systems (CDC).

• June 2021 - The IEEE CSS workshop on Control for Societal-Scale Challenges took Place. I managed the technical side of a workshop, which had more than 900 registrants, including building a fully-fleshed website, managing the registration and moderating the virtual workshop. Website

• May 2021 - A book based on my Ph.D. thesis has been published by Springer. This is a part of the Springer Theses series, whose goal is to recognize the very best Ph.D. theses from a strictly limited number of high-ranking university research STEM departments. These theses are also award with the "Springer thesis award". Link

• Apr. 2021 - Our paper "Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools" by M. Sharf, B. Besselink, A. Molin, Q. Zhao and K. H. Johansson was accepted to the IFAC Conference on Analysis and Design of Hybrid Systems (ADHS).

• Mar. 2021 - I was selected as a part of the 2021 class of Forbes Israel "30 Under 30". Article (in Hebrew)

• Dec. 2020 - I gave a talk on “On the Sample Complexity of Data-Driven Inference of the L2-gain” at IEEE CDC in Jeju island, Republic of Korea (held virtually). Slides

• Oct. 2020 - I gave a talk on “Assume/Guarantee Contracts as Specifications for Dynamical Systems” at NetCon Seminar, KTH Royal Institute of Technology in Stockholm, Sweden (held virtually). Slides

• Oct. 2020 - Our paper “Monitoring Link Faults in Nonlinear Diffusively-coupled Networks” by M. Sharf and D. Zelazo was accepted to IEEE Transactions on Automatic Control.

• Sep. 2020 - Our paper “A Geometric Method for Passivation and Cooperative Control of Equilibrium-Independent Passivity-Short Systems” by M. Sharf, A. Jain and D. Zelazo was accepted to IEEE Transactions on Automatic Control.

• Sep. 2020 - Our paper “Model-Free Practical Cooperative Control for Diffusively Coupled Systems” by M. Sharf, A. Koch, D. Zelazo and F. Allgöwer was accepted to IEEE Transactions on Automatic Control.

• Sep. 2020 - I became a postdoctoral researcher at KTH Royal Institute of Technology, Stockholm, Sweden, working with working with Prof. Karl Henrik Johansson on contract-based design for networked control systems.

• May. 2020 - My paper, “On the Sample Complexity of Data-Driven Inference of the L2-gain”, was accepted to IEEE Control Systems Letters.

• Mar. 2020 - I became a research assistant at the Department of Aerospace Engineering, Technion - Israel Institute of Technology, Haifa, Israel, working on efficient power and heat generation in arrays of micro-gas turbines, with application in smart-grids.

• Feb. 2020 - I visited Université Catholique de Louvain, Louvain-la-Neuve, Belgium and was invited to give a talk on “Model-Free Practical Cooperative Control Using Passivity and Network Optimization”. Slides

• Feb. 2020 - I visited the University of Groningen, Groningen, The Netherlands and was invited to give a talk on “Network Optimization Methods in Passivity-Based Cooperative Control with Application to Network Fault Detection and Isolation”. Slides

• Feb. 2020 - I visited KTH Royal Institute of Technology, Stockholm, Sweden and was invited to give a talk on “Detecting and Isolating Network Faults in Multi-Agent Systems Using Graph Connectivity, Network Optimization and Passivity”. Slides

• Feb. 2020 - I visited ETH Zurich, Zürich, Switzerland and was invited to give a talk on “Model-Free Practical Cooperative Control Using Passivity and Network Optimization”. Slides

• Jan. 2020 - I successfully defended my PhD at Technion - Israel Institute of Technology, advised by Prof. Daniel Zelazo.

• Dec. 2019 - I gave a talk on “Network Feedback Passivation of Passivity-Short Multi-Agent Systems” at IEEE CDC in Nice, France. Slides

• Dec. 2019 - I was invited to give a talk on “Detecting Network Faults in Multi-Agent Systems Using Graph Connectivity and Passivity” at the IEEE CDC workshop “Resilience and Controllability of Large Scale Systems: Network-Theoretic Approach” in Nice, France. Slides