ANR MAGIC-SPS

ANR-11-INSE-006

  • 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. 

  1. Please download and read the INSTALL procedure first. 
  2. Then download the archive MAGIC-HYBRID.tar.gz
Last Updated on Friday, 06 November 2015 15:24
 

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 MAGIC-CONT.zip.
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.

Read more...
 

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.

Read more...
 



ANR07-396.gif
Logo-Magic.png

Search the site

Identification