Search - Cnam - Conservatoire national des arts et métiers Access content directly

Filter your results

23 Results
Structure: Internal structure identifier : 469153
Image document

Robust output feedback model predictive control for constrained linear systems via interval observers

Alex Reis de Souza , Denis Efimov , Tarek Raïssi , Xubin Ping , Alex dos Reis de Souza
Automatica, 2021, 135, pp.109951. ⟨10.1016/j.automatica.2021.109951⟩
Journal articles hal-03297175v1

Exploiting Local Persistency for Reduced State Space Generation

Kamel Barkaoui , Hanifa Boucheneb , Zhiwu Li
12th International Conference on Verification and Evaluation of Computer and Communication Systems VECoS 2018, Oct 2018, Porto, Portugal. pp.166-181, ⟨10.1007/978-3-030-00359-3_11⟩
Conference papers hal-02475841v1

Necessary and sufficient liveness condition of GS 3 PR Petri nets

Gaiyun Liu , Kamel Barkaoui
International Journal of Systems Science, 2015, 46 (7), pp.1147-1160. ⟨10.1080/00207721.2013.827257⟩
Journal articles hal-02479669v1

Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs

Yufeng Chen , Zhiwu Li , Kamel Barkaoui , Naiqi Wu , Mengchu Zhou
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2017, 47 (2), pp.364-379. ⟨10.1109/TSMC.2016.2521833⟩
Journal articles hal-02476553v1
Image document

Simultaneous interval state and fault estimation for continuous-time switched systems

Chaima Zammali , Jérémy van Gorp , X. Ping , Tarek Raissi
10th IFAC Symposium on Robust Control Design ROCOND 2022, Aug 2022, Online (Kyoto), Japan. pp.73-78, ⟨10.1016/j.ifacol.2022.09.326⟩
Conference papers hal-03874705v1
Image document

IoT-based smart and complex systems: a guest editorial report

Naiqi Wu , Zhiwu Li , Kamel Barkaoui , Xiaoou Li , Tadahiko Murata , et al.
IEEE/CAA Journal of Automatica Sinica, 2018, 5 (1), pp.69-73. ⟨10.1109/JAS.2017.7510748⟩
Journal articles hal-02475831v1

Observer-based output feedback robust MPC via zonotopic set-membership state estimation for LPV systems with bounded disturbances and noises

Xubin Ping , Sen Yang , Baocang Ding , Tarek Raissi , Zhiwu Li
Journal of The Franklin Institute, 2020, 357 (11), pp.7368-7398. ⟨10.1016/j.jfranklin.2020.05.014⟩
Journal articles hal-03054206v1

Time based deadlock prevention for Petri nets

Hanifa Boucheneb , Kamel Barkaoui , Qian Xing , Kuangze Wang , Gaiyun Liu , et al.
Automatica, 2022, 137, pp.110119. ⟨10.1016/j.automatica.2021.110119⟩
Journal articles hal-03769998v1
Image document

Transformation of Business Process Model and Notation models onto Petri nets and their analysis

Umair Mutarraf , Kamel Barkaoui , Zhiwu Li , Naiqi Wu , Ting Qu
Advances in Mechanical Engineering, 2018, 10 (12), pp.168781401880817. ⟨10.1177/1687814018808170⟩
Journal articles hal-02475788v1

Adaptive Deadlock Control for a Class of Petri Nets With Unreliable Resources

Ziliang Zhang , Gaiyun Liu , Kamel Barkaoui , Zhiwu Li
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2021, 52 (5), pp.3113-3125. ⟨10.1109/TSMC.2021.3062469⟩
Journal articles hal-03154125v1

On modelling and evaluation of corrective and preventive maintenance policies of unreliable manufacturing systems

Rym Meriah , Kamel Barkaoui , Gaiyun Liu , Olfa Belkahla Driss
2019 6th International Conference on Control, Decision and Information Technologies (CoDIT), Apr 2019, Paris, France. pp.1752-1757, ⟨10.1109/CoDIT.2019.8820665⟩
Conference papers hal-02475918v1

Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and Vector Covering for Flexible Manufacturing Systems

