Computing Omega-Limit Sets in Linear Dynamical Systems

DOI10.1007/978-3-540-85194-3_9zbMath1166.68321OpenAlexW1883655696MaRDI QIDQ3543335

Emmanuel Hainry

Publication date: 2 December 2008

Published in: Unconventional Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85194-3_9

zbMATH Keywords

verificationdynamical systemshybrid systemsomega-limit setreachable setsafety properties

Mathematics Subject Classification ID

Related Items (1)

Locating Theorems of Differential Inclusions Governed by Maximally Monotone Operators

Cites Work

• Reachability analysis of dynamical systems having piecewise-constant derivatives
• Irreducibles and the composed product for polynomials over a finite field
• An Inequality About Factors of Polynomials
• Deux propriétés décidables des suites récurrentes linéaires
• Deterministic Nonperiodic Flow
• New Computational Paradigms
• A survey of computational complexity results in systems and control
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computing Omega-Limit Sets in Linear Dynamical Systems