Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

Automated Synthesis of Cyber-Physical Systems: A Compositional Approach

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Artykuły recenzowane (37)
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Opublikowane w: IEEE Control Systems Letters, 2020, Strona(/y) 1-1, ISSN 2475-1456
Wydawca: IEEE
DOI: 10.1109/lcsys.2020.2994039

Compositional Construction of Abstractions for Infinite Networks of Discrete-Time Switched Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Sharifi, Maryam; Swikir, Abdalla; Noroozi, Navid; Zamani, Majid
Opublikowane w: Nonlinear Analysis: Hybrid Systems, Numer 2, 2022, ISSN 1751-570X
Wydawca: Elsevier BV
DOI: 10.1016/j.nahs.2022.101173

A Lyapunov-based small-gain theorem for infinite networks (odnośnik otworzy się w nowym oknie)

Autorzy: Christoph Kawan, Andrii Mironchenko, Abdalla Swikir, Navid Noroozi, Majid Zamani
Opublikowane w: IEEE Transactions on Automatic Control, 2021, Strona(/y) 1-1, ISSN 0018-9286
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2020.3042410

Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (odnośnik otworzy się w nowym oknie)

Autorzy: Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Opublikowane w: European Journal of Control, 2020, ISSN 0947-3580
Wydawca: Lavoisier
DOI: 10.1016/j.ejcon.2020.04.001

From Dissipativity Theory to Compositional Construction of Control Barrier Certificates (odnośnik otworzy się w nowym oknie)

Autorzy: Amenah Nejati, Majid Zamani
Opublikowane w: Leibniz Transactions on Embedded Systems, Numer Vol 8, No. 2, 2022, Strona(/y) 06:1-06:17, ISSN 2199-2002
Wydawca: Dagstuhl Publishing
DOI: 10.4230/lites.8.2.6

Compositional synthesis of opacity-preserving finite abstractions for interconnected systems (odnośnik otworzy się w nowym oknie)

Autorzy: Siyuan Liu, Majid Zamani
Opublikowane w: Automatica, Numer 131, 2021, Strona(/y) 109745, ISSN 0005-1098
Wydawca: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2021.109745

Data-driven verification of stochastic linear systems with signal temporal logic constraints (odnośnik otworzy się w nowym oknie)

Autorzy: Ali Salamati, Sadegh Soudjani, Majid Zamani
Opublikowane w: Automatica, Numer 131, 2021, Strona(/y) 109781, ISSN 0005-1098
Wydawca: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2021.109781

Abstractions of networks of stochastic hybrid systems under randomly switched topologies: A compositional approach (odnośnik otworzy się w nowym oknie)

Autorzy: Asad Ullah Awan, Majid Zamani
Opublikowane w: Systems & Control Letters, Numer Volume 175, 2023, ISSN 0167-6911
Wydawca: Elsevier BV
DOI: 10.1016/j.sysconle.2023.105512

Compositional construction of infinite abstractions for networks of stochastic control systems (odnośnik otworzy się w nowym oknie)

Autorzy: Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Opublikowane w: Automatica, Numer 107, 2019, Strona(/y) 125-137, ISSN 0005-1098
Wydawca: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2019.05.043

Formal Synthesis of Stochastic Systems via Control Barrier Certificates (odnośnik otworzy się w nowym oknie)

Autorzy: Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
Opublikowane w: IEEE Transactions on Automatic Control, 2020, Strona(/y) 1-1, ISSN 0018-9286
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2020.3013916

Symbolic Models for a Class of Impulsive Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Abdalla Swikir, Antoine Girard, Majid Zamani
Opublikowane w: IEEE Control Systems Letters, Numer 5/1, 2021, Strona(/y) 247-252, ISSN 2475-1456
Wydawca: IEEE
DOI: 10.1109/lcsys.2020.3001501

Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Opublikowane w: IEEE Transactions on Automatic Control, 2020, Strona(/y) 1-1, ISSN 0018-9286
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2020.2975812

Compositional abstraction-based synthesis for networks of stochastic switched systems (odnośnik otworzy się w nowym oknie)

Autorzy: Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Opublikowane w: Automatica, Numer 114, 2020, Strona(/y) 108827, ISSN 0005-1098
Wydawca: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2020.108827

Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs (odnośnik otworzy się w nowym oknie)

