HAL (France)open access
Computer-assisted proofs of reachability analysis for linear control systems under bounded constraints
0, Systèmes de dimension finie et infinie, Finite- and infinite-Dimensional control systems, Reachability analysis, Computer-Assisted proofs, Linear control systems, Arithmétique d'intervalles, Atteignabilité
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Record · ID 175635
Retrieved via
Conceptio — every document is proof-bundled with source, license, and retrieval metadata.