Certified model order reduction from data

DOI10.1145/3716863.3725204MaRDI QIDQ6904601zbMATH OpenFDO

Authors Behrad Samari, Amy Nejati, Abolfazl Lavaei

Publication date 7 November 2025

Full work available at URL https://doi.org/10.1145/3716863.3725204

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites work

• Approximation of Large-Scale Dynamical Systems
• Automated verification and synthesis of stochastic hybrid systems: a survey
• Certified model order reduction from data
• Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach

Cited in

(1)

• Certified model order reduction from data

This page was built for publication: Certified model order reduction from data

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6904601)