Autorzy: Niloofar Jahanshahi, Abolfazl Lavaei, Majid Zamani
Opublikowane w: IEEE Transactions on Control of Network Systems, Numer Vol 10, Numer 1, 2022, Strona(/y) 87-99, ISSN 2325-5870
Wydawca: IEEE CONTROL SYSTEMS SOCIETY
DOI: 10.1109/tcns.2022.3186649

Verification of approximate opacity via barrier certificates (odnośnik otworzy się w nowym oknie)

Autorzy: Siyuan Liu, Majid Zamani
Opublikowane w: IEEE Control Systems Letters, 2021, ISSN 2475-1456
Wydawca: IEEE
DOI: 10.1109/lcsys.2020.3037840

Software Fault Tolerance for Cyber-Physical Systems via Full System Restart (odnośnik otworzy się w nowym oknie)

Autorzy: Pushpak Jagtap, Fardin Abdi, Matthias Rungger, Majid Zamani, Marco Caccamo
Opublikowane w: ACM Transactions on Cyber-Physical Systems, Numer 4/4, 2020, Strona(/y) 1-20, ISSN 2378-962X
Wydawca: ACM
DOI: 10.1145/3407183

Symbolic models for retarded jump–diffusion systems (odnośnik otworzy się w nowym oknie)

Autorzy: Pushpak Jagtap, Majid Zamani
Opublikowane w: Automatica, Numer 111, 2020, Strona(/y) 108666, ISSN 0005-1098
Wydawca: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2019.108666

From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Asad Ullah Awan, Majid Zamani
Opublikowane w: IEEE Transactions on Control of Network Systems, Numer 7/1, 2020, Strona(/y) 433-445, ISSN 2325-5870
Wydawca: IEEE CONTROL SYSTEMS SOCIETY
DOI: 10.1109/tcns.2019.2923387

Compositional abstraction of large-scale stochastic systems: A relaxed dissipativity approach (odnośnik otworzy się w nowym oknie)

Autorzy: Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Opublikowane w: Nonlinear Analysis: Hybrid Systems, Numer 36, 2020, Strona(/y) 100880, ISSN 1751-570X
Wydawca: Elsevier BV
DOI: 10.1016/j.nahs.2020.100880

Compositional construction of control barrier functions for continuous-time stochastic hybrid systems (odnośnik otworzy się w nowym oknie)

Autorzy: Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Opublikowane w: Automatica, Numer Volume 145, 2022, Strona(/y) 110513, ISSN 0005-1098
Wydawca: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110513

From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Abolfazl Lavaei, Majid Zamani
Opublikowane w: IEEE Transactions on Automatic Control, Numer Vol 67, Numer 9, 2022, Strona(/y) 4422-4437, ISSN 0018-9286
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2022.3159190

On Approximate Opacity of Cyber-Physical Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Xiang Yin, Majid Zamani, Siyuan Liu
Opublikowane w: IEEE Transactions on Automatic Control, 2020, Strona(/y) 1-1, ISSN 0018-9286
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2020.2998733

A Lyapunov-Based Small-Gain Theory for Infinite Networks via Infinite-Dimensional Gain Operators (odnośnik otworzy się w nowym oknie)

Autorzy: Christoph Kawan, Majid Zamani
Opublikowane w: SIAM Journal on Control and Optimization, Numer Volume 61, Numer 3, 2023, Strona(/y) 1778-1804, ISSN 1095-7138
Wydawca: Society for Industrial and Applied Mathematics
DOI: 10.1137/21m1465500

Verification of approximate opacity for switched systems: A compositional approach (odnośnik otworzy się w nowym oknie)

Autorzy: Siyuan Liu, Abdalla Swikir, Majid Zamani
Opublikowane w: Nonlinear Analysis: Hybrid Systems, 2021, ISSN 1751-570X
Wydawca: Elsevier BV
DOI: 10.1016/j.nahs.2021.101084

A Framework for Output-Feedback Symbolic Control (odnośnik otworzy się w nowym oknie)

Autorzy: Mahmoud Khaled, Kuize Zhang, Majid Zamani
Opublikowane w: IEEE Transactions on Automatic Control, Numer 02 November 2022, 2022, Strona(/y) 1-8, ISSN 0018-9286
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2022.3218932

