General

Profile

Félix Ingrand

  • Login: felix
  • Organization: LAAS
  • Registered on: 2014-03-06
  • Last sign in: 2025-02-10

Issues

open closed Total
Assigned issues 1 0 1
Reported issues 1 0 1

Projects

Project Roles Registered on
dynamixel Developer 2022-09-06
dxsim-gazebo Developer 2022-09-06
libdynamixel Developer 2022-09-06
matlab Developer 2023-07-18
kalman_filter Developer 2019-03-07
François Felix Ingrand Project administrator 2014-03-06
ACUMOS Planners Project administrator 2021-02-17
bt2fiacre Project administrator 2024-03-18
CT_drone Project administrator 2022-06-16
CT_robot Project administrator 2022-08-09
demo-genom3 Project administrator 2020-02-26
Drone V&V Project administrator 2020-07-11
Felix GenoM3 Utils Project administrator 2020-06-18
Felix IDL Project administrator 2020-06-18
GenoM3 Pocolibs Template (Felix version with codel_rusage) Project administrator 2018-02-26
GenoM3 ROS Template (Felix version with codel_rusage) Project administrator 2018-02-26
GenoM3 Validation and Verification Project administrator 2015-04-28
Case studies UPPAAL Project administrator 2018-01-19
ISAE-CNAM-BE Project administrator 2019-11-08
joystick-maneuver Project administrator 2023-08-23
joystick-maneuver-genom3 Project administrator 2023-08-22
Mikrokopter script Project administrator 2017-02-07
Mikrokopter Visualisation Project administrator 2017-05-30
Minnie Project administrator 2019-05-27
OSMOSIS Project administrator 2017-04-20
GPSDriver-genom3 Project administrator 2017-05-11
IMUDriver-genom3 Project administrator 2017-04-27
LaserDriver-genom3 Project administrator 2017-04-20
Navigation-genom3 Project administrator 2017-05-11
OpenPRS supervisor Project administrator 2018-02-19
osmosis-idl Project administrator 2018-03-12
Osmosis VV Project administrator 2020-06-09
PotentialField-genom3 Project administrator 2017-04-26
RobotDriver-genom3 Project administrator 2017-05-11
RWLSensor-genom3 Project administrator 2018-02-21
SafetyPilot-genom3 Project administrator 2017-04-26
Scripts Project administrator 2017-05-02
ProSkill Project administrator 2023-05-30
RobNav Project administrator 2015-10-01
ROS ACUMOS bridge Project administrator 2021-01-27
ROSPlan ACUMOS bridge Project administrator 2021-02-05
V & V Project administrator 2018-11-05
GenoM3 BIP Template Project administrator 2018-11-06
GenoM3 FIACRE Template Project administrator 2018-11-06
GenoM3 UPPAAL Template Project administrator 2018-11-05
SoftMotion Developer, Reporter 2019-03-07
FRILibrary Developer, Reporter 2019-03-07
gbM Developer, Reporter 2019-03-07
kuka_lwr_simulation Developer, Reporter 2019-03-07
lwrc-genom Developer, Reporter 2019-03-07
lwri-genom Developer, Reporter 2019-03-07
case study Osmosis Developer 2018-02-09
GenoM3-UPPAAL Developer 2018-02-23
SMC paper Developer 2019-02-11
thesis Herman Bruyninckx comments Developer, Reporter 2018-11-20
inFuse Developer 2019-04-24
Absolute Localization Developer 2019-04-24

Activity

2025-02-20

17:34 bt2fiacre Revision daa62354 [master] (bt2fiacre): More TINAoptimizations
- Halted is removed when not needed.
- ArgIndex removed from TNIA models (will make space for a state smaller).
Félix Ingrand
13:16 bt2fiacre Revision 1c700663 (bt2fiacre): Models and makefile after optim.
Félix Ingrand
12:19 bt2fiacre Revision f435abe3 (bt2fiacre): Optimization of the TINA model...
A lot of optimization as to remive useless states: done, success,
running, failure.
All these transients state usefu...
Félix Ingrand

2025-02-17

10:12 bt2fiacre Revision c566477b (bt2fiacre): Please, same version all over... please
Félix Ingrand

2025-02-11

11:32 bt2fiacre Revision 7916e77d (bt2fiacre): Improve the drone3 and ros2-nav2 demo.
- better handling of goto_waypoint halt (rqstid := -1)
- nav2 change the probablility ClearEntireCostmap failure.
Félix Ingrand

2025-02-10

17:17 bt2fiacre Revision af2f9a07 (bt2fiacre): More properties and proofs on the various BT nodes and experiments.
Félix Ingrand

2025-02-07

15:33 bt2fiacre Revision 1c111898 (bt2fiacre): Round Robin proof
- my first attempt was not working because of the top level BT which
stops on succeed (my bad), so only failure, whic...
Félix Ingrand

2025-02-06

17:08 bt2fiacre Revision a7dc7071 (bt2fiacre): Forgot this file.
Félix Ingrand
16:45 bt2fiacre Revision 6af81197 (bt2fiacre): Fixed a bug in Recovery node...
- Thanks to model checking(useful after all), there was a bug in
recovery (check the diff)
- add nodes to test Roun...
Félix Ingrand
16:16 bt2fiacre Revision 187c60d2 (bt2fiacre): Add Nav2 extra control nodes model, default properties are optional.
Félix Ingrand

Also available in: Atom