The following pages link to Verification of Hybrid Systems (Q3176388):
Displaying 9 items.
- Predicate transformer semantics for hybrid systems. Verification components for Isabelle/HOL (Q832721) (← 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)
- Temporal Logic and Fair Discrete Systems (Q3176360) (← links)
- Combining Model Checking and Deduction (Q3176378) (← links)
