-
1دورية أكاديمية
المؤلفون: Mathilde Maslin, Silvain Louis, Karen Godary Dejean, Lionel Lapierre, Sébastien Villéger, Thomas Claverie
المصدر: Remote Sensing in Ecology and Conservation, Vol 7, Iss 4, Pp 567-578 (2021)
مصطلحات موضوعية: Coral reef ecosystems, fish biometrics, marine robotics, stereovision, transect surveys, Technology, Ecology, QH540-549.5
وصف الملف: electronic resource
Relation: https://doaj.org/toc/2056-3485
-
2
المؤلفون: Karen Godary-Dejean, Didier Crestani, Olivier Naud, Rim Saddem-Yagoubi
المساهمون: Information – Technologies – Analyse Environnementale – Procédés Agricoles (UMR ITAP), Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro), Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), Robotique mobile pour l'exploration de l'environnement (EXPLORE), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)
المصدر: Discrete Event Dynamic Systems
Discrete Event Dynamic Systems, Springer Verlag, 2020, 30, pp.579-604. ⟨10.1007/s10626-020-00313-1⟩مصطلحات موضوعية: Model checking, 030213 general clinical medicine, 0209 industrial biotechnology, Mathematical optimization, Computer science, Controller synthesis, Context (language use), 02 engineering and technology, Plot (graphics), Field (computer science), 03 medical and health sciences, 020901 industrial engineering & automation, 0302 clinical medicine, Reachability, [SDV.SA.STA]Life Sciences [q-bio]/Agricultural sciences/Sciences and technics of agriculture, Constraint programming, sort, Optimisation, [MATH]Mathematics [math], Electrical and Electronic Engineering, Timed automata, 2. Zero hunger, Precision agriculture, Vehicle routing, UPPAAL-CORA, Formal verification, Model-checking, Control and Systems Engineering, Modeling and Simulation
-
3
المساهمون: ONERA / DTIS, Université de Toulouse [Toulouse], ONERA-PRES Université de Toulouse, Robotique mobile pour l'exploration de l'environnement (EXPLORE), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019)
المصدر: IEEE Robotics and Automation Letters
IEEE Robotics and Automation Letters, IEEE 2021, 6 (4), pp.8357-8362. ⟨10.1109/LRA.2021.3103048⟩مصطلحات موضوعية: Control and Optimization, Computer science, Process (engineering), Default logic, Biomedical Engineering, Monotonic function, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Artificial Intelligence, Order (exchange), Complete information, AI-based methods, 14. Life underwater, Architecture, business.industry, Mechanical Engineering, Cognition, cognitive control architectures, marine robotics, Computer Science Applications, formal methods in robotics and automation, Human-Computer Interaction, Control and Systems Engineering, Robot, Computer Vision and Pattern Recognition, Artificial intelligence, business
-
4
المؤلفون: David Andreu, Karen Godary-Dejean, Helene Leroux
المساهمون: Robotique mobile pour l'exploration de l'environnement (EXPLORE), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), NEURINNOV
المصدر: Discrete Event Dynamic Systems
Discrete Event Dynamic Systems, Springer Verlag, 2021, ⟨10.1007/s10626-021-00347-z⟩مصطلحات موضوعية: 0209 industrial biotechnology, Interpretation (logic), Computer science, Distributed computing, Reliability (computer networking), Synchronous Time Petri nets semantics, 0102 computer and information sciences, 02 engineering and technology, Petri net, Formal methods, 01 natural sciences, Blocking (computing), Critical embedded systems, Programmable logic device, Set (abstract data type), [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], 020901 industrial engineering & automation, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], 010201 computation theory & mathematics, Control and Systems Engineering, Modeling and Simulation, Bisimulation, Electrical and Electronic Engineering, Implementation of Petri nets, Scope (computer science)
-
5
المؤلفون: Karen Godary-Dejean, Adrien Hereau, Didier Crestani, Jérémie Guiochet
المساهمون: Robotique mobile pour l'exploration de l'environnement (EXPLORE), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique (LAAS-TSF), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), ANR-16-IDEX-0006,MUSE,MUSE(2016), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées
المصدر: ICRA
ICRA 2021-38th IEEE International Conference on Robotics and Automation
ICRA 2021-38th IEEE International Conference on Robotics and Automation, May 2021, Xi’an, China. pp.2127-2133, ⟨10.1109/ICRA48506.2021.9561735⟩
International Conference on Robotics and Automation (ICRA 2021)
International Conference on Robotics and Automation (ICRA 2021), May 2021, Xi’an (virtual), China. ⟨10.1109/ICRA48506.2021.9561735⟩مصطلحات موضوعية: Fault tree analysis, 0209 industrial biotechnology, Computer science, business.industry, Reliability (computer networking), Real-time computing, Location awareness, Fault tolerance, 02 engineering and technology, computer.software_genre, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Set (abstract data type), [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], 020901 industrial engineering & automation, Software, Architecture, business, computer, Energy (signal processing)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d8b7c500ba8e915556fc1a69301759cb
https://doi.org/10.1109/icra48506.2021.9561735 -
6
المؤلفون: Karen Godary-Dejean, Jérémie Guiochet, Didier Crestani, Thomas Claverie, Clément Robert, Adrien Hereau
المساهمون: Robotique mobile pour l'exploration de l'environnement (EXPLORE), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique (LAAS-TSF), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), MARine Biodiversity Exploitation and Conservation (UMR MARBEC), Institut de Recherche pour le Développement (IRD)-Institut Français de Recherche pour l'Exploitation de la Mer (IFREMER)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), ANR-16-IDEX-0006,MUSE,MUSE(2016), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Institut Français de Recherche pour l'Exploitation de la Mer (IFREMER)-Institut de Recherche pour le Développement (IRD)
المصدر: Towards Autonomous Robotic Systems ISBN: 9783030634858
TAROS
TAROS 2020-21st Annual Conference Towards Autonomous Robotic Systems
TAROS 2020-21st Annual Conference Towards Autonomous Robotic Systems, Sep 2020, Virtual, United Kingdom. pp.116-127, ⟨10.1007/978-3-030-63486-5_14⟩
21st Towards Autonomous Robotic Systems Conference (TAROS)
21st Towards Autonomous Robotic Systems Conference (TAROS), Sep 2020, Virtual, United Kingdomمصطلحات موضوعية: 0209 industrial biotechnology, Ground truth, Property (programming), Computer science, Semi-AUV (Semi-Autonomous Underwater Vehicle), Perspective (graphical), Real-time computing, 020207 software engineering, 02 engineering and technology, Mobile robotics, Oracle, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Test (assessment), Set (abstract data type), [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], 020901 industrial engineering & automation, Oracle properties, Acceptance testing, 0202 electrical engineering, electronic engineering, information engineering, Field testing, Focus (optics)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d0a7489a0064f0a66a2ffdc9c65c885f
https://doi.org/10.1007/978-3-030-63486-5_14 -
7
المؤلفون: Karen Godary Dejean, Rim Saddem Yagoubi, Didier Crestani, Olivier Naud
المساهمون: Robotique mobile pour l'exploration de l'environnement (EXPLORE), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Information – Technologies – Analyse Environnementale – Procédés Agricoles (UMR ITAP), Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA)-Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro), Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro), ANR-14-CE27-0004,AdAP2E,Plate-forme de production environnementale adaptable et autonome(2014), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro)-Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA)
المصدر: 14th IFAC Workshop on Discrete Event Systems (WODES)
14th IFAC Workshop on Discrete Event Systems (WODES), May 2018, Sorrento Coast, Italy. pp.57-63, ⟨10.1016/j.ifacol.2018.06.279⟩مصطلحات موضوعية: Model checking, 0209 industrial biotechnology, Mathematical optimization, Computer science, Context (language use), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Field (computer science), [SPI.AUTO]Engineering Sciences [physics]/Automatic, 020901 industrial engineering & automation, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Reachability, Vehicle routing problem, Constraint programming, sort, Optimisation, Timed automata, 2. Zero hunger, Precision agriculture, [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], Vehicle routing, Formal verification, 010201 computation theory & mathematics, Control and Systems Engineering, UppAal CORA
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9a9c4c8f015e600ec818f27057ba430c
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01935442 -
8
المساهمون: Robotique mobile pour l'exploration de l'environnement (EXPLORE), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Information – Technologies – Analyse Environnementale – Procédés Agricoles (UMR ITAP), Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA)-Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro), Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro), Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro)-Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA), Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189 (CRIStAL), Centre National de la Recherche Scientifique (CNRS)-Université de Lille-Ecole Centrale de Lille
المصدر: Journal of Agricultural Informatics
Journal of Agricultural Informatics, Hungarian Association of Agricultural Informatics, 2017, 8 (3), pp.1-10. ⟨10.17700/jai.2017.8.3.392⟩
Journal of Agricultural Informatics, 2017, 8 (3), pp.1-10. ⟨10.17700/jai.2017.8.3.392⟩مصطلحات موضوعية: 2. Zero hunger, Model checking, Optimization, 0209 industrial biotechnology, Controler Synthesis, Precision agriculture, Computer science, Sprayer, LiDAR data, Control engineering, 04 agricultural and veterinary sciences, 02 engineering and technology, Perennial crop, Automaton, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Formalism (philosophy of mathematics), 020901 industrial engineering & automation, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Cost criterion, 040103 agronomy & agriculture, 0401 agriculture, forestry, and fisheries, Lidar data, Grapevine, Timed automata
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8c0421329a9768631aa37a74caf321eb
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01960598 -
9
المساهمون: Robotique mobile pour l'exploration de l'environnement (EXPLORE), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), MARine Biodiversity Exploitation and Conservation (UMR MARBEC), Institut de Recherche pour le Développement (IRD)-Institut Français de Recherche pour l'Exploitation de la Mer (IFREMER)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Université de Montpellier (UM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Institut Français de Recherche pour l'Exploitation de la Mer (IFREMER)-Institut de Recherche pour le Développement (IRD)
المصدر: TAROS 2017-18th Annual Conference Towards Autonomous Robotic Systems
TAROS 2017-18th Annual Conference Towards Autonomous Robotic Systems, Jul 2017, Guildford, United Kingdom. pp.586-600, ⟨10.1007/978-3-319-64107-2_48⟩
18th Towards Autonomous Robotic Systems Conference
TAROS: Towards Autonomous Robotic Systems
TAROS: Towards Autonomous Robotic Systems, Jul 2017, University of Surrey, Guildford, United Kingdom. pp.586-600, ⟨10.1007/978-3-319-64107-2_48⟩
Towards Autonomous Robotic Systems ISBN: 9783319641065
TAROSمصطلحات موضوعية: 0209 industrial biotechnology, Computer science, Controller (computing), Submarine, 020207 software engineering, Control engineering, Mobile robot, ComputerApplications_COMPUTERSINOTHERSYSTEMS, Mission controller, 02 engineering and technology, Formal methods, Robot control, [SPI.AUTO]Engineering Sciences [physics]/Automatic, Marine biodiversity, 020901 industrial engineering & automation, Formal analysis, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Component (UML), 0202 electrical engineering, electronic engineering, information engineering, Systems engineering, Robot, 14. Life underwater, ComputingMethodologies_GENERAL, [SDE.BE]Environmental Sciences/Biodiversity and Ecology
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6af225dad34a9328f7c38fd25bcb44e5
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01589007 -
10
المؤلفون: Karen Godary Dejean, Didier Crestani, Olivier Naud, Rim Saddem
المساهمون: Robotique mobile pour l'exploration de l'environnement (EXPLORE), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA), Information – Technologies – Analyse Environnementale – Procédés Agricoles (UMR ITAP), Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro)-Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA)-Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro), Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)
المصدر: 20th IFAC World Congress
20th IFAC World Congress, Jul 2017, Toulouse, France. pp.11156-11162, ⟨10.1016/j.ifacol.2017.08.1236⟩
IFAC-Papers
IFAC-PapersOnLine, Elsevier, 2017, 50 (1), pp.11156-11162مصطلحات موضوعية: Model checking, Theoretical computer science, decomposition methods, Computer science, automata, Distributed computing, 02 engineering and technology, spatial process, [SPI.AUTO]Engineering Sciences [physics]/Automatic, models, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Reachability, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Decomposition (computer science), Formal verification, robotics, precision agriculture, REACHABILITY PROPERTY, business.industry, 020207 software engineering, Mobile robot, Robotics, Grid, spatial grid, Test case, Control and Systems Engineering, [SDE]Environmental Sciences, Robot, Artificial intelligence, UNIQUE ACTION, business