|
Eine Ebene nach oben |
Gruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Konferenzbeitrag
Anzahl der Publikationen: 9
Zeitschriftenartikel
Jagtap, Pushpak; Soudjani, Sadegh und Zamani, Majid
(2021):
Formal Synthesis of Stochastic Systems via Control Barrier Certificates.
In: IEEE Transactions on Automatic Control, Bd. 66, Nr. 7: S. 3097-3110
Jahanshahi, Niloofar; Jagtap, Pushpak und Zamani, Majid
(2021):
Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions.
In: IEEE Control Systems Letters, Bd. 5, Nr. 1: S. 253-258
Saoud, Adnane; Jagtap, Pushpak; Zamani, Majid und Girard, Antoine
(2021):
Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach.
In: IEEE Transactions on Control of Network Systems, Bd. 8, Nr. 2: S. 702-712
Jagtap, Pushpak und Zamani, Majid
(2020):
Symbolic models for retarded jump-diffusion systems.
In: Automatica, Bd. 111, 108666
Jahanshahi, Niloofar; Jagtap, Pushpak und Zamani, Majid
(2020):
Synthesis of Stochastic Systems with Partial Information via Control Barrier Functions.
In: Ifac Papersonline, Bd. 53, Nr. 2: S. 2441-2446
Jagtap, Pushpak; Swikir, Abdalla und Zamani, Majid
(2020):
Compositional Construction of Control Barrier Functions for Interconnected Control Systems.
In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (HSCC2020) (Part of Cps-Iot Week)
Ashok, Pranav; Jackermeier, Mathias; Jagtap, Pushpak; Kretinsky, Jan; Weininger, Maximilian und Zamani, Majid
(2020):
dtControl: Decision Tree Learning Algorithms for Controller Representation.
In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (HSCC2020) (Part of Cps-Iot Week)
Ashok, Pranav; Jackermeier, Mathias; Jagtap, Pushpak; Kretinsky, Jan; Weininger, Maximilian und Zamani, Majid
(2020):
Demo: dtControl: Decision Tree Learning Algorithms for Controller Representation.
In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (HSCC2020) (Part of Cps-Iot Week)
Konferenzbeitrag
Liu, Siyuan; Saoud, Adnane; Jagtap, Pushpak; Dimarogonas, Dimos V. und Zamani, Majid
(2022):
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts.
IEEE 61st Conference on Decision and Control (CDC), Cancun, Mexico, 06-09 December 2022.
In: 2022 IEEE 61st Conference on Decision and Control (CDC),
Piscataway, NJ, USA: IEEE. S. 2184-2189