-
1مؤتمر
المصدر: 2009 International Conference on Computers & Industrial Engineering Computers & Industrial Engineering, 2009. CIE 2009. International Conference on. :1775-1780 Jul, 2009
Relation: 2009 International Conference on Computers & Industrial Engineering (CIE39)
-
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
المؤلفون: 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 -
4
المؤلفون: Didier Crestani, Sébastien Druon, Lotfi Jaiem, Lionel Lapierre
المصدر: Journal of Intelligent & Robotic Systems. 102
مصطلحات موضوعية: 0209 industrial biotechnology, business.industry, Computer science, Mechanical Engineering, Control (management), Control engineering, Mobile robot, 02 engineering and technology, Energy consumption, Motion control, Industrial and Manufacturing Engineering, 020901 industrial engineering & automation, Software, Artificial Intelligence, Control and Systems Engineering, Key (cryptography), Robot, Electrical and Electronic Engineering, business, Energy (signal processing)
-
5
المؤلفون: 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 -
6
المؤلفون: 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 -
7
المساهمون: 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 -
8
المؤلفون: 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
-
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), 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 de recherche en sciences et technologies pour l'environnement et l'agriculture (IRSTEA)-Institut national d’études supérieures agronomiques de Montpellier (Montpellier SupAgro), 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), 1/2 bourse de doctorat IRSTEA + 1/2 projet ANR ADAP2E, ANR-14-CE27-0004,AdAP2E,Plate-forme de production environnementale adaptable et autonome(2014), 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, Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), 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)
المصدر: 2017 EFITA WCCA CONGRESS
2017 EFITA WCCA CONGRESS, Jul 2017, Montpellier, France
HALمصطلحات موضوعية: [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [SPI.AUTO]Engineering Sciences [physics]/Automatic
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5a74252fb688b8a12bd4f6ea8cd709d2
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01591476 -
10
المؤلفون: Lionel Lapierre, Lotfi Jaiem, Didier Crestani, Karen Godary-Dejean
المساهمون: 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)
المصدر: SysTol: Control and Fault-Tolerant Systems
SysTol: Control and Fault-Tolerant Systems, Sep 2016, Barcelona, Spain
HALمصطلحات موضوعية: 0209 industrial biotechnology, Engineering, business.industry, Real-time computing, Robotics, Mobile robot, Fault tolerance, 02 engineering and technology, Viewpoints, [SPI.AUTO]Engineering Sciences [physics]/Automatic, 020901 industrial engineering & automation, Software, Software fault tolerance, 0202 electrical engineering, electronic engineering, information engineering, Robot, 020201 artificial intelligence & image processing, Resource management, Artificial intelligence, business
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::15b4553baf069d80e24e35a239ad5b3a
https://doi.org/10.1109/systol.2016.7739727
Full Text Finder 
Find this article in full text from Springer Verlag.