HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Ibtissem Ben Makhlouf

Publications
HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions
Ibtissem Ben Makhlouf, Norman Hansen and Stefan Kowalewski
In:ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability
Ibtissem Ben Makhlouf and Stefan Kowalewski
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools
Ibtissem Ben Makhlouf and Stefan Kowalewski
In:ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems

Keyphrases

Academic2, Automotive, benchmark, control2, H2/Hinf control, HyReach, linear hybrid systems, MATLAB, Networked Systems, Platoon, reachability2, safety, Support Functions2, tool, verification.

Copyright © 2012-2023 easychair.org. All rights reserved.