IEEE - Institute of Electrical and Electronics Engineers, Inc. - Automatic invariant checking for discrete block diagrams using Lyapunov functions with sat modulo theory solvers

2016 European Control Conference (ECC)

Author(s): Christian Dernehl
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2016
Conference Location: Aalborg, Denmark
Conference Date: 29 June 2016
Page(s): 441 - 446
ISBN (Electronic): 978-1-5090-2591-6
ISBN (USB): 978-1-5090-2590-9
DOI: 10.1109/ECC.2016.7810324
Regular:

In this paper we propose a fully automatic technique to generate safety proofs for a given block diagram. Our method computes automatically Lyapunov functions for linear and polynomial systems... View More

Advertisement