Invariants for continuous linear dynamical systems

DOI10.4230/LIPICS.ICALP.2020.107MaRDI QIDQ6842463zbMATH OpenFDO

Authors Shaull Almagor, Edon Kelmendi, Joël Ouaknine, James Worrell

Publication date 18 March 2026

Copyright license Creative Commons Attribution 3.0 Unported

zbMATH Keywords

invariantso-minimalitysafetycontinuous linear dynamical systemscontinuous Skolem problem

Mathematics Subject Classification ID

Theory of software (68Nxx) Theory of computing (68Qxx)

This page was built for publication: Invariants for continuous linear dynamical systems

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