Mohamed Amin Ben Sassi

1. Controller Synthesis for Robust Invariance of Polynomial Dynamical Systems using Linear Programming
   2011/07/08 by Mohamed Amin Ben Sassi, Antoine Girard, Sassi, Mohamed Amin Ben +1 · 1 citation
   Computer Science · Engineering · Mathematics · #Advanced Control Systems Optimization #Advanced Optimization Algorithms Research #FOS: Electrical engineering #FOS: Mathematics #Formal Methods in Verification #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Linear Relaxations of Polynomial Positivity for Polynomial Lyapunov Function Synthesis
   2014/07/10 by Mohamed Amin Ben Sassi, Sassi, Mohamed Amin Ben, Sriram Sankaranarayanan +6 · 1 citation
   Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · Mathematics · #Dynamical Systems (math.DS) #FOS: Mathematics #Formal Methods in Verification #Logic, programming, and type systems #Protein Degradation and Inhibitors #VLSI and FPGA Design Techniques #math.DS
3. Data-Driven Model For Heat Load Prediction In Buildings Connected To District Heating Networks
   2023/09/05 by Alaeddine Hajri, Roberto Garay-Martinez, Hajri, Alaeddine +5 · 1 citation
   Engineering · #Applications (stat.AP) #Building Energy and Comfort Optimization #Energy Load and Power Forecasting #FOS: Computer and information sciences