|
Eine Ebene nach oben |
Gruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 4
2022
Anand, Mahathi; Murali, Vishnu; Trivedi, Ashutosh und Zamani, Majid
(2022):
k-Inductive Barrier Certificates for Stochastic Systems.
HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, 2022.
Bartocci, Ezio (Hrsg.):
In: 25th ACM International Conference on Hybrid Systems: Computation and Control,
New York: Association for Computing Machinery. S. 1-11
[PDF, 952kB]
Anand, Mahathi; Lavaei, Abolfazl und Zamani, Majid
(2022):
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems.
In: IEEE Transactions on Automatic Control, Bd. 67, Nr. 10: S. 5638-5645
2021
Anand, Mahathi; Murali, Vishnu; Trivedi, Ashutosh und Zamani, Majid
(2021):
Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates.
2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, 14-17 December 2021.
In: 2021 60th IEEE Conference on Decision and Control (CDC),
S. 1314-1320
2020
Anand, Mahathi; Lavaei, Abolfazl und Zamani, Majid
(2020):
Compositional Construction of Control Barrier Certificates for Large-Scale Interconnected Stochastic Systems.
In: Ifac Papersonline, Bd. 53, Nr. 2: S. 1862-1867