ISS small-gain criteria for infinite networks with linear gain functions (odnośnik otworzy się w nowym oknie)

Autorzy: Mironchenko, Andrii; Noroozi, Navid; Kawan, Christoph; Zamani, Majid
Opublikowane w: Systems & Control Letters, Numer 1, 2021, ISSN 0167-6911
Wydawca: Elsevier BV
DOI: 10.1016/j.sysconle.2021.105051

Data-Driven Verification under Signal Temporal Logic Constraints (odnośnik otworzy się w nowym oknie)

Autorzy: Ali Salamati, Sadegh Soudjani, Majid Zamani
Opublikowane w: IFAC-PapersOnLine, Numer 53/2, 2020, Strona(/y) 69-74, ISSN 2405-8963
Wydawca: Elsevier
DOI: 10.1016/j.ifacol.2020.12.051

Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations

Autorzy: Lavaei, Abolfazl; Soudjani, Sadegh; Zamani, Majid
Opublikowane w: Nonlinear Analysis: Hybrid Systems, Numer 1, 2021, ISSN 1751-570X
Wydawca: Elsevier BV

Compositional Synthesis of Symbolic Models for Networks of Switched Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Abdalla Swikir, Majid Zamani
Opublikowane w: IEEE Control Systems Letters, Numer 3/4, 2019, Strona(/y) 1056-1061, ISSN 2475-1456
Wydawca: IEEE
DOI: 10.1109/lcsys.2019.2920766

Compositional abstraction-based synthesis for interconnected systems: An approximate composition approach (odnośnik otworzy się w nowym oknie)

Autorzy: Saoud, Adnane, Pushpak Jagtap, Majid Zamani, and Antoine Girard
Opublikowane w: IEEE Transactions on Control of Network Systems, 2020, ISSN 2325-5870
Wydawca: IEEE CONTROL SYSTEMS SOCIETY
DOI: 10.1109/tcns.2021.3050123

Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions (odnośnik otworzy się w nowym oknie)

Autorzy: Niloofar Jahanshahi, Pushpak Jagtap, Majid Zamani
Opublikowane w: IEEE Control Systems Letters, Numer 5/1, 2021, Strona(/y) 253-258, ISSN 2475-1456
Wydawca: IEEE
DOI: 10.1109/lcsys.2020.3001562

Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations (odnośnik otworzy się w nowym oknie)

Autorzy: Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo
Opublikowane w: Automatica, Numer Volume 147, 2022, Strona(/y) 110696, ISSN 0005-1098
Wydawca: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110696

Safety Verification of Stochastic Systems: A Repetitive Scenario Approach (odnośnik otworzy się w nowym oknie)

Autorzy: Ali Salamati, Majid Zamani
Opublikowane w: IEEE Control Systems Letters, Numer Vol 7, 2022, Strona(/y) 448-453, ISSN 2475-1456
Wydawca: IEEE
DOI: 10.1109/lcsys.2022.3186932

Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber–physical systems (odnośnik otworzy się w nowym oknie)

Autorzy: Bingzhuo Zhong; Abolfazl Lavaei; Hongpeng Cao; Majid Zamani; Marco Caccamo
Opublikowane w: Nonlinear Analysis: Hybrid Systems, Numer 1, 2021, ISSN 1751-570X
Wydawca: Elsevier BV
DOI: 10.1016/j.nahs.2021.101110

From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Mahathi Anand, Abolfazl Lavaei, Majid Zamani
Opublikowane w: IEEE Transactions on Automatic Control, Numer Vol 67, Numer 10, 2022, Strona(/y) 5638-5645, ISSN 0018-9286
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2022.3183032

Compositional synthesis of finite abstractions for networks of systems: A small-gain approach (odnośnik otworzy się w nowym oknie)

Autorzy: Abdalla Swikir, Majid Zamani
Opublikowane w: Automatica, Numer 107, 2019, Strona(/y) 551-561, ISSN 0005-1098
Wydawca: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2019.06.021

Automated verification and synthesis of stochastic hybrid systems: A survey (odnośnik otworzy się w nowym oknie)

Autorzy: Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani
Opublikowane w: Automatica, Numer Volume 146, 2022, Strona(/y) 110617, ISSN 0005-1098
Wydawca: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110617

