Invariants for continuous linear dynamical systems
From MaRDI portal
Cites work
- o-minimal invariants for linear loops
- A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets
- A method for invariant generation for polynomial continuous systems
- Constraint-Based Approach for Analysis of Hybrid Systems
- Direct formal verification of liveness properties in continuous and hybrid dynamical systems
- Geometric categories and o-minimal structures
- scientific article; zbMATH DE number 4071018 (Why is no real title available?)
- scientific article; zbMATH DE number 1169378 (Why is no real title available?)
- scientific article; zbMATH DE number 1794361 (Why is no real title available?)
- scientific article; zbMATH DE number 3068536 (Why is no real title available?)
- Hybrid Systems: Computation and Control
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
- On recurrent reachability for continuous linear dynamical systems
- On the Skolem problem for continuous linear dynamical systems
- Quasi-decidability of a fragment of the first-order theory of real numbers
- Reachability in Linear Dynamical Systems
- Symbolic reachability computation for families of linear vector fields
- The continuous Skolem-Pisot problem
- The elementary theory of restricted analytic fields with exponentiation
- Turing meets Schanuel
- Verification and synthesis using real quantifier elimination
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)
