Pages that link to "Item:Q5703953"

The following pages link to Hybrid Systems: Computation and Control (Q5703953):

Displaying 26 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)
• Rigorous integration of non-linear ordinary differential equations in Chebyshev basis (Q2346283) (← links)
• Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
• On a decision procedure for quantified linear programs (Q2462634) (← links)
• Deadness and how to disprove liveness in hybrid dynamical systems (Q2629097) (← links)
• Control barrier functions for stochastic systems (Q2665332) (← links)
• Formal Modelling, Analysis and Verification of Hybrid Systems (Q2948232) (← links)
• Crossing the Bridge between Similar Games (Q3172850) (← links)
• Verification of Hybrid Systems (Q3176388) (← links)
• (Q3384178) (← 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)