Skip to Main content Skip to Navigation
Reports

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 :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00072199
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 8:03:48 PM
Last modification on : Thursday, February 11, 2021 - 2:40:03 PM
Long-term archiving on: : Sunday, April 4, 2010 - 8:38:28 PM

Identifiers

  • HAL Id : inria-00072199, version 1

Collections

Citation

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

Share

Metrics

Record views

472

Files downloads

1085