The following pages link to Verification of Hybrid Systems (Q3176388):
Displaying 21 items.
- Viability in hybrid systems (Q673878) (← links)
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← links)
- HyTech: A model checker for hybrid systems (Q1856193) (← links)
- An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- Reachability analysis of a general class of neural ordinary differential equations (Q2112130) (← links)
- Limit cycle analysis of a class of hybrid gene regulatory networks (Q2112156) (← links)
- Deductive stability proofs for ordinary differential equations (Q2233505) (← links)
- A Simulink-based software solution using the infinity computer methodology for higher order differentiation (Q2244122) (← links)
- Parametric verification and test coverage for hybrid automata using the inverse method (Q2841997) (← links)
- Temporal Logic and Fair Discrete Systems (Q3176360) (← links)
- Combining Model Checking and Deduction (Q3176378) (← links)
- (Q4249562) (← links)
- (Q4806208) (← links)
- Verification of Open Systems (Q4928701) (← links)
- (Q4994712) (← links)
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL (Q5098720) (← links)
- Hybrid Systems: Computation and Control (Q5307932) (← links)
- Automated Technology for Verification and Analysis (Q5394195) (← links)
- Automated Machine-Checked Hybrid System Safety Proofs (Q5747654) (← links)
- An axiomatic approach to liveness for differential equations (Q6535961) (← links)
