Implementation of differential inclusions

ariadne-cps / release-1.0

Frozen 1.0 release of the Ariadne C++ framework for cyber-physical systems

http://www.ariadne-cps.org

GNU General Public License v3.0

0 stars 0 forks source link

Implementation of differential inclusions #8

Closed lgeretti closed 7 years ago

lgeretti commented 8 years ago

Originally reported by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)

Exploit the paper of Sanja and Pieter to introduce differential inclusions for the linear component of the dynamics

Bitbucket: https://bitbucket.org/ariadne-cps/release-1.0/issue/8

lgeretti commented 7 years ago

Original comment by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)

Will work on the ariadne repository on those.

lgeretti commented 8 years ago

Original comment by Luca Geretti (Bitbucket: lgeretti, GitHub: lgeretti)

Inclusions ranges should be specifiable location-by-location, which is particularly useful when we want to decompose a system and an input has different reachable set ranges for each location.