Safety control with performance guarantees of cooperative systems using compositional abstractions**This work was partly supported by a PhD scholarship and the research project COHYBA funded by R_egion Rh^one-Alpes.-Reference-Cited by-同舟云学术

Safety control with performance guarantees of cooperative systems using compositional abstractions**This work was partly supported by a PhD scholarship and the research project COHYBA funded by R_egion Rh^one-Alpes.

Published:2015 Issue:27 Volume:48 Page:317-322
ISSN:2405-8963
Container-title:IFAC-PapersOnLine
language:en
Short-container-title:IFAC-PapersOnLine

Author:

Meyer Pierre-Jean,Girard Antoine,Witrant Emmanuel

Publisher

Elsevier BV

Subject

Control and Systems Engineering

Reference20 articles.

1. Reactive modules;Alur;Formal Methods in System Design,1999

2. Discrete abstractions of hybrid systems;Alur;Proceedings of the IEEE,2000

3. Monotone control systems;Angeli;IEEE Transactions on Automatic Control,2003

4. Underfloor air distribution (UFAD) design guide;Bauman,2003

5. Global stability of enzymatic chains of full reversible Michaelis-Menten reactions;Belgacem;Acta biotheoretica,2013

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Decentralized Control of Networks of Nondeterministic and Metric Finite State Systems;IEEE Control Systems Letters;2024

2. Data-Driven Models of Monotone Systems;IEEE Transactions on Automatic Control;2023

3. Predictive and Symbolic Control: Performance and Safety for Non-linear Systems;IFAC-PapersOnLine;2022

4. Synthesis of interconnected control systems under reachability specifications;2021 60th IEEE Conference on Decision and Control (CDC);2021-12-14

5. Least-violating symbolic controller synthesis for safety, reachability and attractivity specifications;Automatica;2021-05