Nous proposons des ascenseurs garantis, standards (pré-engineered) ou entièrement personnalisés pour d'adapter à chaque projet et essentiellement aux immeubles avec une architecture unique, et répondons de manière fiable, rapide, précise et rentable à toutes les spécifications, grâce à une expérience acquise sur des projets exigeants.

Product design & development , 3D modeling using SolidWorks.Automation and industrial electricity.

Formal automated synthesis of control systems; the project consists of developing of novel efficient finite abstraction techniques to construct a finite symbolic model of a control system. Data structure schemes such as binary decision diagrams (BDD) or algebraic decision diagrams (ADD) are used in order to make the model more scalable and computationally fast. The purpose of the project is to develop a software toolbox implementing some proposed algorithmic techniques, this toolbox is used to… Show more Formal automated synthesis of control systems; the project consists of developing of novel efficient finite abstraction techniques to construct a finite symbolic model of a control system. Data structure schemes such as binary decision diagrams (BDD) or algebraic decision diagrams (ADD) are used in order to make the model more scalable and computationally fast. The purpose of the project is to develop a software toolbox implementing some proposed algorithmic techniques, this toolbox is used to synthesize controllers enforcing some complex logic specifications -which could be properties expressed as formulae in linear temporal logic (LTL) or as automata on infinite strings- on a complex plant such as cyber-physical systems. Show less