Mohamed Amin Ben Sassi

Publication Activity (10 Years)

Years Active: 2010-2019
Publications (10 Years): 4

Top Topics

Partially Observable

Dynamical Systems

Agent Environment

Reachability Analysis

Top Venues

Syst. Control. Lett.

Publications

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