Khalil Ghorbal

Available identifiers

zbMath Open ghorbal.khalilMaRDI QIDQ681337

List of research outcomes

Publication	Date of Publication	Type
Characterizing positively invariant sets: inductive and topological methods	2022-05-05	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Khalil Ghorbal