Chengzong Li , Yufeng Chen , Zhiwu Li , Kamel Barkaoui
IEEE Access, 2017, 5, pp.16349-16358. ⟨10.1109/ACCESS.2017.2720630⟩
Journal articles hal-02476571v1

Towards Efficient Partial Order Techniques for Time Petri Nets

Kuangze Wang , Hanifa Boucheneb , Kamel Barkaoui , Zhiwu Li
14th International Conference on Verification and Evaluation of Computer and Communication Systems. VECoS 2020, Oct 2020, Xian ( virtual), France. pp.100-115, ⟨10.1007/978-3-030-65955-4_8⟩
Conference papers hal-03130690v1
Image document

On the enforcement of a class of nonlinear constraints on Petri nets

Yufeng Chen , Zhiwu Li , Kamel Barkaoui , Alessandro Giua
Automatica, 2015, 55, pp.116-124. ⟨10.1016/j.automatica.2015.02.014⟩
Journal articles hal-02479661v1
Image document

Robust Output Feedback MPC: An Interval-Observer Approach

Alex Reis de Souza , Denis Efimov , Tarek Raïssi , Xubin Ping
Proc. IEEE CDC 2020, Dec 2020, Jeju Island, South Korea
Conference papers hal-02909626v1
Image document

A Collaborative Observer for Switched Linear Systems with Unknown Inputs

Jorge Dávila , Tarek Raissi , Xubin Ping
2021 American Control Conference, May 2021, New Orleans, United States
Conference papers hal-03226024v1
Image document

Deadlock analysis and control based on Petri nets: A siphon approach review

Yifan Hou , Kamel Barkaoui
Advances in Mechanical Engineering, 2017, 9 (5), pp.168781401769354. ⟨10.1177/1687814017693542⟩
Journal articles hal-02476563v1
Image document

Towards a Secure RA2DL Based Approach

Farid Adaili , Olfa Mosbahi , Mohamed Khalgui , Samia Bouzefrane
Evaluation of Novel Approaches to Software Engineering 11th International Conference, ENASE 2016, Rome, Italy, April 27–28, 2016, Revised Selected Papers, Springer, pp.89-110, 2016, ⟨10.1007/978-3-319-56390-9_5⟩
Book sections hal-02425159v1

Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources

Xiaoyan Li , Gaiyun Liu , Zhiwu Li , Naiqi Wu , Kamel Barkaoui
IEEE Access, 2019, 7, pp.21006-21019. ⟨10.1109/ACCESS.2019.2897753⟩
Journal articles hal-02475588v1

IPR-based distributed interval observers design for uncertain LTI systems

Danxia Li , Jing Chang , Weisheng Chen , Tarek Raissi
ISA Transactions, 2022, 121, pp.147-155. ⟨10.1016/j.isatra.2021.03.026⟩
Journal articles hal-03182791v1
Image document

Fault Detection and Isolation for Linear discrete-time Delayed Systems based on L∞ Observer and Zonotopic Analysis

Naima Sehli , Kaouther Ibn Taarit , Xubin Ping , Zhenhua Wang , Tarek Raïssi , et al.
10th IFAC Symposium on Robust Control Design ROCOND 2022, Aug 2022, Kyoto, Japan. pp.169-174, ⟨10.1016/j.ifacol.2022.09.342⟩
Conference papers hal-03874835v1
Image document

A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems

Ahmed Kheldoun , Kamel Barkaoui , Jiafeng Zhang , Malika Ioualalen
5th International Conference on Computer Science and Its Applications (CIIA), May 2015, Saida, Algeria. pp.551-562, ⟨10.1007/978-3-319-19578-0_45⟩
Conference papers hal-01789937v1
Image document

A convexity approach to dynamic output feedback robust MPC for LPV systems with bounded disturbances

Xubin Ping , Sen Yang , Baocang Ding , Tarek Raissi , Zhiwu Li
International Journal of Control, Automation and Systems, 2019, ⟨10.1007/s12555-019-0089-2⟩
Journal articles hal-02467232v1