Hervé Guéguen

Publications

513

Citations

H-Index

2001

Active since

Affiliations

Institut d'Électronique et des Technologies du numéRique(Current)

Supélec

CentraleSupélec

University of Ha'il

Université de Reims Champagne-Ardenne

Hervé Guéguen is an author at Institut d'Électronique et des Technologies du numéRique specializing in systems engineering, engineering, and formal methods.

ORCID

Top concepts

EngineeringSystems EngineeringFormal MethodsEnergy ManagementFormal VerificationComputer EngineeringSmart GridVerificationBuilding EnergyComputer Science

Publications per year

2001–2019

Publications

Hierarchical control method applied to energy management of a residential house

Antoine Lefort, Romain Bourdais, Guillaume Ansanay-Alex et al. · Energy and Buildings · 2013 · 85 citations

Engineering, Smart Grid, Energy Efficiency +8

Design of a combined cycle power plant model for optimization

Adrian Ticǎ, Hervé Guéguen, Didier Dumur et al. · Applied Energy · 2012 · 64 citations

Engineering, Energy Management, Energy Optimization +5

Safety verification and reachability analysis for hybrid systems

Hervé Guéguen, Marie-Anne Lefebvre, J. Zaytoon et al. · Annual Reviews in Control · 2009 · 44 citations

Safety Engineering, Safety-critical System, Engineering +6

On the formal verification of hybrid systems

Hervé Guéguen, J. Zaytoon · Control Engineering Practice · 2004 · 41 citations

Engineering, Automated Reasoning, Verification +7

From hybrid model predictive control to logical control for shading system: A support vector machine approach

Khang Le, Romain Bourdais, Hervé Guéguen · Energy and Buildings · 2014 · 38 citations

Image Analysis, Engineering, Pattern Recognition +8

Rows per page

1–5 of 19