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
Journal articles
hal-03297175v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Necessary and sufficient liveness condition of GS 3 PR Petri nets
Gaiyun Liu
,
Kamel Barkaoui
Journal articles
hal-02479669v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs
Yufeng Chen
,
Zhiwu Li
,
Kamel Barkaoui
,
Naiqi Wu
,
Mengchu Zhou
Journal articles
hal-02476553v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Simultaneous interval state and fault estimation for continuous-time switched systems
Chaima Zammali
,
Jérémy van Gorp
,
X. Ping
,
Tarek Raissi
Conference papers
hal-03874705v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
IoT-based smart and complex systems: a guest editorial report
Naiqi Wu
,
Zhiwu Li
,
Kamel Barkaoui
,
Xiaoou Li
,
Tadahiko Murata
,
et al.
Journal articles
hal-02475831v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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 articles
hal-03054206v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Time based deadlock prevention for Petri nets
Hanifa Boucheneb
,
Kamel Barkaoui
,
Qian Xing
,
Kuangze Wang
,
Gaiyun Liu
,
et al.
Journal articles
hal-03769998v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Transformation of Business Process Model and Notation models onto Petri nets and their analysis
Umair Mutarraf
,
Kamel Barkaoui
,
Zhiwu Li
,
Naiqi Wu
,
Ting Qu
Journal articles
hal-02475788v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Adaptive Deadlock Control for a Class of Petri Nets With Unreliable Resources
Ziliang Zhang
,
Gaiyun Liu
,
Kamel Barkaoui
,
Zhiwu Li
Journal articles
hal-03154125v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Journal articles
hal-02476571v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On the enforcement of a class of nonlinear constraints on Petri nets
Yufeng Chen
,
Zhiwu Li
,
Kamel Barkaoui
,
Alessandro Giua
Journal articles
hal-02479661v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Deadlock analysis and control based on Petri nets: A siphon approach review
Yifan Hou
,
Kamel Barkaoui
Journal articles
hal-02476563v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources
Xiaoyan Li
,
Gaiyun Liu
,
Zhiwu Li
,
Naiqi Wu
,
Kamel Barkaoui
Journal articles
hal-02475588v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
IPR-based distributed interval observers design for uncertain LTI systems
Danxia Li
,
Jing Chang
,
Weisheng Chen
,
Tarek Raissi
Journal articles
hal-03182791v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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.
Conference papers
hal-03874835v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A High Level Net for Modeling and Analysis Reconfigurable Discrete Event Control Systems
Ahmed Kheldoun
,
Kamel Barkaoui
,
Jiafeng Zhang
,
Malika Ioualalen
Conference papers
hal-01789937v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Journal articles
hal-02467232v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More