Mohamed Amine Ben Sassi

12 Years of experience teaching Math in international universities all over the world together with Strong history of research in topics such as Formal methods, Optimization, Non linear and Hybrid systems leading to many conference and journal papers (more than 10 papers) and more than 250 citations (on Google Scholar).

09/2009 until 08/2013, Research Ministry of Tunisia, State scholarship

• 12/2021 until Now, Head of the Quality Team at MedTech
• September 2023, ABET Accreditations of our three engineering programs.
• Fall 2019 until Fall 2021, Member of the Quality Team at MedTech
• Fall 2020 until Fall 2022, Research Coordinator and lead for the I-ACT research group.

• 09/2015 until 02/2016, Polynomial Optimization Solver by Dimitrios Economu, Master Thesis (Colorado Boulder).
• 04/2019 until 10/2019, Parallel Path Optimization For 6 Dof Multiple Robot Arms by Yassine Chaouch (MedTech Capstone)
• 09/2020 until 03/2021 Feature selection in non intrusive load monitoring using different classifcation methods by Ahmed Ben Daly (MedTech Capstone)
• 01/2022 until 06/2022, Program Enhancement through Sentiment Analysis of Student’s Feedback by Radhouen Hakim, Professional Master (MSB).
• 05/2022 until 02/2023, FORECASTING MODEL DEVELOPMENT PROCESS FOR HEAT LOAD IN BUILDINGS CONNECTED TO DISTRICT HEATING NETWORK by Alaeddine Hajri (MedTech Capstone).

Université of Grenoble:

• Elementary Analysis and Differential Equations.
• Linear Algebra.
• Numerical Analysis.
• Verification of Cyber physical systems.

University of Colorado Boulder:

• Linear Programming

MedTech:

• Pre Calculus.
• Calculus 1.
• Calculus 2.
• Multi-variable Calculus.
• Numerical Methods.
• Linear Algebra

Univeristé de Grenoble:

1-Computation of polytopic invariants for polynomial dynamical systems using linear programming (article)

Author

Ben Sassi, Mohamed Amin and Girard, Antoine

Journal

Automatica

Year

2012

Publisher

Pergamon

2-Reachability analysis of polynomial systems using linear programming relaxations (inproceedings)

Author

Ben Sassi, Mohamed Amin and Testylier, Romain and Dang, Thao and Girard, Antoine

Year

2012

Publisher

Springer Berlin Heidelberg Berlin, Heidelberg

Journal

International Symposium on Automated Technology for Verification and Analysis

3-Controller synthesis for robust invariance of polynomial dynamical systems using linear programming (article)

Author

Sassi, Mohamed Amin Ben and Girard, Antoine

Journal

Systems & control letters

Year

2012

Publisher

North-Holland

4-Control of polynomial dynamical systems on rectangles (inproceedings)

Author

Ben Sassi, Mohamed Amin Ben and Girard, Antoine

Year

2013

Publisher

IEEE

Journal

2013 European Control Conference (ECC)

TU Vienna:

5-A linear programming-based iterative approach to stabilizing polynomial dynamics (article)

Author

Ben Sassi, Mohamed Amin and Bartocci, Ezio and Sankaranarayanan, Sriram

Journal

IFAC-PapersOnLine

Year

2017

Publisher

Elsevier

6-A multi-bias recurrent neural network for modeling milling sensory data (inproceedings)

Author

Wang, Guodong and Sassi, Mohamed Amin Ben and Grosu, Radu

Year

2018

Publisher

IEEE

Journal

2018 IEEE Industrial Cyber-Physical Systems (ICPS)

University of Colorado Boulder:

7-Iterative Computation of Polyhedral Invariants Sets for Polynomial Dynamical Systems (article)

Author

Ben Sassi, Mohamed Amin Ben and Girard, Antoine and Sankaranarayanan, Sriram

Journal

Conference of Design and Control (CDC).

Year

2014

8-Stability and stabilization of polynomial dynamical systems using Bernstein polynomials (inproceedings)

Author

Ben Sassi, Mohamed Amin and Sankaranarayanan, Sriram

Year

2015

Journal

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control

9-Linear relaxations of polynomial positivity for polynomial lyapunov function synthesis (article)

Author

Ben Sassi, Mohamed Amin and Sankaranarayanan, Sriram and Chen, Xin and Ábrahám, Erika

Journal

IMA Journal of Mathematical Control and Information

Year

2016

Publisher

Oxford University Press

MedTech:

10-Template polyhedra with a twist (inproceedings)

Author

Sankaranarayanan, Sriram and Ben Sassi, Mohamed Amin

Year

2017

Journal

Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA, August 30–September 1, 2017, Proceedings 24

11-ZIZO: A Novel Zoom-In–Zoom-Out Search Algorithm for the Global Parameters of Echo-State Networks (article)

Author

Wang, Guodong and Sassi, Mohamed Amin Ben and Grosu, Radu

Journal

Canadian Journal of Electrical and Computer Engineering

Year

2017

Publisher

IEEE

12-Template polyhedra and bilinear optimization (article)

Author

Gronski, Jessica and Ben Sassi, Mohamed-Amin and Becker, Stephen and Sankaranarayanan, Sriram

Journal

Formal Methods in System Design

Year

2019

Publisher

Springer US