Production year

Researcher identifiers

External widget

Download bibliography

Number of documents

3

Publications of Daniel Simon


1995   

Reports3 documents

  • Aristide Santos, Bernard Espiau, Patrick Rives, Daniel Simon, Vincent Rigaud. Sensor-Based Control of Holonomic Autonomous Underwater Vehicles. RR-2609, INRIA. 1995. ⟨inria-00074076⟩
  • Daniel Simon, Eduardo Castillo, Paul Freedman. On the Validation of Robotics Control Systems Part II: Analysis of real-time closed-loop control tasks. RR-2720, INRIA. 1995. ⟨inria-00073973⟩
  • Bernard Espiau, Konstantin Kapellos, Muriel Jourdan, Daniel Simon. On the Validation of Robotics Control Systems Part I: High Level Specification and Formal Verification. [Research Report] RR-2719, INRIA. 1995. ⟨inria-00073974⟩