Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

251 Résultats
Structure : Identifiant HAL de la structure : 171465

Target recognition from ISAR image using polar mapping and shape matrix

Jean-Christophe Cexus , Abdelmalek Toumi , Maroua Riahi
2020 5th International Conference on Advanced Technologies for Signal and Image Processing (ATSIP), Sep 2020, Sousse, Tunisia. pp.1-6, ⟨10.1109/ATSIP49331.2020.9231528⟩
Communication dans un congrès hal-03267673v1

Formal Extension of Use Cases for Context-Aware Verification

Amine Raji , Philippe Dhaussy , Benoît Baudry
MoDeVVA 2011 - Model-Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE, Oct 2011, Wellington, New Zealand
Communication dans un congrès hal-00635555v1

Formation building and collision avoidance for a fleet of NAOs based on optical sensor with local positions and minimum communication

Xiaomin Wang , Lorenzo Benozzi , Benoit Zerr , Zexiao Xie , Helene Thomas et al.
Science in China Series F: Information Sciences, 2019, 62 (5), ⟨10.1007/s11432-018-9681-3⟩
Article dans une revue hal-02183747v1

Reducing State Explosion with Context Modeling for Model-Checking

Philippe Dhaussy , Frédéric Boniol , Jean-Charles Roger
HASE'11, Nov 2011, Boca Ranton, United States
Communication dans un congrès hal-00636878v1
Image document


Anthony Fiche , Jean-Christophe Cexus , Ali Khenchaf , Majid Rochdi , Arnaud Martin et al.
IGARSS 2012, Jul 2012, Munich, Germany
Communication dans un congrès hal-00729682v1

Analyse à partir du modèle

Frédéric Boniol , Philippe Dhaussy , Luka Le Roux , Jean-Charles Roger
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.180-206, 2013, SEE, 978-2-7462-3900-5
Chapitre d'ouvrage hal-00862488v1

Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems

Xavier Dumas , Frédéric Boniol , Philippe Dhaussy , Eric Bonnafous
IEEE SIES'10 - Symposium on industrial Embedded Systems, Jul 2010, Trento, Italy
Communication dans un congrès hal-00635897v1

a New Reliable Boresight Calibration Method for Mobile Laser Scanning Applications

Romain Le Scouarnec , Thomas Touzé , Jean-Baptiste. Lacambre , Nicolas Seube
International Archives of Photogrammetry, Remote Sensing and Spatial Information Sciences, 2014, pp.67-72. ⟨10.5194/isprsarchives-XL-3-W1-67-2014⟩
Article dans une revue hal-01090046v1

Asymmetric power distribution model of wavelet subbands for texture classification

Nour-Eddine Lasmar , Alexandre Baussard , Gilles Le Chenadec
Pattern Recognition Letters, 2015, 52, pp.1-5. ⟨10.1016/j.patrec.2014.08.004⟩
Article dans une revue hal-01090055v1

Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation

Philippe Dhaussy , Frédéric Boniol , Pierre-Yves Pillain , Xavier Dumas
Topcased days, Feb 2011, Toulouse, France
Communication dans un congrès hal-00635653v1

Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués

Philippe Dhaussy , Frédéric Boniol , Jean-Charles Roger , Amine Raji , Yves Le Traon et al.
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩
Article dans une revue hal-00744434v1
Image document

Automated Measurement of Models of Requirements

Martin Monperrus , Benoit Baudry , Joël Champeau , Brigitte Hoeltzener , Jean-Marc Jézéquel et al.
Software Quality Journal, 2013, 21 (1), pp.3-22. ⟨10.1007/s11219-011-9163-6⟩
Article dans une revue hal-00646876v1

A Survey of Frameworks & Open Environments Applied To Cognitive Radio Design

Frédéric Le Roy , Mohamad-Raafat Lababidi , Ali Mansour
IJETAE, 2014, 4 (3)
Article dans une revue hal-00989940v1

Underwater Vehicle Modeling and Control Application to Ciscrea Robot

Rui Yang , Irvin Probst , Ali Mansour , Li Ming , Benoit Clement et al.
MOQESM'14, ENSTA Bretagne, Oct 2014, Brest, France
Communication dans un congrès hal-01119676v1
Image document

Coping with poachers in European stalked barnacle fisheries

Katja Geiger , Antonella Rivera , Alba Aguión , Jorge Álvarez , Julio Arrontes et al.
Marine Policy, 2022, 135, pp.104826. ⟨10.1016/j.marpol.2021.104826⟩
Article dans une revue hal-03439256v1
Image document

