Daniel Simon

🏛 所属机构: Institut national de recherche en sciences et technologies du numérique, Fondation Sophia Antipolis, Centre Inria de l'Université Grenoble Alpes, Ifremer, Computer Algorithms for Medicine, Institut de Recherche en Informatique et Systèmes Aléatoires

代表论文

1
The ORCCAD Architecture
104 次引用 · 1998
2
Reactive objects in a task level open controller
25 次引用 · 2003
3
On the Validation of Robotics Control Systems Part I: High Level Specification and Formal Verification
19 次引用 · 1995
4
Design of real-time periodic control systems through synchronization and fixed priorities
13 次引用 · 2005
5
A LPV approach to control and real-time scheduling codesign: Application to a robot-arm control
11 次引用 · 2008
6
Task level specification and formal verification of robotics control systems: State of the art and case study
11 次引用 · 1999
7
Automatic generation of discrete handlers of real-time continuous control tasks
9 次引用 · 2011
8
VORTEX: versatile and open subsea robot for technical experiment
9 次引用 · 2002
9
Orccad, a framework for safe robot control design and implementation
8 次引用 · 2006
10
ORCCAD : towards an open robot controller computer aided design system
8 次引用 · 1991

尚未生成