Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches
You, Dan, Karoui, Oussama, Wang, Shouguang
Published in IEEE/CAA journal of automatica sinica (01.02.2022)
Published in IEEE/CAA journal of automatica sinica (01.02.2022)
Get full text
Journal Article
A Deadlock Prevention Policy for a Class of Multithreaded Software
Duo, Wenli, Jiang, Xiaoning, Karoui, Oussama, Guo, Xin, You, Dan, Wang, Shouguang, Ruan, Yuan
Published in IEEE access (2020)
Published in IEEE access (2020)
Get full text
Journal Article
OVERVIEW OF OPACITY IN DISCRETE EVENT SYSTEMS
Guo, Ye, Jiang, Xiaoning, Guo, Chen, Wang, Shouguang, Karoui, Oussama
Published in IEEE access (01.01.2020)
Published in IEEE access (01.01.2020)
Get full text
Journal Article
State Space Characterization of Disjunctive Single-Unit Resource Allocation Systems
Karoui, Oussama, Khalgui, Mohamed, Chen, Yufeng, Wu, Naiqi, Rehman, Ateekh-Ur, Umer, Usama
Published in IEEE access (01.01.2018)
Published in IEEE access (01.01.2018)
Get full text
Journal Article
Dual mode for vehicular platoon safety: Simulation and formal verification
Karoui, Oussama, Khalgui, Mohamed, Koubâa, Anis, Guerfala, Emna, Li, Zhiwu, Tovar, Eduardo
Published in Information sciences (01.09.2017)
Published in Information sciences (01.09.2017)
Get full text
Journal Article
Performance evaluation of vehicular platoons using Webots
Karoui, Oussama, Guerfala, Emna, Koubaa, Anis, Khalgui, Mohamed, Tovard, Eduardo, Wu, Naiqi, Al-Ahmari, Abdulrahman, Li, Zhiwu
Published in IET intelligent transport systems (01.10.2017)
Published in IET intelligent transport systems (01.10.2017)
Get full text
Journal Article
System and method for operating a follower vehicle in a vehicle platoon
Koubaa Anis, Tovard Eduardo, Wu Naiqi, Guerfala Emna, Karoui Oussama, Khalgui Mohamed, Li Zhiwu
Year of Publication 27.03.2018
Get full text
Year of Publication 27.03.2018
Patent
SYSTEM AND METHOD FOR OPERATING A FOLLOWER VEHICLE IN A VEHICLE PLATOON
Koubaa Anis, Tovard Eduardo, Wu Naiqi, Guerfala Emna, Karoui Oussama, Khalgui Mohamed, Li Zhiwu
Year of Publication 16.11.2017
Get full text
Year of Publication 16.11.2017
Patent
SYSTEM AND METHOD FOR OPERATING A FOLLOWER VEHICLE IN A VEHICLE PLATOON
KHALGUI, MOHAMED, GUERFALA, EMNA, WU, NAIQI, KOUBAA, ANIS, LI, ZHIWU, TOVARD, EDUARDO, KAROUI, OUSSAMA
Year of Publication 23.06.2016
Get full text
Year of Publication 23.06.2016
Patent