Mohamed Amin Ben Sassi

According to our database1, Mohamed Amin Ben Sassi authored at least 11 papers between 2010 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
Template polyhedra and bilinear optimization.
Formal Methods Syst. Des., 2019

2018
A multi-bias recurrent neural network for modeling milling sensory data.
Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

2017
Template Polyhedra with a Twist.
Proceedings of the Static Analysis - 24th International Symposium, 2017

2016
Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis.
IMA J. Math. Control. Inf., 2016

2015
Stability and stabilization of polynomial dynamical systems using Bernstein polynomials.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

2014
Iterative computation of polyhedral invariants sets for polynomial dynamical systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013
Control of polynomial dynamical systems on rectangles.
Proceedings of the 12th European Control Conference, 2013

2012
Controller synthesis for robust invariance of polynomial dynamical systems using linear programming.
Syst. Control. Lett., 2012

Computation of polytopic invariants for polynomial dynamical systems using linear programming.
Autom., 2012

Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2010
Polytopic Invariant Verification and Synthesis for Polynomial Dynamical Systems via Linear Programming
CoRR, 2010


  Loading...