Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Computer Languages, Systems and Structures Année : 2015

Dates et versions

hal-01369946 , version 1 (21-09-2016)

Identifiants

Citer

Assalé Adjé, Pierre-Loïc Garoche. Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs. Computer Languages, Systems and Structures, 2015, ⟨10.1016/j.cl.2015.12.002⟩. ⟨hal-01369946⟩
106 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More