| | |
Summary: Using Controller-Synthesis Techniques to Build
Property-Enforcing Layers
Karine Altisen1
, AurŽelie Clodic2
, Florence Maraninchi1
, and Eric Rutten3
1
VERIMAG Centre Equation, 2 Av. de Vignate F38610 GIERES
www-verimag.imag.fr {Karine.Altisen,Florence.Maraninchi}@imag.fr
2
LAAS-CNRS, 7 av. Colonel Roche F-31077 TOULOUSE
www.laas.fr Aurelie.Clodic@laas.fr
3
INRIA Rh^one-Alpes, MONTBONNOT F-38334 ST ISMIER Cedex
www.inrialpes.fr Eric.Rutten@inrialpes.fr
Abstract. 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, and there are also logical constraints on their in-
teractions, related to e.g., mechanical characteristics or access to shared
resources. Managing these constraints may be separated from the appli-
|
