Decidable Compositions of O-Minimal Automata

DOI10.1007/978-3-540-88387-6_25zbMath1183.68335OpenAlexW1820217651MaRDI QIDQ3540076

Pietro Corvaja, Alberto Casagrande, Bud Mishra, Carla Piazza

Publication date: 20 November 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-88387-6_25

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (2)

Deciding Concurrent Planar Monotonic Linear Hybrid Systems ⋮ Unnamed Item

Cites Work

• O-minimal hybrid systems.
• Composing Semi-algebraic O-Minimal Automata
• Hybrid Systems: Computation and Control
• Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Decidable Compositions of O-Minimal Automata