Ibtissem Ben Makhlouf

According to our database, Ibtissem Ben Makhlouf authored at least 18 papers between 2006 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Predicting Brainwaves from Face Videos.

Christian S. Pilz, Ibtissem Ben Makhlouf, Ute Habel, Steffen Leonhardt

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

2017

HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis.

Stefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2016

Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems.

Ibtissem Ben Makhlouf

PhD thesis, 2016

HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions.

Ibtissem Ben Makhlouf, Norman Hansen, Stefan Kowalewski

Proceedings of the ARCH@CPSWeek 2016, 2016

2015

A Benchmark Suite for Hybrid Systems Reachability Analysis.

Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Current Challenges in the Verification of Hybrid Systems.

Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015

A Study on Solving Guard and Invariant Set Intersection in Zonotope-based Reachability of Linear Hybrid Systems.

Ibtissem Ben Makhlouf, Jonathan Gan, Stefan Kowalewski

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014

Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability.

Ibtissem Ben Makhlouf, Stefan Kowalewski

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2014

Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools.

Ibtissem Ben Makhlouf, Stefan Kowalewski

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2014

2013

Reachability analysis for managing platoons at intersections.

Ibtissem Ben Makhlouf, Hilal Diab, Stefan Kowalewski

Proceedings of the 21st Mediterranean Conference on Control and Automation, 2013

Comparison of reachability methods for uncertain linear time-invariant systems.

Ibtissem Ben Makhlouf, Paul Hänsch, Stefan Kowalewski

Proceedings of the 12th European Control Conference, 2013

2012

A platoon of vehicles approaching an intersection: A testing platform for safe intersections.

Hilal Diab, Ibtissem Ben Makhlouf, Stefan Kowalewski

Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, 2012

Safety Verification of a Controlled Cooperative Platoon Under Loss of Communication Using Zonotopes.

Ibtissem Ben Makhlouf, Hilal Diab, Stefan Kowalewski

Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems, 2012

2011

Reachability Analysis of Linear Systems with Stepwise Constant Inputs.

Paul Hänsch, Hilal Diab, Ibtissem Ben Makhlouf, Stefan Kowalewski

Proceedings of the First Workshop on Hybrid Autonomous Systems, 2011

2010

Regelung und Sicherheitsanalyse einer Gruppe Massenpunktfahrzeuge mit Hilfe energiebasierter Methoden (Control and Safety Analysis of a Group of Point Mass Vehicles Using Energy Methods).

Martín Guillermo, Chávez Grunewald, Ibtissem Ben Makhlouf, Hilal Diab, Vicente A. Mut, Stefan Kowalewski, Dirk Abel

Autom., 2010

A testing platform for cooperative vehicle platoon controllers.

Hilal Diab, Martín G. Chávez Grunewald, Ibtissem Ben Makhlouf, Dirk Abel, Stefan Kowalewski

Proceedings of the 13th International IEEE Conference on Intelligent Transportation Systems, 2010

2009

Safety Assessment of Networked Vehicle Platoon Controllers - Practical Experiences With Available Tools.

Martín Guillermo, Ibtissem Ben Makhlouf, Stefan Kowalewski, Chávez Grunewald, Dirk Abel

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2006

An Evaluation of two Recent Reachability Analysis Tools for Hybrid Systems.

Ibtissem Ben Makhlouf, Stefan Kowalewski

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006