Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers
 

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-

  

Source: Altisen, Karine - Laboratoire VERIMAG, Centre National de la Recherche Scientifique (CNRS)

 

Collections: Computer Technologies and Information Sciences