Rozdziały książek (5)
Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach (odnośnik otworzy się w nowym oknie)

Autorzy: Mahmoud Khaled, Eric S. Kim, Murat Arcak, Majid Zamani
Opublikowane w: Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II, Numer 11428, 2019, Strona(/y) 265-281, ISBN 978-3-030-17464-4
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-17465-1_15

PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Alex Devonport, Mahmoud Khaled, Murat Arcak, Majid Zamani
Opublikowane w: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I, Numer 12224, 2020, Strona(/y) 556-568, ISBN 978-3-030-53287-1
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-53288-8_27

AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
Opublikowane w: Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II, Numer 12225, 2020, Strona(/y) 461-474, ISBN 978-3-030-53290-1
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-53291-8_24

Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Opublikowane w: Numerical Software Verification - 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings, Numer 11652, 2019, Strona(/y) 101-109, ISBN 978-3-030-28422-0
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-28423-7_7

Sandboxing Controllers for Stochastic Cyber-Physical Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Bingzhuo Zhong, Majid Zamani, Marco Caccamo
Opublikowane w: Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings, Numer 11750, 2019, Strona(/y) 247-264, ISBN 978-3-030-29661-2
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-030-29662-9_15

Materiały z konferencji (47)
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach

Autorzy: Ali Salamati, Majid Zamani
Opublikowane w: Proceedings of The 4th Annual Learning for Dynamics and Control Conference 2022, Numer PMLR Vol 168, 2022, Strona(/y) 441-452
Wydawca: PMLR

Controller synthesis for interconnected systems using parametric assume-guarantee contracts (odnośnik otworzy się w nowym oknie)

Autorzy: Mohammad Al Khatib, Majid Zamani
Opublikowane w: 2020 American Control Conference (ACC), 2020, Strona(/y) 5419-5424, ISBN 978-1-5386-8266-1
Wydawca: IEEE
DOI: 10.23919/acc45564.2020.9147757

Compositional Verification of Initial-State Opacity for Switched Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Siyuan Liu; Abdalla Swikir; Majid Zamani
Opublikowane w: CDC, Numer 4, 2020
Wydawca: IEEE
DOI: 10.1109/cdc42340.2020.9304322

Verification of Switched Stochastic Systems via Barrier Certificates * (odnośnik otworzy się w nowym oknie)

Autorzy: Mahathi Anand, Pushpak Jagtapt, Majid Zamani
Opublikowane w: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Strona(/y) 4373-4378, ISBN 978-1-7281-1398-2
Wydawca: IEEE
DOI: 10.1109/cdc40024.2019.9028862

a parallelized tool on automated controller synthesis for large-scale stochastic systems

Autorzy: Ames, Aaron; Seshia, Sanjit A.; Deshmukh, Jyotirmoy; Lavaei, Abolfazl; Khaled, Mahmoud; Soudjani, Sadegh; Zamani, Majid
Opublikowane w: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, Numer 7, 2020
Wydawca: ACM

Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics (odnośnik otworzy się w nowym oknie)

Autorzy: Abolfazl Lavaei, Peyman Mohajerin Esfahani, Majid Zamani
Opublikowane w: Proceedings of the 2022 IEEE 61st Conference on Decision and Control (CDC), Numer 10 January 2023, 2023, Strona(/y) 7296-7301
Wydawca: IEEE
DOI: 10.1109/cdc51059.2022.9992739

Towards Trustworthy AI: Safe-visor Architecture for Uncertified Controllers in Stochastic Cyber-Physical Systems

Autorzy: Abolfazl Lavaei, Bingzhuo Zhong, Marco Caccamo, and Majid Zamani
Opublikowane w: CPS-IoT Week workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2021
Wydawca: ACM

Compositional Construction of Control Barrier Certificates for Large-Scale Interconnected Stochastic Systems

Autorzy: Mahathi Anand, Abolfazl Lavaei, and Majid Zamani
Opublikowane w: 21st IFAC World Congress, 2020
Wydawca: Elsevier

Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes * (odnośnik otworzy się w nowym oknie)

Autorzy: Pushpak Jagtap, George J. Pappas, Majid Zamani
Opublikowane w: 2020 59th IEEE Conference on Decision and Control (CDC), 2020, Strona(/y) 3699-3704, ISBN 978-1-7281-7447-1
Wydawca: IEEE
DOI: 10.1109/cdc42340.2020.9303847

