Complete robust hybrid systems reachability
From MaRDI portal
Cites work
- A complete uniform substitution calculus for differential dynamic logic
- A decision method for elementary algebra and geometry
- A uniform substitution calculus for differential dynamic logic
- Analysis of hybrid systems: An ounce of realism can save an infinity of states
- Axiomatization of compact initial value problems: open properties
- Computable analysis. An introduction
- Diamond formulas: A fragment of dynamic logic with recursively enumerable validity problem
- Differential dynamic logic for hybrid systems
- Differential equation invariance axiomatization
- scientific article; zbMATH DE number 3497890 (Why is no real title available?)
- scientific article; zbMATH DE number 1263213 (Why is no real title available?)
- scientific article; zbMATH DE number 1759608 (Why is no real title available?)
- On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals
- Ordinary differential equations. Transl. from the German by Russell Thompson
- Real quantifier elimination is doubly exponential
- Safety verification of non-linear hybrid systems is quasi-decidable
- The Complete Proof Theory of Hybrid Systems
- Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11--18, 2015. Proceedings
This page was built for publication: Complete robust hybrid systems reachability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7411317)
