![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel | Konferenzbeitrag
Anzahl der Publikationen: 70
Zeitschriftenartikel
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
Nejati, Ameneh; Soudjani, Sadegh und Zamani, Majid
(2022):
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems.
In: Automatica, Bd. 145, 110513
Lavaei, Abolfazl; Soudjani, Sadegh; Abate, Alessandro und Zamani, Majid
(2022):
Automated verification and synthesis of stochastic hybrid systems: A survey.
In: Automatica, Bd. 146, 110617
Zhong, Bingzhuo; Lavaei, Abolfazl; Zamani, Majid und Caccamo, Marco
(2022):
Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations.
In: Automatica, Bd. 147
Nejati, Ameneh; Lavaei, Abolfazl; Soudjani, Sadegh und Zamani, Majid
(2022):
Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach.
In: IEEE Control Systems Letters (L-Css), Bd. 7: S. 223-228
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
Tomar, Mahendra Singh und Zamani, Majid
(2022):
Modular Computation of Restoration Entropy for Networks of Systems: A Dissipativity Approach.
In: IEEE Control Systems Letters (L-Css), Bd. 6: S. 3289-3294
Noroozi, Navid; Salamati, Ali und Zamani, Majid
(2022):
Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach.
In: IEEE Control Systems Letters (L-Css), Bd. 6: S. 2210-2215
Sharifi, Maryam; Swikir, Abdalla; Noroozi, Navid und Zamani, Majid
(2022):
Compositional construction of abstractions for infinite networks of discrete-time switched systems.
In: Nonlinear Analysis - Hybrid Systems, Bd. 44, 101173
Noroozi, Navid; Mironchenko, Andrii; Kawan, Christoph und Zamani, Majid
(2022):
A small-gain theorem for set stability of infinite networks: Distributed observation and ISS for time-varying networks.
In: European Journal of Control, Bd. 67, 100634
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
Kalat, Shadi Tasdighi; Liu, Siyuan und Zamani, Majid
(2022):
Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates.
In: IEEE Control Systems Letters (L-Css), Bd. 6: S. 890-895
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
Kawan, Christoph; Mironchenko, Andrii; Swikir, Abdalla; Noroozi, Navid und Zamani, Majid
(2021):
A Lyapunov-Based Small-Gain Theorem for Infinite Networks.
In: IEEE Transactions on Automatic Control, Bd. 66, Nr. 12: S. 5830-5844
Khaled, Mahmoud und Zamani, Majid
(2021):
Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems.
In: IEEE Design & Test, Bd. 38, Nr. 5: S. 25-34
Liu, Siyuan; Noroozi, Navid und Zamani, Majid
(2021):
Symbolic models for infinite networks of control systems: A compositional approach.
In: Nonlinear Analysis-Hybrid Systems, Bd. 43, 101097
Liu, Siyuan; Swikir, Abdalla und Zamani, Majid
(2021):
Verification of approximate opacity for switched systems: A compositional approach.
In: Nonlinear Analysis-Hybrid Systems, Bd. 42, 101084
Liu, Siyuan und Zamani, Majid
(2021):
Compositional synthesis of opacity-preserving finite abstractions for interconnected systems.
In: Automatica, Bd. 131, 109745
Liu, Siyuan und Zamani, Majid
(2021):
Verification of Approximate Opacity via Barrier Certificates.
In: IEEE Control Systems Letters, Bd. 5, Nr. 4: S. 1369-1374
Mironchenko, Andrii; Noroozi, Navid; Kawan, Christoph und Zamani, Majid
(2021):
ISS small-gain criteria for infinite networks with linear gain functions.
In: Systems & Control Letters, Bd. 157, 105051
Nejati, Ameneh; Lavaei, Abolfazl; Soudjani, Sadegh und Zamani, Majid
(2021):
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems.
In: Ifac Papersonline, Bd. 54, Nr. 5: S. 277-282
Nejati, Ameneh; Soudjani, Sadegh und Zamani, Majid
(2021):
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems.
In: European Journal of Control, Bd. 57: S. 82-94
Noroozi, Navid; Mironchenko, Andrii; Kawan, Christoph und Zamani, Majid
(2021):
Set stability of infinite networks: ISS small-gain theory and its applications.
In: Ifac Papersonline, Bd. 54, Nr. 9: S. 72-77
Salamati, Ali; Lavaei, Abolfazl; Soudjani, Sadegh und Zamani, Majid
(2021):
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates.
In: Ifac Papersonline, Bd. 54, Nr. 5: S. 7-12
Salamati, Ali; Soudjani, Sadegh und Zamani, Majid
(2021):
Data-driven verification of stochastic linear systems with signal temporal logic constraints.
In: Automatica, Bd. 131, 109781
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
Swikir, Abdalla; Girard, Antoine und Zamani, Majid
(2021):
Symbolic Models for a Class of Impulsive Systems.
In: IEEE Control Systems Letters, Bd. 5, Nr. 1: S. 247-252
Tomar, Mahendra Singh; Rungger, Matthias und Zamani, Majid
(2021):
Invariance Feedback Entropy of Uncertain Control Systems.
In: IEEE Transactions on Automatic Control, Bd. 66, Nr. 12: S. 5680-5695
Zhong, Bingzhuo; Lavaei, Abolfazl; Cao, Hongpeng; Zamani, Majid und Caccamo, Marco
(2021):
Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems.
In: Nonlinear Analysis-Hybrid Systems, Bd. 43, 101110
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
Salamati, Ali; Soudjani, Sadegh und Zamani, Majid
(2020):
Data-Driven Verification under Signal Temporal Logic Constraints.
In: Ifac Papersonline, Bd. 53, Nr. 2: S. 76-81
Jagtap, Pushpak und Zamani, Majid
(2020):
Symbolic models for retarded jump-diffusion systems.
In: Automatica, Bd. 111, 108666
Lavaei, Abolfazl; Soudjani, Sadegh und Zamani, Majid
(2020):
Compositional abstraction-based synthesis for networks of stochastic switched systems.
In: Automatica, Bd. 114, 108827
Smith, Stanley W.; Arcak, Murat und Zamani, Majid
(2020):
Approximate abstractions of control systems with an application to aggregation.
In: Automatica, Bd. 119, 109065
Lavaei, Abolfazl; Soudjani, Sadegh und Zamani, Majid
(2020):
Compositional abstraction of large-scale stochastic systems: A relaxed dissipativity approach.
In: Nonlinear Analysis-Hybrid Systems, Bd. 36, 100880
Tomar, Mahendra Singh und Zamani, Majid
(2020):
Compositional Quantification of Invariance Feedback Entropy for Networks of Uncertain Control Systems.
In: IEEE Control Systems Letters, Bd. 4, Nr. 4: S. 827-832
Nejati, Ameneh; Soudjani, Sadegh und Zamani, Majid
(2020):
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems.
In: IEEE Control Systems Letters, Bd. 4, Nr. 4: S. 845-850
Lavaei, Abolfazl; Soudjani, Sadegh und Zamani, Majid
(2020):
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems.
In: IEEE Transactions on Automatic Control, Bd. 65, Nr. 12: S. 5280-5295
Liu, Siyuan; Yin, Xiang und Zamani, Majid
(2020):
On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems.
In: 2020 American Control Conference (Acc): S. 5413-5418
Kawan, Christoph; Mironchenko, Andrii; Swikir, Abdalla; Noroozi, Navid und Zamani, Majid
(2020):
A spectral small-gain condition for input-to-state stability of infinite networks.
In: Ifac Papersonline, Bd. 53, Nr. 2: S. 5303-5308
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
Nejati, Ameneh; Soudjani, Sadegh und Zamani, Majid
(2020):
Compositional Construction of Control Barrier Functions for Networks of Continuous-Time Stochastic Systems.
In: Ifac Papersonline, Bd. 53, Nr. 2: S. 1856-1861
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
Swikir, Abdalla; Noroozi, Navid und Zamani, Majid
(2020):
Compositional Synthesis of Symbolic Models for Infinite Networks.
In: Ifac Papersonline, Bd. 53, Nr. 2: S. 1868-1873
Nejati, Ameneh und Zamani, Majid
(2020):
Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach.
In: Ifac Papersonline, Bd. 53, Nr. 2: S. 1962-1967
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
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)
Lavaei, Abolfazl; Khaled, Mahmoud; Soudjani, Sadegh und Zamani, Majid
(2020):
Poster: AMYTISS: A Parallelized Tool on Automated Controller Synthesis for Large-Scale Stochastic Systems.
In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (HSCC2020) (Part of Cps-Iot Week)
Lavaei, Abolfaz; Soudjani, Sadegh und Zamani, Majid
(2019):
Compositional construction of infinite abstractions for networks of stochastic control systems.
In: Automatica, Bd. 107: S. 125-137
Swikir, Abdalla und Zamani, Majid
(2019):
Compositional synthesis of finite abstractions for networks of systems: A small-gain approach.
In: Automatica, Bd. 107: S. 551-561
Al Khatib, Mohammad und Zamani, Majid
(2019):
Verification and synthesis of interconnected embedded control systems under timing contracts.
In: Proceedings of the 2019 22Nd Acm International Conference on Hybrid Systems: Computation and Control (Hscc '19): S. 208-217
Khaled, Mahmoud und Zamani, Majid
(2019):
pFaces: An Acceleration Ecosystem for Symbolic Control.
In: Proceedings of the 2019 22Nd Acm International Conference on Hybrid Systems: Computation and Control (Hscc '19): S. 252-257
Lavaei, Abolfazl und Zamani, Majid
(2019):
Compositional Finite Abstractions for Large-Scale Stochastic Switched Systems.
In: Proceedings of the 5Th International Workshop on Symbolic-Numeric Methods for Reasoning About Cps and Iot (Snr 2019): S. 3-5
Swikir, Abdalla und Zamani, Majid
(2019):
Compositional Abstractions of Interconnected Discrete-Time Switched Systems.
In: 2019 18Th European Control Conference (Ecc): S. 1251-1256
Lavaei, Abolfazl; Soudjani, Sadegh und Zamani, Majid
(2019):
Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions.
In: 2019 18Th European Control Conference (Ecc): S. 2802-2807
Lavaei, Abolfazl und Zamani, Majid
(2019):
Compositional Construction of Finite MDPs for Large-Scale Stochastic Switched Systems: A Dissipativity Approach.
In: Ifac Papersonline, Bd. 52, Nr. 3: S. 31-36
Zhang, Kuize; Yin, Xiang und Zamani, Majid
(2019):
Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach.
In: IEEE Transactions on Automatic Control, Bd. 64, Nr. 12: S. 5116-5123
Konferenzbeitrag
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]
Zhong, Bingzhuo; Lavaei, Abolfazl; Zamani, Majid und Caccamo, Marco
(2022):
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations.
HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4 - 6, 2022.
In: HSCC '22: Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control,
New York: Association for Computing Machinery. S. 1-2
Lavaei, Abolfazl; Esfahani, Peyman Mohajerin und Zamani, Majid
(2022):
Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics.
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. 7296-7301
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
Nejati, Ameneh; Zhong, Bingzhuo; Caccamo, Marco und Zamani, Majid
(2022):
Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach.
2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS), Milan, Italy, 03-06 May 2022.
In: 2022 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS),
S. 11-12
Liu, Siyuan und Zamani, Majid
(2021):
Verification of Approximate Opacity via Barrier Certificates.
2021 American Control Conference (ACC), New Orleans, LA, USA, 25-28 May 2021.
In: 2021 American Control Conference (ACC),
New York: IEEE. S. 764-769
Xie, Yifan; Yin, Xiang; Li, Shaoyuan und Zamani, Majid
(2021):
Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications.
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. 7015-7021
Mironchenko, Andrii; Noroozi, Navid; Kawan, Christoph und Zamani, Majid
(2021):
A small-gain approach to ISS of infinite networks with homogeneous gain operators.
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. 4817-4822
Kawan, Christoph; Mironchenko, Andrii und Zamani, Majid
(2021):
Construction of ISS Lyapunov functions for infinite networks of ISS systems.
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),
New York: IEEE. S. 4811-4816
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
Al Khatib, Mohammad und Zamani, Majid
(2020):
Controller synthesis for interconnected systems using parametric assume-guarantee contracts.
2020 American Control Conference (ACC), Denver, CO, USA, 1-3 July 2020.
2020 American Control Conference (ACC).
IEEE. S. 5419-5424