Analyse et contrôle des systèmes dynamiques polynomiaux
Mohamed Amin Ben Sassi
Thèse
tel-00954419v2
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Computation of polytopic invariants for polynomial dynamical systems using linear programming
Mohamed Amin Ben Sassi
,
Antoine Girard
Article dans une revue
hal-00765673v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Controller synthesis for robust invariance of polynomial dynamical systems using linear programming
Mohamed Amin Ben Sassi
,
Antoine Girard
Article dans une revue
hal-00765679v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Control of polynomial dynamical systems on rectangles
Mohamed Amin Ben Sassi
,
Antoine Girard
Communication dans un congrès
hal-00839615v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Iterative computation of polyhedral invariants sets for polynomial dynamical systems
Mohamed Amin Ben Sassi
,
Antoine Girard
,
Sriram Sankaranarayanan
CDC 2014 - IEEE Conference on Decision and Control , Dec 2014, Los Angeles, United States. pp.6348-6353,
⟨10.1109/CDC.2014.7040384⟩
Communication dans un congrès
hal-01133216v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More
Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations
Mohamed Amin Ben Sassi
,
Romain Testylier
,
Thao Dang
,
Antoine Girard
ATVA 2012 - 10th International Symposium on Automated Technology for Verification and Analysis , Oct 2012, Thiruvananthapuram, India. pp.137-151,
⟨10.1007/978-3-642-33386-6_12⟩
Communication dans un congrès
hal-00769672v1
Actions
Partager
Gmail
Facebook
X
LinkedIn
More