Khalil Ghorbal

Available identifiers

Publication	Date of Publication	Type
Characterizing positively invariant sets: inductive and topological methods	2022-05-05	Paper
On Covering Smooth Manifolds with Overlapping Simplicies: An inductive Characterization of Q-matrices	2022-03-23	Paper
Multi-mode DAE models -- challenges, theory and implementation	2022-02-16	Paper
Vector barrier certificates and comparison systems	2021-05-04	Paper
Decoupling abstractions of non-linear ordinary differential equations	2020-01-03	Paper
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets	2018-01-30	Paper
Structural Analysis of Multi-Mode DAE Systems	2017-07-11	Paper
A Method for Invariant Generation for Polynomial Continuous Systems	2016-03-23	Paper
A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets	2015-02-04	Paper
Efficient Probabilistic Model Checking of Systems with Ranged Probabilities	2013-01-07	Paper
Donut Domains: Efficient Non-convex Domains for Abstract Interpretation	2012-06-15	Paper

This page was built for person: Khalil Ghorbal