Sebti Mouelhi

Sebti Mouelhi

ESTACA École d'Ingénieurs - Montigny-le-Bretonneux / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 4558559
Graduate School of Aeronautical and Automotive Engineering
person_outline Sebti Mouelhi's MOST POPULAR ARTICLES
1-) CoSyMA: a tool for controller synthesis using multi-scale abstractionsS Mouelhi, A Girard, G GösslerProceedings of the 16th international conference on Hybrid systems …, 20131002013
2-) Safety controller synthesis for incrementally stable switched systems using multiscale symbolic modelsA Girard, G Gössler, S MouelhiIEEE Transactions on Automatic Control 61 (6), 1537-1549, 2016712016
3-) Predictive Formal Analysis of Resilience in Cyber-Physical SystemsS Mouelhi, E Laarouchi, D Cancila, H ChaouchiIEEE Access 7, 33741-33758, 2019292019
4-) A Methodology for the Design of Safety-Compliant and Secure Communication of Autonomous VehiclesR Passerone, D Cancila, M Albano, S Mouelhi, S Plosz, E Jantunen, ...IEEE Access 7, 125022-125037, 2019292019
5-) Refinement of interface automata strengthened by action semanticsS Mouelhi, S Chouali, H MountassirElectronic Notes in Theoretical Computer Science 253 (1), 111-126, 2009232009