• Increase font size
  • Default font size
  • Decrease font size
Welcome to the ANR INS MAGIC-SPS web site

MAGIC-SPS tools for hybrid systems

Tools developed by MAGIC-SPS consortium for set-theoretic reachability analysis and set-membership estimation of hybrid systems are now available for download. 

The files are available via this link.

Last Updated on Tuesday, 06 August 2019 19:02

MAGIC-SPS tools for continuous systems

Tools developed by MAGIC-SPS consortium for set-membership estimation (intervals and zonotopes)
based on a class of LTV/LPV models with bounded uncertainties, are now available for download.

  1. Please download and read the README file first.
  2. Then download the archive
Last Updated on Monday, 11 January 2016 19:19

Pre-Conference Workshop accepted at ECC14. June 24th, 2014

A Set-membership Approach to Health Monitoring of Uncertain Systems: From Theory to Application.

Organized by Nacim RamdaniTarek RaïssiAli Zolghadri,
 Carine JauberthieNathalie VerdièreChristophe Combastel and  Louise Travé-Massuyès

This full-day pre-conference workshop is proposed on Tuesday June 24th, 2014 as part of ECC14 Strasbourg.  It is supported by the French National Research Agency under contract ANR 2011 INS 006 MAGIC-SPS

The slides of the talks are now available below.


MAGIC-SPS - Guaranteed Methods and Algorithms for Integrity Control and Preventive Monitoring of Systems is a 3-years joint project funded by the French National Research Agency (ANR) Digital Engineering and Security (INS) year 2011 program, contract number ANR-11-INSE-006.



Search the site