Filtrer vos résultats
- 42
- 14
- 23
- 19
- 10
- 2
- 2
- 12
- 52
- 4
- 2
- 1
- 8
- 8
- 7
- 8
- 11
- 2
- 2
- 5
- 1
- 1
- 49
- 7
- 56
- 14
- 9
- 5
- 5
- 4
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 24
- 10
- 8
- 7
- 7
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
56 résultats
|
|
triés par
|
|
New Results on Painlevé ParadoxesRR-3366, INRIA. 1998
Rapport
inria-00073323v1
|
||
|
Formal verification of programs specified with signal: application to a power transformer station controllerScience of Computer Programming, 2001, 41 (1), pp.85-104. ⟨10.1016/S0167-6423(00)00020-4⟩
Article dans une revue
inria-00526287v1
|
||
BIP: a joint project for the development of an anthropomorphic biped robotAdvanced Robotics, 1997. ICAR '97. Proceedings., 8th International Conference on, 1997, Sydney, Australia. pp.267-272
Communication dans un congrès
hal-00929776v1
|
|||
The ORCCAD ArchitectureThe International Journal of Robotics Research, 1998, 17 (4), pp.338-359
Article dans une revue
hal-00930119v1
|
|||
|
Asservissement visuel à partir de droites et auto-étalonnage pince-caméraInterface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1999. Français. ⟨NNT : ⟩
Thèse
tel-00004320v1
|
||
|
Computer Animation of Human Walking: a SurveyJournal of Visualization and Computer Animation, 1999, 10, pp.39--54
Article dans une revue
inria-00527534v1
|
||
|
On the Validation of Robotics Control Systems Part I: High Level Specification and Formal Verification[Research Report] RR-2719, INRIA. 1995
Rapport
inria-00073974v1
|
||
|
Design of a Hybrid Controller for Autonomous Vehicles Driving on Automated HighwaysRR-4286, INRIA. 2001
Rapport
inria-00072301v1
|
||
|
Asservissement visuel d'un bras robotique en l'absence d'informations géométriquesActes des Journées ORASIS GDR-PRC Communication Homme-Machine, May 1996, Clermont-Ferrand, France
Communication dans un congrès
inria-00590061v1
|
||
|
A synchronous model of the PLC programming language ST11th Euromicro Conference on Real-Time Systems, ECRTS 1999, Jun 1999, York, United Kingdom. pp.21-24
Communication dans un congrès
hal-00546127v1
|
||
|
Task-level programming for control systems using discrete control synthesis[Research Report] RR-4389, INRIA. 2002
Rapport
inria-00072199v1
|
||
|
Implicit Representations of the Human Intestines for Surgery SimulationModelling and Simulation for Computer-aided Medicine and Surgery, MS4CMS, Nov 2002, Rocquencourt, France
Communication dans un congrès
inria-00517243v1
|
||
|
Visually Guided Object GraspingIEEE Transactions on Robotics and Automation, 1998, 14 (4), pp.525--532. ⟨10.1109/70.704214⟩
Article dans une revue
inria-00590088v1
|
||
|
Visual Servoing from LinesThe International Journal of Robotics Research, 2002, 21 (8), pp.679--700
Article dans une revue
hal-00520167v1
|
||
|
Design of real-time periodic control systems through synchronisation and fixed priorities[Research Report] RR-4677, INRIA. 2002
Rapport
inria-00071908v1
|
||
|
Automatic Distribution of Reactive Systems for Asynchronous Networks of ProcessorsRR-3491, INRIA. 1998
Rapport
inria-00073196v1
|
||
|
Large Integrating formal verification methods of quantitative real-time properties into a development environment for robot controllersRR-2540, INRIA. 1995
Rapport
inria-00074138v1
|
||
|
Modelling Statecharts and Activitycharts as Signal equationsACM Transactions on Software Engineering and Methodology, 2001, 10 (4), pp.397-451
Article dans une revue
hal-00546080v1
|
||
|
Bifurcations and Periodic Motion Induced by the Painlevé Paradox[Research Report] RR-4322, INRIA. 2001
Rapport
inria-00072265v1
|
||
|
Étude expérimentale des premières démarches du robot BIP2000[Rapport de recherche] RR-4017, INRIA. 2000
Rapport
inria-00072624v1
|
||
|
Managing multi-mode tasks with time cost and quality levels using optimal discrete control synthesis14th Euromicro Conference on Real-Time Systems (ECRTS'02), Jun 2002, Vienna, Austria. pp.241-248, ⟨10.1109/EMRTS.2002.1019204⟩
Communication dans un congrès
inria-00525533v1
|
||
|
Constrained dynamics and parametrized control in biped walkingInternational Symposium on Mathematical Theory of Networks and Systems, 2000, Perpignan, France
Communication dans un congrès
inria-00390867v1
|
||
Dynamic transition simulation of a walking anthropomorphic robotIEEE International Conference on Robotics & Automation, 1998, Leuven, Belgium
Communication dans un congrès
inria-00390868v1
|
|||
|
On the stability of walking systemsProceedings of the International Workshop on Humanoid and Human Friendly Robotics, 2002, Tsukuba, Japan
Communication dans un congrès
inria-00390866v1
|
||
|
Visual Servoing from Lines[Research Report] RR-4226, INRIA. 2001
Rapport
inria-00072393v1
|
||
|
Computer Animation of Human Walking: a Survey[Research Report] RR-3441, INRIA. 1998
Rapport
inria-00073249v1
|
||
|
Fault-Tolerant Static Scheduling for Real-Time Distributed Embedded Systems[Research Report] RR-4006, INRIA. 2000
Rapport
inria-00072638v1
|
||
|
Modélisation et commande d'un robot marcheur anthropomorpheAutomatique / Robotique. École Nationale Supérieure des Mines de Paris, 2000. Français. ⟨NNT : 2000ENMP0982⟩
Thèse
tel-00390898v1
|
||
ORCCAD: Software Engineering for Real-time Robotics. A Technical InsightRobotica, 1997, 15 (1), pp.111--115
Article dans une revue
hal-00930118v1
|
|||
Can an underactuated leg with a passive spring at the knee achieve a ballistic step ?Corke, Peter I. and Trevelyan, James. Experimental Robotics VI, 250, Springer London, pp.243-252, 2000, Lecture Notes in Control and Information Sciences, 978-1-85233-210-5
Chapitre d'ouvrage
hal-00929774v1
|
- 1
- 2