A Benchmark Suite for Hybrid Systems Reachability Analysis von Chen, Xin, Schupp, Stefan, Makhlouf, Ibtissem Ben, Ábrahám, Erika, Frehse, Goran, Kowalewski, Stefan

Volltext

Contribution to Groundwater Research in the World’s Largest Hot Desert: Hydrogeophysical Study for the Apprehension of the Jurassic Aquifer in the Tunisian “Sahara” von Makhlouf, Ibtissem, Guellala, Rihab, Ben Lasmar, Rafika, Dkhaili, Noomen, Salmouna, Lotfi, Chahtour, Elkods

Volltext

HYPRO: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis von Schupp, Stefan, Ábrahám, Erika, Makhlouf, Ibtissem Ben, Kowalewski, Stefan

Volltext

Reachability Analysis of Linear Systems with Stepwise Constant Inputs von Hänsch, Paul, Diab, Hilal, Makhlouf, Ibtissem Ben, Kowalewski, Stefan

Volltext

A platoon of vehicles approaching an intersection: A testing platform for safe intersections von Diab, Hilal, Makhlouf, Ibtissem Ben, Kowalewski, Stefan

Volltext

Reachability analysis for managing platoons at intersections von Ben Makhlouf, Ibtissem, Diab, Hilal, Kowalewski, Stefan

Volltext bestellen

Safety Verification of a Controlled Cooperative Platoon Under Loss of Communication Using Zonotopes von Makhlouf, Ibtissem Ben, Diab, Hilal, Kowalewski, Stefan

Volltext

Current Challenges in the Verification of Hybrid Systems von Schupp, Stefan, Ábrahám, Erika, Chen, Xin, Ben Makhlouf, Ibtissem, Frehse, Goran, Sankaranarayanan, Sriram, Kowalewski, Stefan

Volltext

Safety Verification of a Cooperative Vehicle Platoon with Uncertain Inputs Using Zonotopes von Ben Makhlouf, Ibtissem, Maschuw, Jan P., Hänsch, Paul, Diab, Hilal, Kowalewski, Stefan, Abel, Dirk

Volltext

A Study on Solving Guard and Invariant Set Intersection in Zonotope-based Reachability of Linear Hybrid Systems von Makhlouf, Ibtissem Ben, Gan, Jonathan, Kowalewski, Stefan

Volltext

Regelung und Sicherheitsanalyse einer Gruppe Massenpunktfahrzeuge mit Hilfe energiebasierter MethodenControl and Safety Analysis of a Group of Point Mass Vehicles Using Energy Meth... von Chávez Grunewald, Martín Guillermo, Ben Makhlouf, Ibtissem, Diab, Hial, Mut, Vicente, Kowalewski, Stefan, Abel, Dirk

Volltext

Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems von Ben Makhlouf, Ibtissem

Volltext bestellen

Comparison of reachability methods for uncertain linear time-invariant systems von Ben Makhlouf, Ibtissem, Hansch, Paul, Kowalewski, Stefan

Volltext bestellen

AN EVALUATION OF TWO RECENT REACHABILITY ANALYSIS TOOLS FOR HYBRID SYSTEMS von Makhlouf, Ibtissem Ben, Kowalewski, Stefan

Volltext

A testing platform for cooperative vehicle platoon controllers von Diab, Hilal, Chavez Grunewald, Martin G., Ben Makhlouf, Ibtissem, Abel, Dirk, Kowalewski, Stefan

Volltext

On the Effects of Network Delays on an Energy-based Controller von Grunewald, Martín G. Chávez, Makhlouf, Ibtissem Ben, Diab, Hilal, Abel, Dirk, Kowalewski, Stefan

Volltext

Safety Assessment of Networked Vehicle Platoon Controllers – Practical Experiences With Available Tools von Guillermo, Martín, Makhlouf, Ibtissem Ben, Kowalewski, Stefan, Grunewald, Chavez, Abel, Dirk

Volltext

Tuning of Ag doped core−shell ZnO NWs Cu2O grown by electrochemical deposition von Makhlouf, Houssin, Messaoudi, Olfa, Souissi, Ahmed, Ben Assaker, Ibtissem, Oueslati, Mihrez, Bechelany, Mikhael, Chtourou, Radhouane

Volltext

Tuning of Ag doped core−shell ZnO NWs/Cu 2 O grown by electrochemical deposition von Makhlouf, Houssin, Messaoudi, Olfa, Souissi, Ahmed, Ben Assaker, Ibtissem, Oueslati, Mihrez, Bechelany, Mikhael, Chtourou, Radhouane

Volltext

Tuning of Ag doped core-shell ZnO NWs/Cu sub(2)O grown by electrochemical deposition von Makhlouf, Houssin, Messaoudi, Olfa, Souissi, Ahmed, Assaker, Ibtissem Ben, Oueslati, Mihrez, Bechelany, Mikhael, Chtourou, Radhouane

Volltext