Giorgio Russolillo
Fondé en 1988, le CEDRIC regroupe des recherches menées en informatique, mathématiques appliquées et électronique au CNAM, ainsi qu'une partie de celles de l'ENSIIE. Les membres du CEDRIC sont enseignants-chercheurs en Informatique, en Mathématiques ou en Electronique, soit au CNAM à Paris soit à l'ENSIIE à Evry.
Locations of visitors to this page

Publications récentes

N. Prat, Teaching Information Systems with Cases: An Exploratory Study, Journal of Computer Information Systems, pp. 71-81, 2012
D. Efimov, T. Raïssi, A. Zolghadri, Stabilisation robuste d’une classe de systèmes non linéaires incertains, Journal Européen des Systèmes Automatisés, vol. accepté, 2012
R. Seydou, T. Raïssi, A. Zolghadri, D. Efimov, Actuator fault detection and diagnosis for flat systems: A constraint satisfaction technique, International Journal of Applied Mathematics & Computer Science, pp. ., 2012
K. Berkani, M. Jacquel, E. Le Lay, BCARe : Contrôle automatique des règles ajoutées à SIEMENS, Titre du livre: "Utilisations industrielles des techniques formelles : méthode B. dirigé par J-L Boulanger. Hermes Science (à paraître)", September 2012, Hermes / Lavoisier, pp. -,
D. Efimov, L. Fridman, T. Raïssi, A. Zolghadri, R. Seydou, Application of Interval Observers and HOSM Differentiators for Fault Detection, The 8th IFAC International Symposium on Fault Detection, Supervision and Safety of Technical Processes , August 2012, Mexico City, Mexico,
H. Rios, D. Efimov, J. Davila, T. Raïssi, L. Fridman, A. Zolghadri, State Estimation and Fault Detection for Linear Switched Systems with Unstable Internal Dynamics, The 8th IFAC International Symposium on Fault Detection, Supervision and Safety of Technical Processes , August 2012, Mexico City, Mexico,
R. Seydou, T. Raïssi, A. Zolghadri, D. Efimov, Robust Fault Diagnosis with Interval Continuous-time Parity Equations, The 8th IFAC International Symposium on Fault Detection, Supervision and Safety of Technical Processes, August 2012, Mexico City, Mexico,
M. Carlier, C. Dubois, A. Gotlieb, A certified constraint solver over finite domains, Formal Methods (FM 2012), August 2012, pp.A paraître, Paris, France,
A. Billionnet, S. Elloumi, A. Lambert, Convex reformulations of Integer Quadratically Constrained Problems, ISMP (21th International Symposium of Mathematical programming), August 2012, Berlin, Germany,
S. Elloumi, A unified view of linear and quadratic convex reformulations for binary quadratic programming, ISMP, August 2012, Berlin, Allemagne,
P. Courtieu, C. Paulin-Mohring, D. Gross-Amblard, D. Baelde, Toward provably robust watermarking, Interactive theorem proving, August 2012, pp.0-0, Series LNCS,
M. Alattar , F. Sailhan, J. Bourgeois, Log-based Intrusion Detection for MANET, 8th IEEE Wireless Communications and Mobile Computing Conference (IWCMC), August 2012, pp.1-6,
A. Billionnet, S. Elloumi, A. Lambert, A new Branch and Bound algorithm for MIQPs, EURO 2012, July 2012, Vilnius, Lithuania,
N. Prat, J. Akoka, I. Comyn-Wattiau, An MDA approach to knowledge engineering, Expert Systems with Applications, pp. 1-18, 2012, (doi:http://dx.doi.org/10.1016/j.eswa.2012.02.010)

Agenda

 
rss Suivre le laboratoire
 

Contacts

CNAM-CEDRIC
292 Rue St Martin
FR-75141 Paris Cedex 03
Tel: +33 01 40 27 22 96
Fax: +33 01 40 27 22 96


ENSIIE-CEDRIC
1 square de la résistance
FR-91025 EVRY
Tel: +33 01 69 36 73 05
Fax: +33 01 69 36 73 05