Composing Semi-algebraic O-Minimal Automata

DOI10.1007/978-3-540-71493-4_57zbMath1207.93064OpenAlexW1569284954MaRDI QIDQ3613012

No author found.

Publication date: 11 March 2009

Published in: Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71493-4_57

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Attainable sets, reachability (93B03)

Related Items (2)

Decidable Compositions of O-Minimal Automata ⋮ Formal language properties of hybrid systems with strong resets

This page was built for publication: Composing Semi-algebraic O-Minimal Automata