Author/Creator: Khalgui, Mohamed - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Khalgui, Mohamed

1. An approach to implement a Programmable Logic Controller from real-time software components. (1st December 2008)

Authors:: Khalgui, Mohamed; Rebeuf, Xavier
Journal:: International journal of industrial and systems engineering
Issue:: Volume 4:Number 1(2009)
Page Start:: 60
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. An IEC61499-based development approach for distributed industrial control applications. (6th November 2008)

Authors:: Khalgui, Mohamed; Thramboulidis, Kleanthis
Journal:: International journal of modelling, identification and control
Issue:: Volume 4:Number 2(2008)
Page Start:: 186
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. An optimised simulation of component-based embedded systems in manufacturing industry. (18th December 2008)

Authors:: Khalgui, Mohamed; Carpanzano, Emanuele; Hanisch, Hans-Michael
Journal:: International journal of simulation and process modelling
Issue:: Volume 4:Number 2(2008)
Page Start:: 148
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Automatic NCES-based specification and SESA-based verification of feasible control components in benchmark production systems. (15th April 2011)

Authors:: Khalgui, Mohamed; Hanisch, Hans-Michael
Journal:: International journal of modelling, identification and control
Issue:: Volume 12:Number 3(2011)
Page Start:: 223
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. Automatic supervisory control for the self‐healing of smart grids based on colored Petri nets. Issue 11 (30th May 2018)

Authors:: Jiang, Zhongyuan; Khalgui, Mohamed; Al‐Ahmari, Abdulrahman; Li, Zhiwu; Wu, Naiqi; Zhou, Mengchu
Journal:: IEEJ transactions on electrical and electronic engineering
Issue:: Volume 13:Issue 11(2018)
Page Start:: 1612
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

6. BROMETH: Methodology to design safe reconfigurable medical robotic systems. Issue 3 (14th November 2016)

Authors:: Ben Salem, Mohamed Oussama; Mosbahi, Olfa; Khalgui, Mohamed; Jlalia, Zied; Frey, Georg; Smida, Mahmoud
Journal:: International journal of medical robotics and computer assisted surgery
Issue:: Volume 13:Issue 3(2017)
Page Start:: n/a
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

7. Combining formal methods for the development of reactive systems. (13th February 2012)

Authors:: Mosbahi, Olfa; Khalgui, Mohamed
Journal:: International journal of computer applications technology
Issue:: Volume 42:Number 2/3(2011)
Page Start:: 127
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

8. Fairness concern‐based coordinated vehicle route guidance using an asymmetrical congestion game. Issue 9 (1st June 2022)

Authors:: Zhang, Le; Khalgui, Mohamed; Li, Zhiwu; Zhang, Yongsheng
Journal:: IET intelligent transport systems
Issue:: Volume 16:Issue 9(2022)
Page Start:: 1236
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

9. Formal approach for the development of intelligent industrial control components. (13th February 2012)

Authors:: Khalgui, Mohamed; Mosbahi, Olfa
Journal:: International journal of computer applications technology
Issue:: Volume 42:Number 2/3(2011)
Page Start:: 84
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

10. Functional safety of adaptive embedded control systems: new solutions. (1st January 2014)

Authors:: Gharbi, Atef; Khalgui, Mohamed
Journal:: International journal of critical computer-based systems
Issue:: Volume 5:Number 3/4(2014)
Page Start:: 300
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