Decidable Compositions of O-Minimal Automata

DOI10.1007/978-3-540-88387-6_25MaRDI QIDQ3540076zbMATH OpenOpenAlexFDO

Authors Alberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra

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)

Recommendations

• Composing Semi-algebraic O-Minimal Automata
• Formal Modeling and Analysis of Timed Systems
• O-minimal hybrid systems.
• On the expressiveness and decidability of o-minimal hybrid systems
• scientific article; zbMATH DE number 1444359

Cites work

• Composing Semi-algebraic O-Minimal Automata
• scientific article; zbMATH DE number 435565 (Why is no real title available?)
• scientific article; zbMATH DE number 42091 (Why is no real title available?)
• scientific article; zbMATH DE number 1263213 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 1444359 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• O-minimal hybrid systems.
• Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction

Cited in

(4)

• On the expressiveness and decidability of o-minimal hybrid systems
• Deciding concurrent planar monotonic linear hybrid systems
• Composing Semi-algebraic O-Minimal Automata
• Finite bisimulations for dynamical systems with overlapping trajectories

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

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