ehemalige Wissenschaftliche Mitarbeiterin
makhlouf[at]embedded[dot]rwth-aachen[dot]de
@inproceedings { BHK17, author = { Ben Makhlouf, Ibtissem and Hansen, Norman and Kowalewski, Stefan }, title = { HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions }, booktitle = { ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems / Editors: Goran Frehse and Matthias Althoff }, pages = { 68-79 }, series = { EPiC Series in Computing }, year = { 2017 }, organization = { 3. International Workshop on Applied Verification for Continuous and Hybrid Systems, Vienna (Austria), 2016-04-12 - 2016-04-12 }, typ = { PUB:(DE-HGF)7 }, reportid = { RWTH-CONV-213474 }, cin = { 122810 / 120000 }, url = { https://easychair.org/publications/paper/334327 }, }
@inproceedings { SAB+17, author = { Schupp, Stefan and Ábrahám, Erika and Ben Makhlouf, Ibtissem and Kowalewski, Stefan }, title = { HyPro : A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis }, booktitle = { NASA formal methods : 9th international symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings / Clark Barrett, Misty Davies, Temesghen Kahsai (eds.) }, publisher = { Springer }, pages = { 288-294 }, series = { Lecture Notes in Computer Science }, year = { 2017 }, address = { Cham }, organization = { NASA Formal Methods (NFM) Symposium, Moffett Field, CA (USA), 2017-05-16 - 2017-05-18 }, doi = { 10.1007/978-3-319-57288-8_20 }, typ = { PUB:(DE-HGF)7 }, reportid = { RWTH-2017-06600 }, cin = { 123420 / 120000 / 122810 }, url = { http://publications.rwth-aachen.de/record/696076 }, }
@phdthesis { Ben16, author = { Ben Makhlouf, Ibtissem }, othercontributors = { Kowalewski, Stefan and Frehse, Goran }, title = { Comparative evaluation and improvement of computational approaches to reachability analysis of linear hybrid systems }, publisher = { Shaker Verlag }, school = { RWTH Aachen }, pages = { viii, 221 Seiten : Illustrationen, Diagramme }, series = { Aachener Informatik-Berichte }, year = { 2016 }, address = { Aachen }, isbn = { 978-3-8440-4376-1 }, typ = { PUB:(DE-HGF)3 }, reportid = { RWTH-2016-02174 }, cin = { 122810 / 120000 }, url = { http://publications.rwth-aachen.de/record/571624/files/571624.pdf }, }
@article { BGK15, author = { Ben Makhlouf, Ibtissem and Gan, Jonathan and Kowalewski, Stefan }, title = { A Study on Solving Guard and Invariant Set Intersection in Zonotope-based Reachability of Linear Hybrid Systems }, journal = { IFAC-PapersOnLine }, publisher = { IFAC }, pages = { 13-20 }, volume = { 48 }, number = { 27 }, year = { 2015 }, address = { Laxenburg }, issn = { 2405-8963 }, organization = { Analysis and Design of Hybrid Systems, Atlanta, GA (USA), 2015-10-14 - 2015-10-16 }, doi = { 10.1016/j.ifacol.2015.11.146 }, typ = { PUB:(DE-HGF)8 }, reportid = { RWTH-2015-07851 }, cin = { 122810 / 120000 }, url = { http://publications.rwth-aachen.de/record/565384 }, }
@inproceedings { BK15, author = { Ben Makhlouf, Ibtissem and Kowalewski, Stefan }, title = { Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools }, booktitle = { [ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems / Goran Frehse and Matthias Althoff (editors)] }, publisher = { EasyChair }, pages = { 37-42 }, series = { EPiC Series in Computer Science }, year = { 2015 }, organization = { 1. and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems }, typ = { PUB:(DE-HGF)8 }, reportid = { RWTH-CONV-207903 }, cin = { 122810 / 120000 }, url = { http://www.easychair.org/publications/download/Networked_Cooperative_Platoon_of_Vehicles_for_Testing_Methods_and_Verification_Tools }, }
@inproceedings { BK15a, author = { Ben Makhlouf, Ibtissem and Kowalewski, Stefan }, title = { Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability }, booktitle = { [ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems / Goran Frehse and Matthias Althoff (editors)] }, publisher = { EasyChair }, pages = { 169-179 }, series = { EPiC Series in Computing }, year = { 2015 }, organization = { 1. and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems }, typ = { PUB:(DE-HGF)7 }, reportid = { RWTH-CONV-207910 }, cin = { 122810 / 120000 }, url = { http://www.easychair.org/images/pdf.gif }, }
@inproceedings { CSB+15, author = { Chen, Xin and Schupp, Stefan and Ben Makhlouf, Ibtissem and Ábrahám, Erika and Frehse, Goran and Kowalewski, Stefan }, title = { A Benchmark Suite for Hybrid Systems Reachability Analysis }, booktitle = { NASA Formal Methods ; 7th International Symposium, NFM 2015, Pasadena, Calif., USA, April 27-29, 2015, Proceedings / edited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi }, publisher = { Springer }, pages = { 408-414 }, series = { Lecture Notes in Computer Science }, year = { 2015 }, address = { Cham }, organization = { 7. International Symposium Formal Methods, Pasadena, Calif. (Germany), 2015-04-27 - 2015-04-29 }, doi = { 10.1007/978-3-319-17524-9_29 }, typ = { PUB:(DE-HGF)7 }, reportid = { RWTH-CONV-207695 }, cin = { 123420 / 120000 / 122810 }, url = { http://publications.rwth-aachen.de/record/541100 }, }
@inproceedings { SAC+15, author = { Schupp, Stefan and Ábrahám, Erika and Chen, Xin and Ben Makhlouf, Ibtissem and Frehse, Goran and Sankaranarayanan, Sriram and Kowalewski, Stefan }, title = { Current Challenges in the Verification of Hybrid Systems }, booktitle = { Cyber physical systems : design, modeling, and evaluation ; 5th international workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 ; proceedings / Christian Berger ... (eds.) }, publisher = { Springer International Publishing }, pages = { 8-24 }, series = { Lecture Notes in Computer Science }, year = { 2015 }, address = { Cham }, organization = { 5. Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, Amsterdam (Netherlands), 2015-10-08 - 2015-10-08 }, doi = { 10.1007/978-3-319-25141-7_2 }, typ = { PUB:(DE-HGF)7 }, reportid = { RWTH-2015-07355 }, cin = { 121310 / 120000 / 123420 / 121330 / 122810 }, url = { http://publications.rwth-aachen.de/record/564375 }, }
@inproceedings { BK14, author = { Ben Makhlouf, Ibtissem and Kowalewski, Stefan }, title = { Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools }, booktitle = { ARCH14 CPSWeek 2014 : Berlin, Germany, April 14 - 17, 2014 }, pages = { 6 Seiten }, year = { 2014 }, address = { [s.l.] }, organization = { ARCH14 CPSWeek 2014, Berlin (Germany), 2014-04-14-2014-04-17 }, typ = { PUB:(DE-HGF)8 }, reportid = { RWTH-CONV-205606 }, cin = { 120000 / 122810 }, url = { http://cps-vo.org/node/12115 }, }
@inproceedings { BDK13, author = { Ben Makhlouf, Ibtissem and Diab, Hilal and Kowalewski, Stefan }, title = { Reachability Analysis for Managing Platoons at Intersections }, booktitle = { 2013 21st Mediterranean Conference on Control & Automation (MED 2013) : [Platanias], Chania, Crete, Greece, 25 - 28 June 2013 ; [conference proceedings] / [sponsor: Mediterranean Control Association. Technical co-sponsors: IEEE Control Systems Society; IEEE Robotics & Automation Society ... Ed. by Panos Antsaklis ...]. - 1-2 }, publisher = { IEEE }, pages = { 1141-1147 }, year = { 2013 }, address = { Piscataway, NJ }, organization = { 21. Mediterranean Conference on Control & Automation, Chania, Crete (Greece), 2013-06-25 - 2013-06-28 }, doi = { 10.1109/MED.2013.6608864 }, typ = { PUB:(DE-HGF)8 }, reportid = { RWTH-CONV-204343 }, cin = { 120000 / 122810 }, url = { http://publications.rwth-aachen.de/record/226951 }, }
@inproceedings { BHK13, author = { Ben Makhlouf, Ibtissem and H{\"a}nsch, Paul and Kowalewski, Stefan }, title = { Comparison of Reachability Methods for Uncertain Linear Time-Invariant Systems }, booktitle = { Proceedings of the 12th European Control Conference (ECC) : July 17 -19, 2013, Zuerich, Switzerland }, publisher = { Omnipress }, pages = { 1101-1106 }, year = { 2013 }, address = { Z{\"u}rich }, organization = { 12. European Control Conference (ECC), Zuerich (Switzerland), 2013-07-17 - 2013-07-19 }, typ = { PUB:(DE-HGF)8 }, reportid = { RWTH-CONV-202859 }, cin = { 120000 / 122810 }, url = { http://publications.rwth-aachen.de/record/225184 }, }
@article { HDB+13, author = { H{\"a}nsch, Paul and Diab, Hilal and Ben Makhlouf, Ibtissem and Kowalewski, Stefan }, title = { Reachability Analysis of Linear Systems with Stepwise Constant Inputs }, journal = { Electronic notes in theoretical computer science : ENTCS }, publisher = { Elsevier }, pages = { 61-74 }, volume = { 297 }, year = { 2013 }, address = { Amsterdam }, issn = { 1571-0661 }, organization = { 1. workshop on Hybrid Autonomous Systems }, doi = { 10.1016/j.entcs.2013.12.005 }, typ = { PUB:(DE-HGF)16 }, reportid = { RWTH-CONV-088053 }, cin = { 120000 / 122810 }, url = { http://publications.rwth-aachen.de/record/445077 }, }
@inproceedings { BDK12, author = { Ben Makhlouf, Ibtissem and Diab, Hilal and Kowalewski, Stefan }, title = { Safety Verification of a Controlled Cooperative Platoon Under Loss of Communication Using Zonotopes }, booktitle = { Inproceeding of the 4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 12), Eindhoven, NL }, pages = { 333-338 }, year = { 2012 }, organization = { 4. IFAC Conference on Analysis and Design of Hybrid Systems, Eindhoven (Netherlands) }, doi = { 10.3182/20120606-3-NL-3011.00053 }, typ = { PUB:(DE-HGF)8 }, reportid = { RWTH-CONV-200116 }, cin = { 122810 / 120000 }, url = { http://publications.rwth-aachen.de/record/197942 }, }
@inproceedings { DBK12, author = { Diab, Hilal and Ben Makhlouf, Ibtissem and Kowalewski, Stefan }, title = { A Platoon of Vehicles Approaching an Intersection: A Testing Platform for Safe Intersections }, booktitle = { 2012 15th International IEEE Conference on Intelligent Transportation Systems (ITSC) : 16 - 19 Sept. 2012, Anchorage, Alaska, USA }, publisher = { IEEE }, pages = { 1918-1923 }, year = { 2012 }, address = { Piscataway, NJ }, organization = { 15. International IEEE Conference on Intelligent Transportation Systems, Anchorage (USA), 16-09-2012 - 19-09-2012 }, doi = { 10.1109/ITSC.2012.6338822 }, typ = { PUB:(DE-HGF)8 }, reportid = { RWTH-CONV-199932 }, cin = { 122810 / 120000 }, url = { http://publications.rwth-aachen.de/record/197725 }, }
@inproceedings { BMH+11, author = { Ben Makhlouf, Ibtissem and Maschuw, Jan P. and H{\"a}nsch, Paul and Diab, Hilal and Kowalewski, Stefan and Abel, Dirk }, title = { Safety Verification of a Cooperative Vehicle Platoon withUncertain Inputs Using Zonotopes }, booktitle = { Proceedings of the 18th IFAC World Congress, 2011 : August 28 - September 2, 2011, Università Cattolica del Sacro Cuore, Milano Italy / Ed.: Sergio Bittanti ... }, publisher = { Curran }, pages = { 9769-9774 }, series = { IFAC-PapersOnLine }, year = { 2011 }, address = { Milano, Italy }, organization = { 18. IFAC World Congress, Milano (Italy), 2011-08-28 - 2011-09-02 }, doi = { 10.3182/20110828-6-IT-1002.02165 }, typ = { PUB:(DE-HGF)8 }, reportid = { RWTH-CONV-173769 }, cin = { 120000 / 122810 }, url = { http://publications.rwth-aachen.de/record/100991 }, }
@techreport { CBD+10, author = { Chávez Grunewald, Martin Guillermo and Ben Makhlouf, Ibtissem and Diab, Hilal and Abel, Dirk and Kowalewski, Stefan }, title = { On the Effects of Network Delays on an Energy-based Controller }, booktitle = { NecSys'10 : 2nd IFAC Workshop on Distributed Estimation and Control in Networked Systems ; 13-14 September, 2010, Centre de Congrès de L'Impérial Palace, Annecy, France }, pages = { 169-174 }, number = { TuPO11.1 }, year = { 2010 }, organization = { 2. IFAC Workshop on Distributed Estimation and Control in Networked Systems, Annecy (France), 2010-09-13 - 2010-09-14 }, typ = { PUB:(DE-HGF)8 }, reportid = { RWTH-CONV-009571 }, cin = { 122810 / 416610 / 120000 }, url = { http://publications.rwth-aachen.de/record/118448 }, }
@inproceedings { CBD+10a, author = { Chávez Grunewald, Martin Guillermo and Ben Makhlouf, Ibtissem and Diab, Hilal and Mut, Vicente and Kowalewski, Stefan and Abel, Dirk }, title = { Regelung und Sicherheitsanalyse einer Gruppe Massenpunktfahrzeuge mit Hilfe energiebasierter Methoden }, booktitle = { Automatisierungstechnik : at }, publisher = { Oldenbourg }, pages = { 227-235 }, volume = { 58 }, number = { 4 }, year = { 2010 }, address = { M{\"u}nchen }, issn = { 0178-2312 }, doi = { 10.1524/auto.2010.0829 }, typ = { PUB:(DE-HGF)16 }, reportid = { RWTH-CONV-002157 }, cin = { 122810 / 416610 / 120000 }, url = { http://publications.rwth-aachen.de/record/133927 }, }
@inproceedings { DCB+10, author = { Diab, Hilal and Chávez Grunewald, Martin Guillermo and Ben Makhlouf, Ibtissem and Abel, Dirk and Kowalewski, Stefan }, title = { A testing platform for cooperative vehicle platoon controllers }, booktitle = { 13th International IEEE Conference on Intelligent Transportation Systems : ITSC 2010 ; 19 - 22 September, 2010, Madeira Island, Portugal ; conference proceedings / IEEE }, publisher = { IEEE }, pages = { 1718-1723 }, year = { 2010 }, address = { Piscataway, NJ }, organization = { 13. International IEEE Conference on Intelligent Transportation Systems, Madeira Island (Portugal), 2010-09-19 - 2010-09-22 }, doi = { 10.1109/ITSC.2010.5625258 }, typ = { PUB:(DE-HGF)8 }, reportid = { RWTH-CONV-189667 }, cin = { 122810 / 416610 / 120000 }, url = { http://publications.rwth-aachen.de/record/118439 }, }
@inproceedings { BKC+09, author = { Ben Makhlouf, Ibtissem and Kowalewski, Stefan and Chávez Grunewald, Martin Guillermo and Abel, Dirk }, title = { Safety assessment of networked vehicle platoon controllers : practical experiences with available tools }, booktitle = { ADHS'09: 3rd IFAC Conference on Analysis and Design of Hybrid : September 16, 17 - 18, University of Zaragoza, Spain / Aragón Institute for Engineering Research }, publisher = { University of Zaragoza }, year = { 2009 }, address = { Zaragoza, Spain }, organization = { 3. IFAC Conference on Analysis and Design of Hybrid, Zaragoza (Spain), 2009-09-16 - 2009-09-18 }, typ = { PUB:(DE-HGF)8 }, reportid = { RWTH-CONV-172519 }, cin = { 122810 / 416610 / 120000 }, url = { http://publications.rwth-aachen.de/record/99560 }, }
@inproceedings { DBK+09, author = { Diab, Hilal and Ben Makhlouf, Ibtissem and Kowalewski, Stefan and Chávez, Martin and Abel, Dirk }, title = { Control and Safety Analysis of a Platoon under Communication Constraints }, booktitle = { NE\[S/T\]COC, Sept. 28/29, Stuttgart, Priority Program 1305 Posters S.5 }, pages = { 70-71 }, year = { 2009 }, organization = { NE{S/T}COC, Stuttgart (Germany), 2009-09-28 - 2009-09-29 }, typ = { PUB:(DE-HGF)8 }, reportid = { RWTH-CONV-173123 }, cin = { 416610 / 122810 / 120000 }, url = { http://publications.rwth-aachen.de/record/100238 }, }
@inproceedings { BK06, author = { Ben Makhlouf, Ibtissem and Kowalewski, Stefan }, title = { An evaluation of two recent reachability analysis tools for hybrid systems }, booktitle = { Preprints / ADHS '06, 2nd IFAC Conference on Analysis and Design of Hybrid Systems : Alghero, Italy, June 7 - 9, 2006 / IFAC, International Federation of Automatic Control; DIEE, Dipartimento di Ingegneria Elettrica ed Elettronica, Università di Cagliari. Ed.: C. G. Cassandras ... }, pages = { 377-382 }, year = { 2006 }, address = { Alghero }, organization = { 2. IFAC Conference on Analysis and Design of Hybrid Systems, Alghero (Italy), 2006-06-07 - 2006-06-09 }, typ = { PUB:(DE-HGF)8 }, reportid = { RWTH-CONV-188518 }, cin = { 122810 / 120000 }, url = { http://www.ifac-papersonline.net/cgi-bin/links/page.cgi?g=Detailed/30190.html;d=1 }, }