Homepage Inria website
  • Inria login
  • The Inria's Research Teams produce an annual Activity Report presenting their activities and their results of the year. These reports include the team members, the scientific program, the software developed by the team and the new results of the year. The report also describes the grants, contracts and the activities of dissemination and teaching. Finally, the report gives the list of publications of the year.

  • Legal notice
  • Cookie management
  • Personal data
  • Cookies

Section: New Results

Formalization of proofs in control theory

Participants : Damien Rouhling, Cyril Cohen.

Damien Rouhling presented his work on formalizing control theory for an inverted pendulum at an international conference in January [19].

The original development was based on Coquelicot. An analysis of the difficulties in formalizing led to the design of Mathematical Components Analysis. The development on control was then ported to this new library. This work was presented at the Coq Workshop in July.