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.
Last Updated on Thursday, 12 January 2012 07:36
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
Last Updated on Tuesday, 13 December 2011 08:19
Read more...
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.
Last Updated on Thursday, 03 November 2011 07:42
Read more...
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.
Last Updated on Wednesday, 27 July 2011 20:16
Read more...
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
Last Updated on Tuesday, 19 July 2011 10:22
Read more...
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.
Last Updated on Saturday, 02 July 2011 11:32
Read more...
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.
Last Updated on Tuesday, 27 September 2011 06:23
Read more...
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.
Last Updated on Friday, 09 September 2011 07:24
Read more...
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.
Last Updated on Saturday, 02 July 2011 11:33
Read more...
|
|