From Dissipativity Theory to Compositional Construction of Control Barrier Certificates
This paper proposes a compositional framework based on dissipativity approaches to construct control barrier certificates for networks of continuous-time stochastic hybrid systems. The proposed scheme leverages the structure of the interconnection topology and a notion of so-called control storage c...
Main Authors: | Nejati, Ameneh, Zamani, Majid |
---|---|
Format: | Article |
Language: | English |
Published: |
Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
2022-12-01
|
Series: | Leibniz Transactions on Embedded Systems |
Subjects: | |
Online Access: | https://drops.dagstuhl.de/storage/07lites/lites_vol008/lites_vol008_issue002/LITES.8.2.6/LITES.8.2.6.pdf |
Similar Items
-
A Learner-Refiner Framework for Barrier Certificate Generation
by: Deng Chen, et al.
Published: (2025-03-01) -
Restructuring Dynamical Systems for Inductive Verification
by: Vishnu Murali, et al.
Published: (2023-01-01) -
Perceived value and barriers of nursing specialty certifications among clinical nurses in Saudi Arabia: a cross-sectional study
by: Alawiah T. AlSadah, et al.
Published: (2025-02-01) -
Indonesia-US Trade Barrier: A Study on the Halal Certification of Imported Chicken Leg Quarters
by: Akim Akim, et al.
Published: (2023-05-01) -
The barriers, facilitators and association of vaccine certificates on COVID-19 vaccine uptake: a scoping review
by: David T. Zhu, et al.
Published: (2023-09-01)