Applications of MetiTarski in the Verification of Control and Hybrid Systems
From MaRDI portal
Publication:3624557
DOI10.1007/978-3-642-00602-9_1zbMath1237.93087OpenAlexW2115161547WikidataQ57382616 ScholiaQ57382616MaRDI QIDQ3624557
Behzad Akbarpour, Lawrence Charles Paulson
Publication date: 30 April 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-642-00602-9_1
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
MetiTarski: An automatic theorem prover for real-valued special functions ⋮ Generating invariants for non-linear hybrid systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The algorithmic analysis of hybrid systems
- Computing closed form solutions of first order ODEs using the Prelle- Singer procedure
- An extension of the Prelle-Singer method and a Maple implementation
- HyTech: A model checker for hybrid systems
- Elementary First Integrals of Differential Equations
- Extending a Resolution Prover for Inequalities on Elementary Functions
- Computational techniques for hybrid system verification
- MetiTarski: An Automatic Prover for the Elementary Functions
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
This page was built for publication: Applications of MetiTarski in the Verification of Control and Hybrid Systems
