Khalil Ghorbal

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Characterizing positively invariant sets: inductive and topological methods Journal of Symbolic Computation	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 Computer Languages, Systems & Structures	2018-01-30	Paper
Structural analysis of multi-mode DAE systems Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control	2017-07-11	Paper
A method for invariant generation for polynomial continuous systems Lecture Notes in Computer Science	2016-03-23	Paper
A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets Lecture Notes in Computer Science	2015-02-04	Paper
Efficient probabilistic model checking of systems with ranged probabilities Lecture Notes in Computer Science	2013-01-07	Paper
Donut domains: efficient non-convex domains for abstract interpretation Lecture Notes in Computer Science	2012-06-15	Paper

Research outcomes over time

This page was built for person: Khalil Ghorbal