RISC-V Based Hardware Acceleration of Interval Contractor Primitives in the Context of Mobile Robotics

Συγγραφείς: Pierre Filiol, Bollengier, Theotime, Jaulin, Luc, Le Lann, Jean-Christophe

Πηγή: Acta Cybernetica; Vol. 26 No. 4 (2024): Vol 26 No 4 (2024): Special Issue of SWIM 2022 and 2023; 889-912 ; 2676-993X ; 0324-721X

Θεματικοί όροι: intervals, contractor programming, RISC-V, IEEE-1788, mobile robotics, FPGA

Περιγραφή αρχείου: application/pdf

Relation: https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4444/4104

Διαθεσιμότητα: https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4444
https://doi.org/10.14232/actacyb.306636

Computation of Robust Capture Zones Using Interval-Based Viability Techniques in Presence of State Uncertainties

Συγγραφείς: Le Ménec, Stéphane^Aff4, Turetsky, Vladimir^Aff5

Συνεισφορές: Başar, Tamer, Series Editor^Aff1, Ramsey, David M., editor^Aff2, Renault, Jérôme, editor^Aff3

Πηγή: Advances in Dynamic Games : Games of Conflict, Evolutionary Games, Economic Games, and Games Involving Common Interest. 17:77-102

Robust TDOA passive location using interval analysis and contractor programming

Συγγραφείς: Reynet, O., Jaulin, L., Chabert, G.

Πηγή: 2009 International Radar Conference "Surveillance for a Safer World" (RADAR 2009) Radar Conference - Surveillance for a Safer World, 2009. RADAR. International. :1-6 Oct, 2009

Relation: 2009 International Radar Conference Radar "Surveillance for a Safer World" (RADAR 2009)

Interval Computing of the Viability Kernel with Application to Robotic Collision Avoidance

Συγγραφείς: Le Ménec, Stéphane^Aff4

Συνεισφορές: Başar, Tamer, Series Editor^Aff1, Apaloo, Joseph, editor^Aff2, Viscolani, Bruno, editor^Aff3

Πηγή: Advances in Dynamic and Mean Field Games : Theory, Applications, and Numerical Methods. 15:279-299

Contraction, propagation and bisection on a validated simulation of ODE

Συγγραφείς: Alexandre Dit Sandretto, Julien, Chapoutot, Alexandre

Συνεισφορές: Sûreté et Fiabilité des Logiciels (SFL), Unité d'Informatique et d'Ingénierie des Systèmes (U2IS), École Nationale Supérieure de Techniques Avancées (ENSTA Paris), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-École Nationale Supérieure de Techniques Avancées (ENSTA Paris), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris), This research benefited from the support of the "Chair Complex Systems Engineering - Ecole Polytechnique, THALES, DGA, FX, DASSAULT AVIATION, DCNS Research, ENSTA ParisTech, T ́el ́ecom ParisTech, Fondation ParisTech and FDO ENSTA"

Πηγή: Summer Workshop on Interval Methods ; https://hal.science/hal-01325068 ; Summer Workshop on Interval Methods, Jun 2016, Lyon, France

Θεματικοί όροι: guaranteed numerical integration, ordinary differential equations, contractor programming, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Θέμα γεωγραφικό: Lyon, France

Διαθεσιμότητα: https://hal.science/hal-01325068
https://hal.science/hal-01325068v1/document
https://hal.science/hal-01325068v1/file/ctc.pdf

Optimisation globale basée sur les contracteurs : Application au contrôle aérien

Συγγραφείς: Ninin, Jordan

Συνεισφορές: Lab-STICC_ENSTAB_CID_IHSEV, OSM, Département STIC Brest (STIC), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), société Française de Recherche Opérationnelle et Aide à la Décision

Πηγή: ROADEF 2015 ; https://hal.science/hal-01137744 ; ROADEF 2015, société Française de Recherche Opérationnelle et Aide à la Décision, Feb 2015, Marseille, France

Θεματικοί όροι: contrôle aérien, arithmétique d’intervalles, contractor programming, optimisation globale, [SPI]Engineering Sciences [physics], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [SPI.AUTO]Engineering Sciences [physics]/Automatic

Θέμα γεωγραφικό: Marseille, France

Διαθεσιμότητα: https://hal.science/hal-01137744
https://hal.science/hal-01137744v1/document
https://hal.science/hal-01137744v1/file/2015_ROADEF.pdf

Global Optimization based on Contractor Programming

Συγγραφείς: Ninin, Jordan, Chabert, Gilles

Συνεισφορές: Lab-STICC_ENSTAB_CID_IHSEV, OSM, Département STIC Brest (STIC), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), Theory, Algorithms and Systems for Constraints (TASC), Laboratoire d'Informatique de Nantes Atlantique (LINA), Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Centre Inria de l'Université de Rennes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