Compositional Construction of Control Barrier Functions for Networks of Continuous-Time Stochastic Systems

Autorzy: Ameneh Nejati, Sadegh Soudjani, and Majid Zamani
Opublikowane w: 21st IFAC World Congress, 2020
Wydawca: Elsevier

Construction of ISS Lyapunov functions for infinite networks of ISS systems (odnośnik otworzy się w nowym oknie)

Autorzy: Christoph Kawan, Andrii Mironchenko, Majid Zamani
Opublikowane w: Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), Numer 01 February 2022, 2022, ISBN 978-1-6654-3660-1
Wydawca: IEEE
DOI: 10.1109/cdc45484.2021.9683184

ARCH-COMP20 Category Report Stochastic Models

Autorzy: A. Abate, H. Blom, N. Cauchi, J. Delicaris, A. Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, C. Pilch, A. Remke, S. Schupp, F. Shmarov, S. Soudjani, A. P. Vinod, B. Wooding, Majid Zamani, P. Zuliani
Opublikowane w: 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2021
Wydawca: Elsevier

pFaces - an acceleration ecosystem for symbolic control (odnośnik otworzy się w nowym oknie)

Autorzy: Mahmoud Khaled, Majid Zamani
Opublikowane w: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019, Strona(/y) 252-257, ISBN 9781450362825
Wydawca: ACM
DOI: 10.1145/3302504.3311798

Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning

Autorzy: Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, and Majid Zamani
Opublikowane w: 11th ACM/IEEE Conference on Cyber-Physical Systems (ICCPS), 2020, Strona(/y) 98-107
Wydawca: ACM/IEEE

Verification and synthesis of interconnected embedded control systems under timing contracts (odnośnik otworzy się w nowym oknie)

Autorzy: Mohammad Al Khatib, Majid Zamani
Opublikowane w: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019, Strona(/y) 208-217, ISBN 9781450362825
Wydawca: ACM
DOI: 10.1145/3302504.3311799

Construction of continuous abstractions for discrete-time time-delay systems (odnośnik otworzy się w nowym oknie)

Autorzy: Mobin Shahamat, Javad Askari, Abdalla Swikir, Navid Noroozi, Majid Zamani
Opublikowane w: 2020 59th IEEE Conference on Decision and Control (CDC), 2020, Strona(/y) 881-886, ISBN 978-1-7281-7447-1
Wydawca: IEEE
DOI: 10.1109/cdc42340.2020.9304184

Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach

Autorzy: Ameneh Nejati, Sadegh Soudjani, and Majid Zamani
Opublikowane w: 21st IFAC World Congress, 2020
Wydawca: Elsevier

Compositional synthesis of symbolic models for infinite networks

Autorzy: Abdalla Swikir, Navid Noroozi and Majid Zamani
Opublikowane w: 21st IFAC World Congress, 2020
Wydawca: Elsevier

Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems

Autorzy: Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Opublikowane w: 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021
Wydawca: Elsevier

Compositional finite abstractions for large-scale stochastic switched systems (odnośnik otworzy się w nowym oknie)

Autorzy: Abolfazl Lavaei, Majid Zamani
Opublikowane w: Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT - SNR '19, 2019, Strona(/y) 3-5, ISBN 9781450366977
Wydawca: ACM Press
DOI: 10.1145/3313149.3313347

Compositional Abstractions of Interconnected Discrete-Time Switched Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Abdalla Swikir, Majid Zamani
Opublikowane w: 2019 18th European Control Conference (ECC), 2019, Strona(/y) 1251-1256, ISBN 978-3-907144-00-8
Wydawca: IEEE
DOI: 10.23919/ecc.2019.8796176

Construction of continuous abstractions for discrete-time time-delay systems (odnośnik otworzy się w nowym oknie)

Autorzy: Mobin Shahamat; Javad Askari; Abdalla Swikir; Navid Noroozi; Majid Zamani
Opublikowane w: CDC, Numer 4, 2020
Wydawca: IEEE
DOI: 10.1109/cdc42340.2020.9304184

Formal Synthesis of Safety Controllers for Unknown Stochastic Control Systems using Gaussian Process Learning

