Pages that link to "Item:Q5302913"
From MaRDI portal
The following pages link to Constraints for Continuous Reachability in the Verification of Hybrid Systems (Q5302913):
Displaying 6 items.
- Reachability analysis of linear systems with stepwise constant inputs (Q271719) (← links)
- Synthesizing invariant barrier certificates via difference-of-convex programming (Q832194) (← links)
- Tightened reachability constraints for the verification of linear hybrid systems (Q1026401) (← links)
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← links)
- The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems (Q4982088) (← links)
- Language-Based Abstraction Refinement for Hybrid System Verification (Q5452604) (← links)
