Convex Optimization-based Static Analysis for Control Systems

Abstract : This manuscript presents a set of works targeting the formal analysis of controller software implementation using the tools of convex optimization.
Complete list of metadatas

Cited literature [181 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01371978
Contributor : Pierre-Loïc Garoche <>
Submitted on : Monday, September 26, 2016 - 4:40:03 PM
Last modification on : Tuesday, March 26, 2019 - 2:28:03 PM

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : tel-01371978, version 1

Collections

Citation

Pierre-Loïc Garoche. Convex Optimization-based Static Analysis for Control Systems. Computation and Language [cs.CL]. INPT; Université de toulouse, 2016. ⟨tel-01371978⟩

Share

Metrics

Record views

281

Files downloads

623