Mohamed Amin Ben Sassi
Mohamed Amin Ben Sassi
Mediterranean Institute of Technology
Verified email at - Homepage
Cited by
Cited by
Reachability analysis of polynomial systems using linear programming relaxations
MAB Sassi, R Testylier, T Dang, A Girard
International Symposium on Automated Technology for Verification and …, 2012
Linear relaxations of polynomial positivity for polynomial lyapunov function synthesis
MA Ben Sassi, S Sankaranarayanan, X Chen, E Ábrahám
IMA Journal of Mathematical Control and Information 33 (3), 723-756, 2016
Computation of polytopic invariants for polynomial dynamical systems using linear programming
MAB Sassi, A Girard
Automatica 48 (12), 3114-3121, 2012
Controller synthesis for robust invariance of polynomial dynamical systems using linear programming
MAB Sassi, A Girard
Systems & control letters 61 (4), 506-512, 2012
Iterative Computation of Polyhedral Invariants Sets for Polynomial Dynamical Systems
MAB Sassi, A Girard, S Sankaranarayanan
Bli 1, 1, 2014
Control of polynomial dynamical systems on rectangles
MAB Sassi, A Girard
2013 European Control Conference (ECC), 658-663, 2013
A linear programming-based iterative approach to stabilizing polynomial dynamics
MAB Sassi, E Bartocci, S Sankaranarayanan
IFAC-PapersOnLine 50 (1), 10462-10469, 2017
Stability and stabilization of polynomial dynamical systems using Bernstein polynomials
MA Ben Sassi, S Sankaranarayanan
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
Bernstein polynomial relaxations for polynomial optimization problems
MAB Sassi, S Sankaranarayanan
arXiv preprint arXiv:1509.01156, 2015
Template polyhedra and bilinear optimization
J Gronski, MAB Sassi, S Becker, S Sankaranarayanan
Formal Methods in System Design 54 (1), 27-63, 2019
Stabilization of polynomial dynamical systems using linear programming based on Bernstein polynomials
MAB Sassi, S Sankaranarayanan
arXiv preprint arXiv:1501.04578, 2015
ZIZO: A Novel Zoom-In–Zoom-Out Search Algorithm for the Global Parameters of Echo-State Networks
G Wang, MAB Sassi, R Grosu
Canadian Journal of Electrical and Computer Engineering 40 (3), 210-216, 2017
Analyse et contrôle des systčmes dynamiques polynomiaux
MAB Sassi
Université de Grenoble, 2014
A multi-bias recurrent neural network for modeling milling sensory data
G Wang, MAB Sassi, R Grosu
2018 IEEE Industrial Cyber-Physical Systems (ICPS), 71-78, 2018
Template Polyhedra with a Twist
S Sankaranarayanan, MAB Sassi
International Static Analysis Symposium, 321-341, 2017
Polytopic Invariant Verification and Synthesis for Polynomial Dynamical Systems via Linear Programming
MAB Sassi, A Girard
Bernstein Polynomial Relaxations for Polynomial Optimization Problems
MA Ben Sassi, S Sankaranarayanan
arXiv e-prints, arXiv: 1509.01156, 2015
Bernstein Inequalities for Constrained Polynomial Optimization Problems.
MAB Sassi, S Sankaranarayanan
The system can't perform the operation now. Try again later.
Articles 1–18