Publications

M. Sharf, B. Besselink and K. H. Johansson, “Optimization-based Contract Verification for Uncertain Systems: Model-based and Direct Data-Driven Approaches", In Preparation

M. Sharf, B. Besselink and K. H. Johansson, “Contract Composition for Dynamical Systems: Definition and Verification using Linear Programs", In Preparation

M. Sharf, B. Besselink and K. H. Johansson, “Verifying Contracts for Perturbed Control Systems using Linear Programming", Submitted [arXiv]

M. Sharf and D. Zelazo, “A Characterization of All Passivizing Input-Output Transformations of a Passive-Short System”, Submitted. [arXiv]

M. Sharf and D. Zelazo, “Network Identification for Diffusively-Coupled Systems with Minimal Time Complexity”, Submitted. [arXiv]

M. Sharf, “Network Optimization Methods in Passivity-Based Cooperative Control", Springer Nature, 2021 [Publisher Webiste]

M. Sharf, I. Romm, M. Palman, D. Zelazo and B. Cukurel, “Economic Dispatch of a Single Multi-Gas Turbine under CHP Operation with Uncertain Demands", Applied Energy, 2021 (Accepted) [arXiv]

M. Sharf and D. Zelazo, “Monitoring Link Faults in Nonlinear Diffusively-coupled Networks”, IEEE Transactions on Automatic Control, 2020 (Early Access). [Paper|arXiv]

M. Sharf, A. Koch, D. Zelazo and F. Allgöwer, “Model-Free Practical Cooperative Control for Diffusively Coupled Systems”, IEEE Transactions on Automatic Control, 2020 (Early Access). [Paper|arXiv]

M. Sharf, A. Jain, and D. Zelazo, “A Geometric Method for Passivation and Cooperative Control of Equilibrium-Independent Passivity-Short Systems”, IEEE Transactions on Automatic Control, 66(12):5877-5892, 2021. [Paper|arXiv]

M. Sharf, “On the Sample Complexity of Data-Driven Inference of the L2-gain”, IEEE Control Systems Letters, 4(4):904-909, 2020. [Paper|arXiv]

M. Sharf and D. Zelazo, “Analysis and Synthesis of MIMO Multi-Agent Systems Using Network Optimization”, IEEE Transactions on Automatic Control, 64(11):4512-4524, 2019. [Paper|arXiv]

M. Sharf and D. Zelazo, “Network Feedback Passivation of Passivity-Short Multi-Agent Systems”, IEEE Control Systems Letters, 3(3):607-612, 2019. [Paper|arXiv]

A. Jain, M. Sharf, and D. Zelazo, “Regularization and Feedback Passivation in Cooperative Control of Passivity-Short Systems: A Network Optimization Perspective”, IEEE Control Systems Letters, 2(4):731-736, 2018. [Paper]

M. Sharf and D. Zelazo, “Network Optimization Approach to Cooperative Control Synthesis”, IEEE Control Systems Letters, 1(1): 86-91, 2017. [Paper]

M. Sharf, B. Besselink, A. Molin, Q. Zhao and K. H. Johansson, “Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools”, Proceedings of the 7th IFAC Workshop on Analysis and Design of Hybrid Systems (ADHS), Brussels, Belgium, July 2021 (Held Virtually). IFAC-PapersOnLine 54.5 (2021): pp. 25-30. [Paper|arXiv] (Best Repeatability Award)

M. Sharf and D. Zelazo, “Symmetry-Induced Clustering in Multi-Agent Systems using Network Optimization and Passivity”, Proceedings of the 27th Mediterranean Conference on Control and Automation (MED), Akko, Israel, July 2019, pp. 19-24. [Paper|arXiv]

M. Sharf and D. Zelazo, “Network Identification: A Passivity and Network Optimization Approach”, Proceedings of the IEEE Conference on Decision and Control (CDC), Miami Beach, FL, December 2018, pp. 2107-2113. [Paper|arXiv]

M. Sharf, “Network Optimization Methods in Passivity-Based Cooperative Control” , Ph.D. thesis. Department of Aerospace Engineering, Technion - Israel Institute of Technology, 2020. Supervisor: D. Zelazo.

M. Sharf, “On Reduced Horoboundary Action of Groups and Property (EH)” , M.Sc. thesis. Faculty of Mathematics, Technion - Israel Institute of Technology, 2016. Supervisor: U. Bader.