Calculs d'atteignabilités pour les vérifications de sûreté des systèmes hybrides

Supervisory control of a building heating system based on radial basis function neural networks

Problématique et enjeux de l'approche des SDH par les calculs d'atteignabilité

Supervisory control based on closed-loop adaptive control approach of nonlinear systems: application to CSTR process

H{\inf} observer-based decentralised fuzzy control design for nonlinear interconnected systems: an application to vehicle dynamics

Abstractions of Hybrid Systems for verification

Hybrid Abstraction of Affine Systems

Utilisation des automates temporisés pour la vérification des applications autour de l'IEC 61499

Structured hybrid abstractions of continuous systems

Procédé de commande d'un système d'automatisme

Supervisory control based on closed-loop adaptive control approach of nonlinear continuous stirred tank reactor process (NCSTRP)

Managing flexibility of power consumption of smart buildings on microgrid

Optimal power flow based control of microgrids providing Volt/VAR services

Automatic Simulink Model Building for Physical Switching Systems

A double resonance generator simulation using a hybrid approach

Abstraction of hybrid systems for verification

Sur le calcul de l'espace atteignable des systèmes dynamiques hybrides

On the formal vérification of hybrid systems

Systèmes dynamiques hybrides

Les Systèmes Dynamiques Hybrides : un cadre formel privilégié pour la pluridisciplinarité

Bilevel Optimization Based on Building Dynamic Flexibility Capacity in Microgrid

Using timed automata for the verification of IEC 61499 applications

Abstractions événementielles et approximations pour la vérification des systèmes dynamiques hybrides

A Timed Automata Model of IEC 61499 Basic Function Blocks Semantic

Editorial : Special issue related to the 2008 IFAC world congress

A Newton method for cycle determination of linear physical systems with switches

Comparative study between two architectures of neural networks used for identification and control of a building heating system

Vérification des Systèmes Hybrides, état de l'art

Analysis of hybrid systems: state of the art

Méthode d'analyse de la stabilité des régulations locales des producteurs décentralisés- Application aux régulations Q(U)

constraint specification of the control logic of automated manufacturing systems

PROCEDE DE PILOTAGE D'UN OUVRANT DE VEHICULE AUTOMOBILE

Un modèle formel pour les interrupteurs en électronique de puissance.

Smart brute-force approach for distribution feeder reconfiguration problem

Mixed integer non-linear programming via the cross-entropy approach for power system stabilisers location and tuning

Networked non-fragile H ∞ static output feedback control design for vehicle dynamics stability: A descriptor approach

Système de contrôle commande d'ouvrant de véhicule

Aggregation of building predictive energy flexibility in smart microgrid

Formal approach to Compute Hybrid Automata Models for Linear Physical Systems with Switches

Set-Point Supervisory Control Methodology for a Nonlinear Continuous Stirred Tank Reactor Process

Comparaison d'algorithmes de détection assurant la sécurité de l'utilisateur, lors du déplacement d'un ouvrant piloté automobile.

Hybrid Automata

Modèles mixtes et structuration de modèles complexes

Supervisory control of building heating system with insulation changes using three architectures of neural networks

Analyse des commutations dans un système avec des interrupteurs de l'électronique de puissance par une approche automate hybride

Safety Verification and reachability analysis for hybrid systems.

Vérification de sûreté et atteignabilité des systèmes hybrides. Etat de l'art

Un modèle formel pour les interrupteurs en électronique de puissance

Calcul d'atteignabilité pour des systèmes hybrides non linéaires par approximations affines garanties

Reachability Analysis for Nonlinear Systems by Guaranteed Piecewise Affine Approximation