Sea glider guidance around a circle using distance measurements to a drifting acoustic source

Benoit Clement , Jan Sliwka , Irvin Probst
IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2012, Portugal. pp.94-99, ⟨10.1109/IROS.2012.6385659⟩
Communication dans un congrès hal-00840509v1

Towing with sailboat robots

Luc Jaulin , Fabrice Le Bars
WRSC/IRSC 2014, NUI Galway, Sep 2014, Galway, Ireland
Communication dans un congrès hal-01122035v1

Automatique pour la robotique

Luc Jaulin
ISTE éditions. 2014, Automatique pour la Robotique, Jean-Paul Bourrières, 978-1-78405-064-1
Ouvrages hal-01137925v1

Probabilistic set-membership state estimator

Luc Jaulin
Mathematical Engineering, Springer-Verlag, Vol 3 p. 117-128, 2011, ⟨10.1007/978-3-642-15956-5⟩
Chapitre d'ouvrage hal-00676041v1

$H_\infty$ control synthesis under structural constraints based on Global Optimization

Benoit Clement , Dominique Monnet , Jordan Ninin
13thEUROPT Workshop on Advances in Continuous Optimization, Jul 2015, Edinburgh, United Kingdom
Communication dans un congrès hal-01194766v1

Multi-objective constraint satisfaction and sequential control for solving the sensors management of the intelligence process

Duc-Manh Nguyen , Frédéric Dambreville , Ali Khenchaf , Abdelmalek Toumi , Jean-Christophe Cexus et al.
25th EURO Conference, Jul 2012, Vilnius, Lithuania
Communication dans un congrès hal-00803445v1

Modelling larval dispersal of the king scallop (Pecten maximus) in the English Channel: examples from the bay of Saint-Brieuc and the bay of Seine

Amandine Nicolle , Franck Dumas , Aurélie Foveau , Eric Foucher , Éric Thiébaut et al.
Ocean Dynamics, 2013, 63 (6), pp.661-678. ⟨10.1007/s10236-013-0617-1⟩
Article dans une revue hal-00829918v1
Image document

Seabed geoacoustic characterization and classification by multisonar fusion

Ridha Fezzani , Benoit Zerr , Michel Legris , Yann Stephan
ECUA 2012, Jul 2012, Edimburgh, United Kingdom
Communication dans un congrès hal-00729000v1

Near sea surface target tracking by extended Kalman filtering of the GPS reflected signals

Sarab Tay , Frederic Maussang , Arnaud Coatanhay , Thierry Chonavel , René Garello et al.
IEEE Oceans 2011, Jun 2011, Santander, Espagne. pp.978-1-61284-4577-0088-0/11
Communication dans un congrès hal-00626514v1

Hybrid Coordination Strategy of a Group of Cooperating Autonomous Underwater Vehicles

Seifallah Ben Saad , Benoit Zerr , Irvin Probst , Frédéric Dambreville
IFAC Workshop on Multivehicle Systems MVS 2015, IFAC - International Federation of Automatic Control, May 2015, Genova, Italy. pp.47-52
Communication dans un congrès hal-01203491v1

VAIMOS : Realization of an autonomous robotic sailboat

Olivier Menage , Aymeric Bethencourt , Patrick Rousseaux , Sèbastien Prigent.
IRSC 2013 - International Robotic Sailing Conference, Sep 2013, Brest, France. pp.25-36, ⟨10.1007/978-3-319-02276-5⟩
Communication dans un congrès hal-00914017v1

Outer Approximation of Attractors Using an Interval Quantization∗

Luc Jaulin
Reliable Computing, 2014, 19, pp.261-273
Article dans une revue hal-00989626v1

Multibeam echosounder data cleaning through a hierarchic adaptive and robust local surfacing

Nathalie Debese , Roderic Moitié , Nicolas Seube
Computers & Geosciences, 2012, 46, pp.330-339. ⟨10.1016/j.cageo.2012.01.012⟩
Article dans une revue hal-00672672v1
Image document

An Arduino compatible CAN Bus architecture for sailing applications

Bruget Kevin , Benoit Clement , Olivier Reynet , Bernt Weber
International Robotic Sailing Conference, Sep 2013, France. pp.37, ⟨10.1007/978-3-319-02276-5⟩
Communication dans un congrès hal-00840647v1

An experimental validation of a robust controller with the VAIMOS autonomous sailboat

Fabrice Le Bars , Luc Jaulin
WRSC/IRSC 2012, Sep 2012, United Kingdom
Communication dans un congrès hal-00746061v1