Logo Logo
Eine Ebene nach oben
Exportieren als [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Gruppiert nach: Dokumententyp | Veröffentlichungsdatum
Anzahl der Publikationen: 54

Zeitschriftenartikel

Liu, Siyuan und Zamani, Majid (2021): Compositional synthesis of opacity-preserving finite abstractions for interconnected systems. In: Automatica, Bd. 131, 109745

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

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): 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

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)

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)

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)

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)

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

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

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]

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

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

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

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

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

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

Diese Liste wurde am Sat Mar 23 20:39:14 2024 CET erstellt.