Pages that link to "Item:Q5703953"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5703953):
Displaying 17 items.
- Benchmarks (Q16783) (← links)
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← links)
- Hybrid automata-based CEGAR for rectangular hybrid systems (Q888464) (← links)
- Exact safety verification of hybrid systems using sums-of-squares representation (Q893625) (← links)
- Hybrid automata, reachability, and systems biology (Q969180) (← links)
- MetiTarski: An automatic theorem prover for real-valued special functions (Q972422) (← links)
- Tightened reachability constraints for the verification of linear hybrid systems (Q1026401) (← links)
- Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
- Implicit definitions with differential equations for KeYmaera X (system description) (Q2104559) (← links)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} (Q2105429) (← links)
- An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems (Q2178193) (← links)
- Extracting counterexamples induced by safety violation in linear hybrid systems (Q2184551) (← links)
- An approximation algorithm for box abstraction of transition systems on real state spaces (Q2248056) (← links)
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
- Applications of MetiTarski in the Verification of Control and Hybrid Systems (Q3624557) (← links)
- Approximated Reachability on Hybrid Automata: Falsification meets Certification (Q4982085) (← links)
- Efficient choice of parameters on delta-reachability bounded hybrid systems (Q5097076) (← links)