Πηγή: Proceedings of MAGO 2014 ; XII GLOBAL OPTIMIZATION WORKSHOP ; https://hal.science/hal-01194742 ; XII GLOBAL OPTIMIZATION WORKSHOP, Sep 2014, Malaga, Spain. pp.77-80 ; http://www.hpca.ual.es/~MAGO14/

Θεματικοί όροι: Contractor Programming, Interval Arithmetic, Global Optimization, [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]

Θέμα γεωγραφικό: Malaga, Spain

Διαθεσιμότητα: https://hal.science/hal-01194742
https://hal.science/hal-01194742v1/document
https://hal.science/hal-01194742v1/file/NININ_CHABERT.pdf

Contractors and Linear Matrix Inequalities

Συγγραφείς: Nicola, Jeremy, Jaulin, Luc

Συνεισφορές: Lab-STICC_ENSTAB_CID_IHSEV, OSM, Département STIC Brest (STIC), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), Lab-STICC_ENSTAB_CID_PRASYS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)

Πηγή: ASCE-ASME Journal of Risk and Uncertainty in Engineering Systems Part B: Mechanical Engineering. 1

Θεματικοί όροι: contractor programming, 0209 industrial biotechnology, convex optimization, 13. Climate action, constraint propagation, 0211 other engineering and technologies, 02 engineering and technology, interval analysis, 16. Peace & justice, linear matrix inequality, robotics Read More: http://ascelibrary.org/doi/abs/10.1115/1.4030781, [SPI.AUTO]Engineering Sciences [physics]/Automatic

Σύνδεσμος πρόσβασης: https://www.ensta-bretagne.fr/jaulin/paper_nicola_lmi.pdf
https://asmedigitalcollection.asme.org/risk/article/1/3/031004/475922/Contractors-and-Linear-Matrix-Inequalities
https://www.ensta-bretagne.fr/jaulin/paper_nicola_lmi.pdf
http://proceedings.asmedigitalcollection.asme.org/article.aspx?articleid=2322854
https://fluidsengineering.asmedigitalcollection.asme.org/article.aspx?articleid=2322854
https://hal.archives-ouvertes.fr/hal-01277583
https://proceedings.asmedigitalcollection.asme.org/article.aspx?articleid=2322854

Overview of the IBEX library

Συγγραφείς: Ninin, Jordan, Chabert, Gilles

Συνεισφορές: Equipe Models and AlgoriThms for pRocessIng and eXtracting information (Lab-STICC_MATRIX), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT), Lab-STICC_ENSTAB_CID_PRASYS, École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Département Automatique, Productique et Informatique (IMT Atlantique - DAPI), IMT Atlantique (IMT Atlantique), Optimisation Globale et Résolution Ensembliste (LS2N - équipe OGRE), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST)

Πηγή: Journée SMAI-MODE ; https://hal.science/hal-04600450 ; Journée SMAI-MODE, Mar 2016, toulouse, France ; https://mode2016.sciencesconf.org/

Θεματικοί όροι: Contractor Programming, Interval Analysis, Global Optimization, [INFO]Computer Science [cs]

Θέμα γεωγραφικό: toulouse, France

Διαθεσιμότητα: https://hal.science/hal-04600450

Global Optimization based on Contractor Programming ; Global Optimization based on Contractor Programming: Application to $H_\infty$ synthesis

Συγγραφείς: Ninin, Jordan, Monnet, Dominique, Clement, Benoit

Συνεισφορές: Département STIC Brest (STIC), École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne), Lab-STICC_ENSTAB_CID_IHSEV, OSM, École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)

Πηγή: 8th Small Workshop on Interval Methods
https://hal.science/hal-01194756
8th Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic
http://kam.mff.cuni.cz/conferences/swim2015/

Θεματικοί όροι: Contractor Programming, Global Optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.2: Global optimization, ACM: B.: Hardware/B.6: LOGIC DESIGN/B.6.3: Design Aids/B.6.3.0: Automatic synthesis, [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]

Θέμα γεωγραφικό: Prague, Czech Republic

Διαθεσιμότητα: https://hal.science/hal-01194756

Contraintes Team

Συγγραφείς: Reynet O, Jaulin L, Chabert G

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.ensta-bretagne.fr/jaulin/paper_reynet_radar09.pdf.

Θεματικοί όροι: Passive Location, TDOA, Quimper, Interval Analysis, Constraint Propagation, Contractor Programming, Bounded Error

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.323.6875

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.323.6875
http://www.ensta-bretagne.fr/jaulin/paper_reynet_radar09.pdf

Contraintes Team

Συγγραφείς: Reynet O, Jaulin L, Chabert G

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://hal-ensta-bretagne.archives-ouvertes.fr/docs/00/91/12/54/PDF/Reynet-Radar2009.pdf.

Θεματικοί όροι: Passive Location, TDOA, Quimper, Interval Analysis, Constraint Propagation, Contractor Programming, Bounded Error

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.636.452

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.636.452
http://hal-ensta-bretagne.archives-ouvertes.fr/docs/00/91/12/54/PDF/Reynet-Radar2009.pdf