About us
Espace utilisateur
Education
INSTN offers more than 40 diplomas from operator level to post-graduate degree level. 30% of our students are international students.
Professionnal development
Professionnal development
Find a training course
INSTN delivers off-the-self or tailor-made training courses to support the operational excellence of your talents.
Human capital solutions
At INSTN, we are committed to providing our partners with the best human capital solutions to develop and deliver safe & sustainable projects.
Thesis
Home   /   Post Doctorat   /   Application of a MDE approach to AI-based planning for robotic and autonomous systems

Application of a MDE approach to AI-based planning for robotic and autonomous systems

Artificial intelligence & Data intelligence Computer science and software Engineering sciences Technological challenges

Abstract

The complexity of robotics and autonomous systems (RAS) can only be managed with well-designed software architectures and integrated tool chains that support the entire development process. Model-driven engineering (MDE) is an approach that allows RAS developers to shift their focus from implementation to the domain knowledge space and to promote efficiency, flexibility and separation of concerns for different development stakeholders. One key goal of MDE approaches is to be integrated with available development infrastructures from the RAS community, such as ROS middleware, ROSPlan for task planning, BehaviorTree.CPP for execution and monitoring of robotics tasks and Gazebo for simulation.
The goal of this post-doc is to investigate and develop modular, compositional and predictable software architectures and interoperable design tools based on models, rather than code-centric approaches. The work must be performed in the context of European projects such as RobMoSys (www.robmosys.eu), and other initiatives on AI-based task planning and task execution for robotics and autonomous systems. The main industrial goal is to simplify the effort of RAS engineers and thus allowing the development of more advanced, more complex autonomous systems at an affordable cost. In order to do so, the postdoctoral fellow will contribute to set-up and consolidate a vibrant ecosystem, tool-chain and community that will provide and integrate model-based design, planning and simulation, safety assessment and formal validation and verification capabilities.

Laboratory

Département Ingénierie Logiciels et Systèmes (LIST)
LSEA (DILS)
Labo.conception des systèmes embarqués et autonomes
Top envelopegraduation-hatlicensebookuserusersmap-markercalendar-fullbubblecrossmenuarrow-down