Mohamed Amin Ben Sassi

12 papers B 2Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2019 J jnl
Template polyhedra and bilinear optimization.
Formal Methods Syst. Des.
Jessica A. Gronski, Mohamed Amin Ben Sassi, Stephen Becker, Sriram Sankaranarayanan
2018 — conf
A multi-bias recurrent neural network for modeling milling sensory data.
ICPS
Guodong Wang, Mohamed Amin Ben Sassi, Radu Grosu
2017 B conf
Template Polyhedra with a Twist.
SAS
Sriram Sankaranarayanan, Mohamed Amin Ben Sassi
2016 J jnl
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis.
IMA J. Math. Control. Inf.
Mohamed Amin Ben Sassi, Sriram Sankaranarayanan, Xin Chen, Erika Ábrahám
2015 — conf
Stability and stabilization of polynomial dynamical systems using Bernstein polynomials.
HSCC
Mohamed Amin Ben Sassi, Sriram Sankaranarayanan
2014 — conf
Iterative computation of polyhedral invariants sets for polynomial dynamical systems.
CDC
Mohamed Amin Ben Sassi, Antoine Girard, Sriram Sankaranarayanan
2013 — conf
Control of polynomial dynamical systems on rectangles.
ECC
Mohamed Amin Ben Sassi, Antoine Girard
2012 J jnl
Computation of polytopic invariants for polynomial dynamical systems using linear programming.
Autom.
Mohamed Amin Ben Sassi, Antoine Girard
2012 J jnl
Controller synthesis for robust invariance of polynomial dynamical systems using linear programming.
Syst. Control. Lett.
Mohamed Amin Ben Sassi, Antoine Girard
2012 B conf
Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations.
ATVA
Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard
2011 J jnl
Controller Synthesis for Robust Invariance of Polynomial Dynamical Systems using Linear Programming
CoRR
Mohamed Amin Ben Sassi, Antoine Girard
2010 J jnl
Polytopic Invariant Verification and Synthesis for Polynomial Dynamical Systems via Linear Programming
CoRR
Mohamed Amin Ben Sassi, Antoine Girard