96documents trouvés
Software product assurance requirements for autonomous space systems
J.P.BLANQUART, S.FLEURY, M.GHALLAB, F.INGRAND, B.MEIJER
ASTRIUM, RIA, 2I
Rapport de Contrat : Contrat ESTEC N°14898/01/NL/JA, Avril 2002, 122p. , N° 02246
Diffusable
52376Software product assurance methodology for the development of autonomous space systems
J.P.BLANQUART, F.INGRAND, B.MEIJER, D.POWELL
ASTRIUM, RIA, TSF
Rapport de Contrat : Contrat ESTEC N°14898/01/NL/JA, Avril 2002, 57p. , N° 02247
Diffusion restreinte
52382Online execution control checking for autonomous systems
F.INGRAND, F.PY
RIA
Manifestation avec acte : 7th International Conference on Intelligent Autonomous Systems (IAS-7), Marina del Rey (USA), 23-25 Mars 2002, pp.273-280 , N° 01589
Diffusable
51736Architecture and tools for autonomy in space
M.GHALLAB, F.INGRAND, S.LEMAI, F.PY
RIA
Manifestations avec acte à diffusion limitée : 6th International Symposium on Artificial Intelligence, Robotics and Automation in Space (I-SAIRAS'2001), St Hubert (Canada), 18-22 Juin 2001, 8p. , N° 01202
Diffusable
45933Autonomy requirements & technologies for future constellations of satellites. Requirement analysis & review of potential architectures
S.FLEURY, F.INGRAND, S.LEMAI
RIA
Rapport de Contrat : Contrat ASTRIUM N°39878, Juin 2001, 83p. , N° 01303
Diffusion restreinte
46471Extending procedural reasoning toward robot actions planning
F.INGRAND, O.DESPOUYS
RIA
Manifestation avec acte : 2001 IEEE International Conference on Robotics and Automation (ICRA'2001), Seoul (Korée), 21-26 Mai 2001, pp.9-14 , N° 01034
Diffusable
45311An architecture for dependable autonomous robots
F.INGRAND, R.CHATILA, R.ALAMI
RIA
Manifestations avec acte à diffusion limitée : 1st IARP/IEEE-RAS Joint Workshop on Technical Challenge for Dependable Robots in Human Environments, Seoul (Korée), 21-22 Mai 2001 , N° 01195
Diffusable
45294Diligent: towards a human-friendly navigation system
R.ALAMI, I.BELOUSOV, S.FLEURY, M.HERRB, F.INGRAND, J.MINGUEZ, B.MORISSET
RIA, Keldysh, 2I, Zaragoza
Manifestation avec acte : 2000 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'2000), Takamatsu (Japon), 31 Octobre - 5 Novembre 2000, Vol.1, pp.21-26 , N° 00620
Diffusable
47663Around the Lab in 40 days...
R.ALAMI, R.CHATILA, S.FLEURY, M.HERRB, F.INGRAND, M.KHATIB, B.MORISSET, P.MOUTARLIER, T.SIMEON
RIA, 2I, Light Corporation, Nomadic
Manifestation avec acte : 2000 IEEE International Conference on Robotics and Automation (ICRA'2000), San Francisco (USA), 24-28 Avril 2000, pp.88-94 , N° 00216
Diffusable
39161Une architecture intégrée pour la planification et le contrôle d'exécution
O.DESPOUYS, F.INGRAND
RIA
Manifestations avec acte à diffusion limitée : 12ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle (RFIA'2000), Paris (France), 1-3 Février 2000, pp.I.69-I.78 , N° 99267
Diffusable
37993