Nacim Ramdani

SWIM2012, the 5th edition of the Small Workshop on Interval Methods will be held on June 4-6, 2012, at Carl von Ossietzky Universität Oldenburg, Germany.

Web site in alive. Please visit web site for further details.

Planning and fast re-planning safe motions for humanoid robots, by Sébastien Lengagne, Nacim Ramdani & Philippe Fraisse, accepted for publication in the IEEE Transactions on Robotics, Dec. 2011, Volume: 27 Issue:6, On page(s): 1095 - 1106

The paper "Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods", by A.Eggers, N.Ramdani, N.S.Nedialkov, M.Fraenzle, has been accepted at the 9th International Conference on Software Engineering and Formal Methods, SEFM'11, November 14-18, 2011, Montevideo, Uruguay. (Acceptance Ratio 29%).

It is now published in G.Barthe, A.Pardo, G.Schneider (ed.) Software Engineering and Formal Methods, Lecture Notes in Computer Science, 2011, Volume 7041/2011, 172-187. The original publication is available at www.springerlink.com, here doi: 10.1007/978-3-642-24690-6_13. Copies are available upon request.

MAGIC-SPS : Guaranteed Methods and Algorithms for Integrity Control and Preventive Monitoring of Systems is a 3-years joint project gathering LAAS CNRS Univ. Toulouse (C. Jauberthie-Salsmann, PI & project coordinator), ECS Lab ENSEA Cergy (C. Combastel, PI), IMS CNRS Univ. Bordeaux (T. Raïssi, PI), PRISME Univ. Orléans (N. Ramdani, PI), and LMAH Univ. Le Havre (N. Verdière, PI). The project is funded by the French National Research Agency (ANR) Digital Engineering and Security (INS) program.

A structurally optimal control model for predicting and analyzing human postural coordination, by Vincent Bonnet, Sofiane Ramdani, Philippe Fraisse, Nacim Ramdani, Julien Lagarde, & Benoit G. Bardy, accepted for publication in the Journal of Biomechanics Volume 44, Issue 11, 28 July 2011, Pages 2123-2128

Estimation of the centre of mass from motion capture and force plate recordings: a study on the elderly, by S. Cotton, M.Vanoncini, P.Fraisse, N. Ramdani, E.Demircan, A.P.Murray & T.Keller, published by Applied Bionics and Biomechanics, February 2011, Volume 8, Issue 1, Pages 67–84.

Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint propagation techniques, by N.Ramdani & N.S.Nedialkov, published by Nonlinear Analysis: Hybrid Systems, 5(2): 149-162, 2011.

Modeling human postural control deficits (2011-2012) is a joint research project with Pr. Sukyung Park Biomimetics Lab at KAIST. The project is funded by the Korean-French PHC STAR program.

Interval observer design based on nonlinear hybridization and practical stability analysis, by N.Meslem & N.Ramdani, published in the Special Issue: Bounding Methods for State and Parameter Estimation of the International Journal of Adaptive Control and Signal Processing, March 2011, Volume 25, Issue 3, Pages 189–294.