ePrints

Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling: Proofs

Lookup NU author(s): Dr Sergiy BogomolovORCiD

Downloads

• Published version [.pdf]

Licence

This is the final published version of a report that has been published in its final definitive form by Newcastle University, 2020.

For re-use rights please refer to the publisher's terms and conditions.

Abstract

This technical report contains the proofs of Lemma 2 and Lemma 3 of the paper "Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling".

Publication metadata

Author(s): Li D, Bak S, Bogomolov S

Series Editor(s): School of Computing Technical Report Series

Publication type: Report

Publication status: Published

Series Title:

Year: 2020

Pages: 8

Print publication date: 01/10/2020

Acceptance date: 01/10/2020

Report Number: 1534

Institution: Newcastle University

Place Published: Newcastle upon Tyne

Share