![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 5
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]
Murali, Vishnu; Trivedi, Ashutosh und Zamani, Majid
(2022):
A Scenario Approach for Synthesizing k-Inductive Barrier Certificates.
In: IEEE Control Systems Letters (L-Css), Bd. 6: S. 3247-3252
Liu, Siyuan; Trivedi, Ashutosh; Yin, Xiang und Zamani, Majid
(2022):
Secure-by-construction synthesis of cyber-physical systems.
In: Annual Reviews in Control, Bd. 53: S. 30-50
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
Lavaei, Abolfazl; Somenzi, Fabio; Soudjani, Sadegh; Trivedi, Ashutosh und Zamani, Majid
(2020):
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning.
In: 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS 2020): S. 98-107