Feb 28, 2003 · Eric Rutten. A framework for using discrete control synthesis in safe robotic programming and teleoperation. In Proceedings of the IEEE ...
We show how to build such property-enforcing layers, in a mixed im- perative ... If the whole intermediate layer had to be built as the result of a synthesis,.
Abstract. In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular.
The DCS has been suggested by (Altisen et al., 2003) to synthesize properties-enforcing layers, on the composition of local robot controllers. A contract-based ...
People also ask
What is controller synthesis?
Bibliographic details on Using Controller-Synthesis Techniques to Build Property-Enforcing Layers.
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, ...
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. In Proceedings of the European Symposium on Programming, ESOP'03, April 7 - 11 ...
This paper investigates an industrial design issue related to code reusability: building control-command systems out of Commercial off the shelf (COTS) ...
Using controller synthesis to build property-enforcing layers. In Proceedings of the European Symposium on Programming (ESOP'03), number 2618 in LNCS ...
We propose a safe design method for safe execution systems, based on fault-tolerance techniques: it uses optimal discrete controller synthesis (DCS) to ...