Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

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

Lookup NU author(s): Dr Sergiy BogomolovORCiD

Downloads

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