File
D4.2_Extension of the SCADE language for continuous modelling.pdf
Federica Pepponi Submitted by Federica Pepponi on October 24th, 2017
File
D3.2_Report on pre-computation of reachable sets, advances in compositional verification, and incremental verification.pdf
Federica Pepponi Submitted by Federica Pepponi on October 24th, 2017
File
D2.2_Report on distributed model predictive control for cyber-physical systems and efficient computation.pdf
Federica Pepponi Submitted by Federica Pepponi on October 24th, 2017
File
D1.2_Report on modelling of networked cyber-physical system for verification and control.pdf
Federica Pepponi Submitted by Federica Pepponi on October 24th, 2017
File
D6.3_First report on dissemination and exploitation.pdf
Federica Pepponi Submitted by Federica Pepponi on January 12th, 2016
File
D6.2_First version of the data management plan.pdf
Federica Pepponi Submitted by Federica Pepponi on January 12th, 2016
File
D5.1_Report on application models.pdf
Federica Pepponi Submitted by Federica Pepponi on January 12th, 2016
File
D4.1_Theoretical foundation for combining zonotopes and support functions.pdf
Federica Pepponi Submitted by Federica Pepponi on January 12th, 2016
File
D3.1_Report on reachability analysis of nonlinear systems and compositional verification.pdf
Federica Pepponi Submitted by Federica Pepponi on January 12th, 2016
File
D2.1_Report on behaviour prediction for cyber-physical systems.pdf
Federica Pepponi Submitted by Federica Pepponi on January 12th, 2016
Subscribe to Deliverables