Autorzy: Rameez Wajid, Asad Ullah Awan, Majid Zamani
Opublikowane w: Proceedings of The 4th Annual Learning for Dynamics and Control Conference 2022, Numer PMLR Vol 168, 2022, Strona(/y) 624-636
Wydawca: PMLR

Compositional Construction of Finite MDPs for Large-Scale Stochastic Switched Systems: A Dissipativity Approach (odnośnik otworzy się w nowym oknie)

Autorzy: Abolfazl Lavaei, Majid Zamani
Opublikowane w: IFAC-PapersOnLine, Numer 52/3, 2019, Strona(/y) 31-36, ISSN 2405-8963
Wydawca: Elsevier
DOI: 10.1016/j.ifacol.2019.06.006

OmegaThreads: Symbolic Control from ω-regular Specifications

Autorzy: Mahmoud Khaled, Majid Zamani
Opublikowane w: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021
Wydawca: ACM

Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions (odnośnik otworzy się w nowym oknie)

Autorzy: Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Opublikowane w: 2019 18th European Control Conference (ECC), 2019, Strona(/y) 2802-2807, ISBN 978-3-907144-00-8
Wydawca: IEEE
DOI: 10.23919/ecc.2019.8795996

Compositional synthesis of almost maximally permissible safety controllers (odnośnik otworzy się w nowym oknie)

Autorzy: Siyuan Liu, Majid Zamani
Opublikowane w: 2019 American Control Conference (ACC), 2019, Strona(/y) 1678-1683, ISBN 978-1-5386-7926-5
Wydawca: IEEE
DOI: 10.23919/acc.2019.8815361

A spectral small-gain condition for input-to-state stability of infinite networks

Autorzy: Christoph Kawan, Andrii Mironchenko, Abdalla Swikir, Navid Noroozi, and M. Zamani.
Opublikowane w: 21st IFAC World Congress, 2020
Wydawca: Elsevier

a parallelized tool on automated controller synthesis for large-scale stochastic systems (odnośnik otworzy się w nowym oknie)

Autorzy: Abolfazl Lavaei; Mahmoud Khaled; Sadegh Soudjani; Majid Zamani
Opublikowane w: The 23rd International Conference on Hybrid Systems: Computation and Control, Numer 1, 2020
Wydawca: ACM
DOI: 10.1145/3365365.3383469

A Set-based Approach for Synthesizing Controllers Enforcing ω-Regular Properties over Uncertain Linear Control Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Bingzhuo Zhong, Majid Zamani, Marco Caccamo
Opublikowane w: Proceedings of the 2022 American Control Conference (ACC), Numer 05 September 2022, 2022, ISBN 978-1-6654-9480-9
Wydawca: IEEE
DOI: 10.23919/acc53348.2022.9867876

Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach (odnośnik otworzy się w nowym oknie)

Autorzy: Bingzhuo Zhong, Majid Zamani, Marco Caccamo
Opublikowane w: Proceedings of the 2022 IEEE Conference on Control Technology and Applications (CCTA), Numer 08 December 2022, 2022, Strona(/y) 1278-1284, ISBN 978-1-6654-7339-2
Wydawca: IEEE
DOI: 10.1109/ccta49430.2022.9966144

Verification and synthesis of interconnected embedded control systems under timing contracts

Autorzy: Ozay, Necmiye; Prabhakar, Pavithra; Khatib, Mohammad Al; Zamani, Majid
Opublikowane w: Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, Numer 15, 2020
Wydawca: ACM

Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations (odnośnik otworzy się w nowym oknie)

Autorzy: Bingzhuo Zhong; Abolfazl Lavaei; Majid Zamani; Marco Caccamo
Opublikowane w: Proceedings of the 25th ACM International Conference on Hybrid Systems: Computation and Control, Numer May 2022, 2022, Strona(/y) 1-2, ISBN 978-1-4503-9196-2
Wydawca: Association for Computing Machinery
DOI: 10.1145/3501710.3524732

Compositional Construction of Abstractions for Infinite Networks of Switched Systems (odnośnik otworzy się w nowym oknie)

