-
On the Grobman-Hartman theorem for control systems
We consider the problem of topological linearization of control systems, i.e. local equivalence to a linear controllable system via transformations that are... -
Task-level programming for control systems using discrete control synthesis
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... -
Specifying and verifying a transformer station in Signal and SignalGTi
We present the specification and verification of the automatic circuit-breaking behavior of an electric power transformer station using the synchronous approach to... -
The averaged control system of fast oscillating control systems
International audience -
Approximate Bisimulation: A Bridge Between Computer Science and Control Theory
International audience -
Internal model control for a self-tuning Delay-Locked Loop in UWB communicati...
ISBN 978-1-4577-1053-7 -
Towards a Formal Approach for the Regeneration of PILOT Control System
International audience -
Fault Tolerant Control of a Seven-phase Drive by Degrees of Freedom Adaptation
La version éditeur est disponible à l'adresse suivante : http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5472476&isnumber=5472440 -
PICARD payload thermal control system and general impact of the space environ...
International audience -
Decentralized observers for a class of large-scale singular systems via LMI
International audience -
Robust control under slackened real-time constraints
The development process of critical avionics products are done under strict safety regulations. These regulations include determinism and predictability of the... -
Synchronous composition of discretized control actions: design, verification ...
International audience -
Airspace sectoring by evolutionary computation
International audience -
Self-triggered control for the stabilization of linear systems
International audience -
Practical use of IEC 61508 and EN 954 for the safety evaluation of an automat...
International audience -
Ontology and protocol secure for SCADA
International audience
