Calcul par analyse intervalle de certificats de barrière pour les systèmes dynamiques hybrides
Cette thèse développe des outils permettant de prouver qu’un système dynamique est sûr. En supposant qu’une partie de l’espace d’état est dangereuse, un système dynamique est dit sûr lorsque son état n’atteint jamais cette partie dangereuse au cours du temps, quel que soit l’état initial appartenant...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2017
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2017SACLS195/document |