Jump to ContentJump to Main Navigation

You are looking at 1-2 of 2 items for:

  • Keywords: control theory x
  • Applied Mathematics x
Clear All Modify Search

View:

System-level Properties as Numerical Invariants

Pierre-Loïc Garoche

in Formal Verification of Control System Software

Published in print:
2019
Published Online:
January 2020
ISBN:
9780691181301
eISBN:
9780691189581
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691181301.003.0007
Subject:
Mathematics, Applied Mathematics

This chapter summarizes an attempt to express classical notions of control theory such as stability or robustness using the previously presented invariant-based tools. All numerical tools presented ... More


Definitions—Background

Pierre-Loïc Garoche

in Formal Verification of Control System Software

Published in print:
2019
Published Online:
January 2020
ISBN:
9780691181301
eISBN:
9780691189581
Item type:
chapter
Publisher:
Princeton University Press
DOI:
10.23943/princeton/9780691181301.003.0004
Subject:
Mathematics, Applied Mathematics

This chapter presents the formalisms describing discrete dynamical systems and gives an overview on the convex optimization tools and methods used to compute the analyses. A dynamical system is a ... More


View: