Search Page
Save citations to file
Email citations
Send citations to clipboard
Add to Collections
Add to My Bibliography
Create a file for external citation management software
Your saved search
Your RSS Feed
Search Results
5 results
Filters applied: . Clear all
Results are displayed in a computed author sort order.
The Results By Year timeline is not available.
Page 1
Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors.
ISA Trans. 2019 Sep;92:145-154. doi: 10.1016/j.isatra.2019.02.003. Epub 2019 Feb 15.
ISA Trans. 2019.
PMID: 30850206
Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets.
Habbachi S, Li Z, Wu N, Khalgui M.
Habbachi S, et al. Among authors: khalgui m.
Sci Prog. 2022 Jan-Mar;105(1):368504221075466. doi: 10.1177/00368504221075466.
Sci Prog. 2022.
PMID: 35196198
Free PMC article.
Item in Clipboard
Predictive Intelligent Transportation: Alleviating Traffic Congestion in the Internet of Vehicles.
Zhang L, Khalgui M, Li Z.
Zhang L, et al. Among authors: khalgui m.
Sensors (Basel). 2021 Nov 4;21(21):7330. doi: 10.3390/s21217330.
Sensors (Basel). 2021.
PMID: 34770637
Free PMC article.
Item in Clipboard
UTM-Chain: Blockchain-Based Secure Unmanned Traffic Management for Internet of Drones.
Allouch A, Cheikhrouhou O, Koubâa A, Toumi K, Khalgui M, Nguyen Gia T.
Allouch A, et al. Among authors: khalgui m.
Sensors (Basel). 2021 Apr 27;21(9):3049. doi: 10.3390/s21093049.
Sensors (Basel). 2021.
PMID: 33925489
Free PMC article.
Item in Clipboard
BROMETH: Methodology to design safe reconfigurable medical robotic systems.
Ben Salem MO, Mosbahi O, Khalgui M, Jlalia Z, Frey G, Smida M.
Ben Salem MO, et al. Among authors: khalgui m.
Int J Med Robot. 2017 Sep;13(3). doi: 10.1002/rcs.1786. Epub 2016 Nov 14.
Int J Med Robot. 2017.
PMID: 27862888
Item in Clipboard
Cite
Cite