41 citations · 91 across the 7 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.CG2020★ 8 cited
Characterizing Positively Invariant Sets: Inductive and Topological Methods
Khalil Ghorbal, Andrew Sogokon
We present two characterizations of positive invariance of sets under the flow of systems of ordinary differential equations. The first characterization uses inward sets which intu…
cs.LO2020
Ordered Functional Decision Diagrams: A Functional Semantics For Binary Decision Diagrams
Joan Thibault, Khalil Ghorbal
We introduce a novel framework, termed DD, that revisits Binary Decision Diagrams from a purely functional point of view. The framework allows to classify the already existing v…