Accéder directement au contenu Accéder directement à la navigation


...
hal-02441878v1  Communication dans un congrès
Mihal BrumbulliEmmanuel GaudinCiprian Teodorov. Automatic Verification of BPMN Models
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
hal-01833557v1  Chapitre d'ouvrage
Frédéric PlumetYves BriereFabrice Le Bars. Les voiliers robotisés
Conception, modélisation et commande en robotique, s7815, Techniques de l'ingénieur, pp.1-23, 2018
hal-01936710v1  Communication dans un congrès
D. BaoR. YangM. LiBenoit ClementAli Mansour. Hardware-in-the-Loop Simulation Applied to AUV Control
Chinese Automation Congress, (CAC 2018), Nov 2018, Xi'an, China
hal-00569028v1  Communication dans un congrès
Amine RajiPhilippe DhaussyBruno Aizier. Automating Context Description for Software Formal Verification
Workshop MoDVVa, Model-Driven Engineering, Verification, and Validation, 2010, Oslo, Norway
hal-02303355v1  Article dans une revue
Ulysse VautierChristophe VielLuc JaulinJian WanRobert Hone et al.  Restricted Orientation Dubins Path with Application to Sailboats
IEEE Robotics and Automation Letters, IEEE 2019, 4 (4), pp.4515 - 4522. ⟨10.1109/LRA.2019.2930424⟩
...
hal-02304716v1  Communication dans un congrès
Thibaut NicoLuc JaulinBenoît Zerr. Guaranteed Polynesian Navigation
Summer Workshop on Interval Methods (SWIM) 2019, Jul 2019, Paris, France
hal-01935881v1  Communication dans un congrès
Christophe VielUlysse VautierJian WanLuc Jaulin. Position keeping control of an autonomous sailboat
11th IFAC Conference on Control Applications in Marine Systems, Robotics, and Vehicles CAMS 2018, Sep 2018, Opatija, Croatia. pp.14 - 19, ⟨10.1016/j.ifacol.2018.09.462⟩
hal-02149402v1  Article dans une revue
Christophe VielUlysse VautierJian WanLuc Jaulin. Platooning Control for Sailboats Using a Tack Strategy
International Journal of Control, Automation and Systems, Springer, 2019, 17 (9), pp.2310-2320. ⟨10.1007/s12555-018-0291-7⟩
...
inria-00261891v1  Communication dans un congrès
Pierre-Antoine GédouinCédric JoinEmmanuel DelaleauJean-Matthieu BourgeotShabnam Arbab-Chirani et al.  Model-free control of shape memory alloys antagonistic actuators
17th IFAC World Congress, Jul 2008, Seoul, South Korea. pp.CDROM
...
inria-00424933v2  Communication dans un congrès
Pierre-Antoine GédouinCédric JoinEmmanuel DelaleauJean-Matthieu BourgeotShabnam Arbab-Chirani et al.  A new control strategy for shape memory alloys actuators
8th European Symposium on Martensitic Transformations, Sep 2009, Prague, Czech Republic. pp.CDROM
hal-01061869v1  Article dans une revue
Nacim RamdaniLuc Jaulin. Interval Methods and Applications
Mathematics in Computer Science, Springer, 2014, 8 (3-4), pp.312-572
hal-01936344v1  Communication dans un congrès
Alexandre LefortJordan NininBenoit Clement. Structured H_infty synthesis method with interval analysis : Application to the robust control of an auv
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2018), Oct 2018, Madrid, Spain
...
hal-02565053v1  Chapitre d'ouvrage
Laurène MazeauJordan Ninin. Decision-Making and Artificial Intelligence: From Technical Mechanisms to Legal Concepts
Marie-Eve Arbour; Lara Khoury. Concilier la sécurité des produits et la responsabilité civile à l'ère du risque et de l'incertitude, Éditions Yvon Blais, 2019, 9782897305543
...
hal-01538135v1  Article dans une revue
Jordan NininLaurène Mazeau. La recherche opérationnelle: De quelques enjeux juridiques des mécanismes d'aide à la décision
Lex Electronica, Centre de recherche en droit public, Université de Montréal, 2017, 22, pp.57-79