HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Task-level programming for control systems using discrete control synthesis

Abstract : Robotic and control systems are ever more difficult to design, program, as well as to operate. This is due to their growing size and complexity. Therefore, their real-time programming and execution architectures require more user and design assistance, based on usable abstraction and tool support. Especially in safety-critical control systems (e.g., space robotics, robotic surgery) formal methods can be useful, but they have to be made usable by application domain specialists. User-friendly, domain-specific languages and interfaces ease the application of real-time analysis and implementation techniques. We are particularly interested in task-level programming of robot and control systems, where tasks encapsulate control laws. We consider the application of discrete control synthesis techniques, integrated into the framework of a task-level robot programming environment: they support the automated generation of correct controllers for control applications. We use the synchronous programming environment Signal, and the verification and synthesis tool Sigali. This requires to determine patterns of tasks and objectives, which are at once domain-specific to control systems, and generic enough to cover a broad class of control systems. We consider its application to safe discrete teleoperation. We illustrate this by a case study concerning the interactive discrete control of tasks of an excavating system.
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Tuesday, May 23, 2006 - 8:03:48 PM
Last modification on : Friday, February 4, 2022 - 3:22:54 AM
Long-term archiving on: : Sunday, April 4, 2010 - 8:38:28 PM


  • HAL Id : inria-00072199, version 1



Eric Rutten, Hervé Marchand. Task-level programming for control systems using discrete control synthesis. [Research Report] RR-4389, INRIA. 2002. ⟨inria-00072199⟩



Record views


Files downloads