Automatic invariant checking for discrete block diagrams using Lyapunov functions with sat modulo theory solvers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christian Dernehl. Automatic invariant checking for discrete block diagrams using Lyapunov functions with sat modulo theory solvers. In 2016 European Control Conference, ECC 2016, Aalborg, Denmark, June 29 - July 1, 2016. pages 441-446, IEEE, 2016. [doi]

This author has not been identified. Look up 'Christian Dernehl' in Google

runs on WebDSL