Autorzy: Maryam Sharifi, Abdalla Swikir, Navid Noroozi, Majid Zamani
Opublikowane w: 2020 59th IEEE Conference on Decision and Control (CDC), 2020, Strona(/y) 476-481, ISBN 978-1-7281-7447-1
Wydawca: IEEE
DOI: 10.1109/cdc42340.2020.9304074

dtControl - decision tree learning algorithms for controller representation (odnośnik otworzy się w nowym oknie)

Autorzy: Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Křetínský, Maximilian Weininger, Majid Zamani
Opublikowane w: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, 2020, Strona(/y) 1-7, ISBN 9781450370189
Wydawca: ACM
DOI: 10.1145/3365365.3382220

Secure-by-construction controller synthesis via control barrier functions

Autorzy: Bingzhuo Zhong, Siyuan Liu, Majid Zamani
Opublikowane w: Proceedings of the IFAC World Congress 2023, 2023
Wydawca: Elsevier

Estimating Infinitesimal Generators of Stochastic Systems with Formal Error Bounds: A Data-Driven Approach

Autorzy: Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, Majid Zamani
Opublikowane w: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021
Wydawca: ACM

Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts (odnośnik otworzy się w nowym oknie)

Autorzy: Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani
Opublikowane w: Proceedings of the 2022 IEEE 61st Conference on Decision and Control (CDC), Numer 10 January 2023, 2022, Strona(/y) 2184-2189
Wydawca: IEEE
DOI: 10.1109/cdc51059.2022.9992715

Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates

Autorzy: Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
Opublikowane w: 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021
Wydawca: Elsevier

A small-gain approach to ISS of infinite networks with homogeneous gain operators (odnośnik otworzy się w nowym oknie)

Autorzy: Andrii Mironchenko, Navid Noroozi, Christoph Kawan, Majid Zamani
Opublikowane w: Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), Numer 01 February 2022, 2022, ISBN 978-1-6654-3660-1
Wydawca: IEEE
DOI: 10.1109/cdc45484.2021.9683337

Data-driven controller synthesis of unknown nonlinear polynomial systems via control barrier certificates

Autorzy: Amenah Nejati, Bingzhuo Zhong, Macro Caccamo, Majid Zamani
Opublikowane w: Proceedings of The 4th Annual Learning for Dynamics and Control Conference 2022, Numer PMLR Vol 168, 2022, Strona(/y) 763-776
Wydawca: PMLR

Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions (odnośnik otworzy się w nowym oknie)

Autorzy: Abolfazl Lavaei, Majid Zamani
Opublikowane w: 2019 IEEE 58th Conference on Decision and Control (CDC), 2019, Strona(/y) 2574-2579, ISBN 978-1-7281-1398-2
Wydawca: IEEE
DOI: 10.1109/cdc40024.2019.9029485

Formal Safety Verification of Unknown Continuous-Time Systems: A Data-Driven Approach

Autorzy: Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, M. Zamani
Opublikowane w: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021
Wydawca: ACM

Synthesis of controllers for partially-observable systems: A data-driven approach

Autorzy: Niloofar Jahanshahi, Majid Zamani
Opublikowane w: Proceedings of the IFAC World Congres 2023, 2023
Wydawca: Elsevier

Compositional construction of control barrier functions for interconnected control systems (odnośnik otworzy się w nowym oknie)

Autorzy: Pushpak Jagtap, Abdalla Swikir, Majid Zamani
Opublikowane w: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, 2020, Strona(/y) 1-11, ISBN 9781450370189
Wydawca: ACM
DOI: 10.1145/3365365.3382196

Compositional Verification of Initial-State Opacity for Switched Systems

Autorzy: Siyuan Liu, Abdalla Swikir, Majid Zamani
Opublikowane w: 59th IEEE Conference on Decision and Control (CDC), 2020, ISBN 978-1-7281-7447-1
Wydawca: IEEE

Synthesis of stochastic systems with partial information via control barrier functions

Autorzy: Niloofar Jahanshahi, Pushak Jagtap, Majid Zamani
Opublikowane w: 21st IFAC World Congress, 2020
Wydawca: Elsevier

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Udostępnij tę stronę Udostępnij tę stronę w mediach społecznościowych

Pobierz Pobierz zawartość strony

Ostatnia aktualizacja: 31 Lipca 2024

Moja broszura

Permalink: https://cordis.europa.eu/project/id/804639/results/pl

European Union, 2025