Follow
Mohamed Amin Ben Sassi
Mohamed Amin Ben Sassi
Mediterranean Institute of Technology
Verified email at medtech.tn - Homepage
Title
Cited by
Cited by
Year
Reachability analysis of polynomial systems using linear programming relaxations
MA Ben Sassi, R Testylier, T Dang, A Girard
International Symposium on Automated Technology for Verification and …, 2012
492012
Computation of polytopic invariants for polynomial dynamical systems using linear programming
MAB Sassi, A Girard
Automatica 48 (12), 3114-3121, 2012
452012
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
402016
Controller synthesis for robust invariance of polynomial dynamical systems using linear programming
MAB Sassi, A Girard
Systems & control letters 61 (4), 506-512, 2012
242012
Iterative Computation of Polyhedral Invariants Sets for Polynomial Dynamical Systems
MAB Sassi, A Girard, S Sankaranarayanan
Bli 1, 1, 2014
222014
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
102015
Control of polynomial dynamical systems on rectangles
MAB Sassi, A Girard
2013 European Control Conference (ECC), 658-663, 2013
92013
A linear programming-based iterative approach to stabilizing polynomial dynamics
MAB Sassi, E Bartocci, S Sankaranarayanan
IFAC-PapersOnLine 50 (1), 10462-10469, 2017
82017
Template polyhedra and bilinear optimization
J Gronski, MA Ben Sassi, S Becker, S Sankaranarayanan
Formal Methods in System Design 54 (1), 27-63, 2019
72019
Bernstein polynomial relaxations for polynomial optimization problems
MAB Sassi, S Sankaranarayanan
arXiv preprint arXiv:1509.01156, 2015
52015
Stabilization of polynomial dynamical systems using linear programming based on bernstein polynomials
MAB Sassi, S Sankaranarayanan
arXiv preprint arXiv:1501.04578, 2015
52015
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
32017
Analyse et contrôle des systčmes dynamiques polynomiaux
MAB Sassi
Université de Grenoble, 2014
32014
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
22018
Template Polyhedra with a Twist
S Sankaranarayanan, MA Ben Sassi
International Static Analysis Symposium, 321-341, 2017
12017
Polytopic invariant verification and synthesis for polynomial dynamical systems via linear programming
MAB Sassi, A Girard
arXiv preprint arXiv:1012.1256, 2010
12010
Bernstein Polynomial Relaxations for Polynomial Optimization Problems
MA Ben Sassi, S Sankaranarayanan
arXiv e-prints, arXiv: 1509.01156, 2015
2015
Control of polynomial dynamical systems on rectangles
MA Ben Sassi, A Girard
HAL 2013, 2013
2013
Bernstein Inequalities for Constrained Polynomial Optimization Problems.
MAB Sassi, S Sankaranarayanan
The system can't perform the operation now. Try again later.
Articles 1–19